## Napoleon's Theorem

Yet Another Analytic Proof

### J. A. Grzesik

*Am Math Monthly*, 123, October 2016

Let equilateral triangles be erected upon the sides of an arbitrary triangle, all on the exterior, or else all on the interior, denoted below by $\pm.\;$ Then it is a theorem, dubiously attributed to Napoleon Bonaparte and proved in a variety of ways, that the three lines connecting in sequence the centroids of these three equilateral triangles themselves form an equilateral triangle. The following short analytic proof may or may not have been overlooked.

Equip the triangle vertices with Cartesian coordinates $(x_i, y_i),\;$ $i=0,1,2,\;$ assigned consecutively from any one vertex as starting point and, for definiteness, in counterclockwise progression. The centroid of the exterior/interior equilateral triangle attached to the side running from $(x_i, y_i)\;$ to $(x_{i+1}, y_{i+1}),\;$ (the indices being taken modulo $3\;$ throughout) is readily seen to lie at

$\displaystyle\left(\begin{array}{cc} xc_i \\ yc_i\end{array}\right)=\left(\begin{array}{cc}\frac{x_i +x_{i+1}}{2}\pm\frac{y_i - y_{i+1}}{2\sqrt{3}}\\\frac{y_i + y_{i+1}}{2}\pm\frac{x_i -x_{i+1}}{2\sqrt{3}}\end{array}\right).$

A modest amount of manipulation suffices to segregate all terms making up the square of the distance linking $(xc_i, yc_i)\;$ to $(xc_{i+1}, yc_{i+1})\;$ into a category

$\displaystyle \frac{1}{3}\left[x^2_i +x^2_{i+1} +x^2_{i+2} -x_ix_{i+1} -x_{i+1}x_{i+2} -x_{i+2}x_i\right].$

quadratic in $x\;$ coordinates alone, a second, formally identical category having each $x^*\;$ replaced by its $y^*\;$ counterpart, and a third, mixed category

$\displaystyle \pm\frac{1}{\sqrt{3}}\left[x_i(y_{i+1} - y_{i+2})+x_{i+1}(y_{i+2} - y_i)+x_{i+2}(y_i - y_{i+1})\right]$

populated by terms bilinear in both $x\;$ and $y\;$ coordinates. One then verifies by inspection that each category is unchanged under index advance $i \rightarrow i +1,\;$ which shows that centroid locations $(xc_i, yc_i),\;$ $i=0,1,2\;$ occupy the vertices of an equilateral triangle, a distinct triangle accompanying each sign choice $\pm.\;$ Two alternate proofs, one purely synthetic and one analytic, are found on p. 38 of *The Ladies’ Diary*, Vol. 123, 1826.

### 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's point
- Kiepert's theorem
- Lean Napoleon's Triangles
- Napoleon's Theorem by Transformation
- Napoleon's Theorem via Two Rotations
- Napoleon on Hinges
- Napoleon on Hinges in GeoGebra
- 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
- Circle Chains on Napoleon Triangles
- Napoleon's Theorem by Vectors and Trigonometry
- An Extra Triple of Equilateral Triangles for Napoleon
- Joined Common Chords of Napoleon's Circumcircles
- Napoleon's Hexagon
- Fermat's Hexagon
- Lighthouse at Fermat Points
- Midpoint Reciprocity in Napoleon's Configuration
- Another Equilateral Triangle in Napoleon's Configuration
- Yet Another Analytic Proof of Napoleon's Theorem
- Leo Giugiuc's Proof of Napoleon's Theorem
- Gregoie Nicollier's Proof of Napoleon's Theorem
- Fermat Point Several Times Over

|Contact| |Front page| |Contents| |Up|

Copyright © 1996-2018 Alexander Bogomolny

68065350