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] !