Carrés triangulaires
El 5 enero 2022 Ver los comentarios (2)Leer el artículo en


Savez-vous prouver que la somme des $n$ premiers nombres impairs est le carré de $n$, juste en contemplant un triangle équilatéral décomposé en petites copies de lui-même ?
Connaissez-vous ce livre de Roger Nelsen ?

Quelle que soit votre réponse, je vous prie de vous concentrer sur la figure dessinée sur la couverture. Elle illustre la preuve contemplative standard du fait que la somme des $n$ premiers nombres impairs $1, 3, 5, ..., 2n-1$ est égale à $n^2$. Elle consiste à imaginer que le grand carré est obtenu à la $n$-ème étape d’une sorte de processus de croissance cristalline. Ce processus part du carreau situé au coin en bas à gauche, représenté par un petit disque rouge sur la couverture du livre. Chaque étape ajoute une nouvelle couche de carreaux le long des côtés droits et supérieurs du cristal obtenu à l’étape précédente. Ces couches sont successivement représentées par des disques noirs ou rouges situés à l’intérieur de leurs carreaux.
Le nombre total de carreaux est d’une part égal à $n^2$, car les côtés du grand carré sont partagés en $n$ parties égales. Mais d’autre part, ce nombre est aussi égal à la somme des nombres de carreaux dans chaque couche. Ces nombres sont précisément les $n$ premiers nombres impairs $1, 3, 5, ..., 2n -1$.
Regardez maintenant le logo de cet article. On y voit cette fois-ci un triangle équilatéral dont chaque côté est partagé en $n$ parties égales. En joignant les points de partage par des segments parallèles aux côtés, le grand triangle se trouve décomposé en copies plus petites de lui-même, toutes de même taille. Comptons les mini triangles situés dans les bandes formées par deux segments parallèles successifs, en partant de l’une des pointes du grand triangle. On trouve de nouveau les $n$ premiers nombres impairs !
Est-il possible d’obtenir ainsi une seconde preuve contemplative de l’identité $1 + 3 + \dots + (2n-1) = n^2$ ? Pour cela, il faudrait arriver à voir sans calculs que le grand triangle contient exactement $n^2$ mini triangles. Y arrivez-vous ?
Si vous avez réussi, je vous félicite ! Sinon, alors contemplez cette figure, tirée du même livre de Roger Nelsen, et proposée initialement par Jeno Lehel [1] :

Comprendre cette preuve me produisit un frisson de plaisir. C’est pour partager avec vous ce frisson que j’ai écrit cette tribune. Je n’avais jamais relié l’identité arithmétique ci-dessus à la propriété géométrique fondamentale disant qu’une dilatation de rapport $n$ de n’importe quelle figure géométrique plane multiplie son aire par $n^2$ [2] !
Je remercie Aurélien Alvarez et Étienne Ghys pour leurs remarques sur une version préliminaire de cette tribune.
Notas
[1] Il proposa cette preuve visuelle à la page 103 de Mathematics Magazine 64, No. 2 (1991).
[2] Cette propriété des dilatations permet aussi de prouver le théorème de Pythagore, expliquant ainsi pourquoi ce sont des nombres élevés au carré qui y tiennent les rôles clés. Serge Cantat et Andrés Navas ont expliqué de telles preuves dans leurs articles Pythagore et les courbes de Pólya et Encore une preuve du théorème de Pythagore.
Comparte este artículo
Para citar este artículo:
Patrick Popescu-Pampu — «Carrés triangulaires» — Images des Mathématiques, CNRS, 2022
Comentario sobre el artículo
Voir tous les messages - Retourner à l'article
Carrés triangulaires
le 6 de enero à 08:49, par Sébastien Kernivinen