Napoleon on Hinges

Napoleon's theorem claims that the centers A', B', C', of the equilateral triangles A''BC, AB''C, ABC'', erected on the sides (either all inwardly or all outwardly) of a given triangle ABC form an equilateral triangle. The applet below serves to illustrate a very simple proof of this result.

Use the scroll bar at the bottom of the applet to rotate some triangles 120°. Which triangles are get rotated depends on which of the three boxes Swivel at "B, C", "A, C", or "A, B", is checked. Rotations are actually around A', B', or C'.

The proof below is a slight modification of a recent proof by Alex Anderson. Below we assume that none of the angles in ΔABC exceeds 120°. The proof will have to be modified otherwise.

Assume the box "B, C" is checked so that we rotate triangles A'BC' (around C') and A'B'C (around B'). B and C are rotated onto A (because triangles ABC' and AB'C are isosceles with the apex angles at C' and B', respectively, equal to 120°.) Now, let's check the angles:

Similarly, ∠A'CB' = ∠ACB + 60° and ∠B'AC' = ∠BAC + 60°.

At the end of rotations when triangles A'BC' and A'B'C meet at A, the sum of angles at A is exactly 360°:

This means that, after the rotation, the sides A'B and A'C coalesce into a segment which we denote AA*. Observe that by SSS, ΔA*B'C' = ΔA'B'C'. Let &alpha, β &gamma denote the respective angles of ΔA'B'C'. Then ∠A*C'B' = 120° - γ while, on the other hand, ∠A*C'B' = ∠A'C'B' = γ. It follows that γ = 60°. Similarly, α = β = 60°. Napoleon's triangle is indeed equiangular, hence, also equilateral.

As we just saw, Napoleon's triangle A'B'C' is the union of the triangles congruent to triangles AB'C', A'BC', and A'B'C. This dissection can be obtained by reflecting A in B'C', B in A'C', and C in A'B', telling us that all three coincide. The common point, say X, is the Fermat point of ΔABC. Indeed,

Implying that X is on the circumcircle of ΔAB''C. Similarly, it is on the circumcircles of triangles ABC'' and A''BC and hence is their common point.

References

1. A. Anderson, A New Proof for Napoleon's Theorem, Mathematical Reflections 3 (2007) (available online)

Napoleon's Theorem

• Napoleon's Theorem
• A proof with complex numbers
• A second proof with complex numbers
• A third proof with complex numbers
• Napoleon's Theorem, Two Simple Proofs
• Napoleon's Theorem via Inscribed Angles
• A Generalization
• Douglas' Generalization
• Napoleon's Propeller
• Napoleon's Theorem by Plane Tessellation
• Fermat point
• Kiepert's theorem
• Lean Napoleon's Triangles
• Napoleon's Theorem by Transformation
• Napoleon's Theorem via Two Rotations
• Napoleon on Hinges
• Napoleon's Relatives
• Napoleon-Barlotti Theorem
• Some Properties of Napoleon's Configuration
• Fermat Points and Concurrent Euler Lines I
• Fermat Points and Concurrent Euler Lines II
• Escher's Theorem

Copyright © 1996-2009 Alexander Bogomolny