Napoleon's Theorem
A proof via rotations that the centroids of equilateral triangles built externally on the sides of any triangle form an equilateral triangle.
Keywords: Napoleon's theorem, equilateral triangle, centroid, rotation
Difficulty: advanced
On each side of triangle , build an equilateral triangle externally, and let , , be their centroids. Then — Napoleon's triangle — is always equilateral.
Strategy: compose the three rotations about , , . They cancel to the identity, and a rotation-composition lemma then forces each angle of Napoleon's triangle to be .
Step 1: Start with Any Triangle
Take an arbitrary triangle .
Step 2: Equilateral Triangles Externally
On each side, build an equilateral triangle pointing outward, with apexes , , opposite to , , .
Step 3: Napoleon's Triangle
Mark the centroids , , of the three equilateral triangles. Connecting them gives Napoleon's triangle, which is always equilateral; see the introduction notes for the proof.
Three rotations about , , compose to the identity. The rotation-composition lemma then forces the angles of to each be — equilateral, for any starting triangle . ∎
Notes
Proof via rotations
Let , , be the rotations about , , , all in the same direction. Since is the center of the equilateral triangle on the side opposite , each cycles that triangle's three vertices. With the direction chosen consistently:
Tracking the vertex through the three rotations in turn:
So fixes . The total rotation angle is , which makes the composition a translation; a translation with a fixed point is the identity:
Rearranging gives , a rotation about .
Rotation-composition lemma. A rotation by about followed by a rotation by about equals a rotation by about some point , where has angle at and angle at .
Apply the lemma with and center : has angles at and , so the third angle is also . Napoleon's triangle is equilateral.