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.