Théorème de Napoléon - Définition

Introduction

Le théorème de Napoléon est un théorème de géométrie portant sur le triangle équilatéral.

Bien qu'il soit traditionnellement attribué à Napoléon Bonaparte (d'où le nom du théorème) qui l’aurait énoncé pour la première fois en 1787, il n'y a pas de preuve tangible qu'il soit effectivement l'auteur du théorème. La légende raconte qu'à la présentation du théorème devant l'Académie des sciences en 1797 au retour de la campagne d'Italie, Lagrange aurait dit à Napoléon : "Nous attendions tout de vous, mon Général, mais pas une leçon de géométrie.".

Certaines sources précisent que la plus ancienne trace ne remonte qu'à la publication intitulée The Ladies Diary en 1825 par le Dr W. Rutherford, soit quatre ans après la mort de l'empereur.

Énoncé

Par « extérieur », il faut par exemple entendre qu'avec les notations de notre figure et un repère orienté, les triangles ABC et ABZ sont de sens opposés (ici ABC est dans le sens trigonométrique et ABZ dans le sens anti-trigonométrique), idem pour les deux autres. Dans le cas « intérieur », ils seraient de même sens.

Lemmes

Ce lemme peut être facilement démontré en reprenant les notations de la démonstration avec les nombres complexes :

(1 − j)(n + l + m) = a − jb + b − jc + c − ja

= (1 − j)(a + b + c)

d'où l'égalité pour les affixes des barycentres

Reprenons les notations précédentes, pour le triangle « intérieur » ; on obtient alors :

(1 − j)n₁ = b − ja

(1 − j)l₁ = c − jb

(1 − j)m₁ = a − jc

et sachant que l'aire d'un triangle équilatéral de côté a peut être obtenu par : et que , calculons la différence :

car

en développant et en sachant que j² = − 1 − j

Comme il vient :

Le résultat précédent est bien l'aire (algébrique) du triangle dont les affixes des sommets sont a, b et c.

Démonstration

En géométrie classique

Par construction et du fait des propriétés des triangles équilatéraux (valeur des angles, distance du centre aux sommets), on peut observer que si l'on effectue sur le triangle MCL les 2 opérations ayant pour centre C chacune, une rotation de 30 degrés dans le sens direct suivie d'une homothétie de rapport racine carrée de 3 ; les points M et L deviennent respectivement les points A et X. d'où il résulte que la longueur du segment AX est égale racine carrée de 3 fois celle de ML. En remarquant en outre que les triangles YCB et ACX sont obtenus l'un de l'autre par une rotation centrée en C d'un angle de 60 degrés, il résulte que les longueurs des segments AX et YB sont égales. En appliquant le même raisonnement transposé aux triangles MAN ou NBL en prenant cette fois les points A ou B comme centres des rotations ou homothéties correspondantes, on établit d'une part que les segments AX, YB et CZ sont égaux entre eux et du fait de la même relation que ces côtés ont chacun avec la longueur des côtés du triangle MNL (facteur égal a racine carrée de 3). De ceci il résulte que le triangle MNL est équilatéral.

Avec les nombres complexes

On notera (notation usuelle) et on utilisera les notations de la figure.

On munit le plan complexe d'un repère orthonormé direct. Soient a, b, c, l, m et n les affixes respectives des points A, B, C, L, M et N dans ce repère.

Par construction, A est l'image de B par la rotation de centre N et d'angle , ce qui se traduit par :

(a − n) = j(b − n)

De même :

(b − l) = j(c − l)

(c − m) = j(a − m)

On en déduit :

(1 − j)n = a − jb

(1 − j)l = b − jc

(1 − j)m = c − ja

Comme et j³ = 1, alors :

(1 − j)(m − n) = ( − 1 − j)a + jb + c

= j²a + j⁴b + j³c

= − j²[ − a + (1 + j)b − jc]

= − j²[(b − jc) − (a − jb)]

= − j²(1 − j)(l − n)

En divisant par (1 − j) on obtient (m − n) = − j²(l − n) ou encore .

M est l'image de L par la rotation de centre N et d'angle donc NLM est un triangle équilatéral direct.

Remarque : Cette démonstration reste valable dans le cas des triangles « intérieurs » en changeant quelques signes.