View source for Napoleon's theorem

{{Short description|On lines connecting the centres of equilateral triangles built on the sides of a triangle}}
[[Image:Napoleon's theorem.svg|thumb|Napoleon's theorem: If the triangles centered on {{mvar|L, M, N}} are equilateral, then so is the green triangle.]]

In [[geometry]], '''Napoleon's theorem''' states that if [[equilateral triangle]]s are constructed on the sides of any [[triangle]], either all outward or all inward, the lines connecting the [[centre (geometry)|centre]]s of those [[equilateral]] triangles themselves form an equilateral triangle.

The triangle thus formed is called the inner or outer ''Napoleon triangle''. The difference in the areas of the outer and inner Napoleon triangles equals the area of the original triangle.

The theorem is often attributed to [[Napoleon|Napoleon Bonaparte]] (1769–1821). Some have suggested that it may date back to [[William Rutherford (mathematician)|W. Rutherford's]] 1825 question published in ''[[The Ladies' Diary]]'', four years after the French emperor's death,<ref>{{harvnb|Grünbaum|2012}}</ref><ref>{{cite web|url=http://mathworld.wolfram.com/NapoleonsTheorem.html |title=Napoleon's Theorem - from Wolfram MathWorld |publisher=Mathworld.wolfram.com |date=2013-08-29 |accessdate=2013-09-06}}</ref> but the result is covered in three questions set in an examination for a gold medal at the University of Dublin in October, 1820, whereas Napoleon died the following May.

==Proofs==
In the figure above, {{math|△''ABC''}} is the original triangle.  {{math|△''AZB'', △''BXC'', △''CYA''}} are equilateral triangles constructed on its sides' exteriors, and points {{mvar|L, M, N}} are the centroids of those triangles.  The theorem for outer triangles states that triangle {{math|△''LMN''}} ''(<span style="color:green;">green</span>)'' is equilateral.

A quick way to see that {{math|△''LMN''}} is equilateral is to observe that {{mvar|{{overline|MN}}}} becomes {{mvar|{{overline|CZ}}}} under a [[clockwise]] rotation of 30° around {{mvar|A}} and a [[Homothetic transformation|homothety]] of ratio {{tmath|\sqrt 3}} with the same center, and that {{mvar|{{overline|LN}}}} also becomes {{mvar|{{overline|CZ}}}} after a counterclockwise rotation of 30° around {{mvar|B}} and a homothety of ratio {{tmath|\sqrt 3}} with the same center.  The respective spiral [[similarity (geometry)|similarities]]<ref>{{MathWorld |title=Spiral Similarity |urlname=SpiralSimilarity}}</ref> are {{tmath|A(\sqrt 3, -30^\circ),\ B(\sqrt 3, 30^\circ).}} That implies {{math|1={{overline|''MN''}} = {{overline|''LN''}}}} and the angle between them must be 60°.<ref>For a visual demonstration see ''[http://www.cut-the-knot.org/Curriculum/Geometry/NapoleonSmyth.shtml Napoleon's Theorem via Two Rotations]'' at [[Cut-the-Knot]].</ref>

There are in fact many proofs of the theorem's statement, including a [[synthetic geometry|synthetic (coordinate-free)]] one,<ref>Coxeter, H.S.M., and Greitzer, Samuel L. 1967. ''Geometry Revisited'', pages 60-63.</ref> a [[trigonometry|trigonometric]] one,<ref name="MathPages270"/> a [[symmetry]]-based approach,<ref>{{cite web|author=Alexander Bogomolny|author-link=Alexander Bogomolny|url=http://www.cut-the-knot.org/proofs/napoleon.shtml#second |title=Proof #2 (an argument by symmetrization) |publisher=Cut-the-knot.org |date= |accessdate=2013-09-06}}</ref> and proofs using [[complex number]]s.<ref name="MathPages270"/><ref>{{Cite web |title=Elegant proofs of napoleon's theorem |url=https://www.cut-the-knot.org/proofs/napoleon.shtml |website=Cut-The-Knot}}</ref>

==Background==
[[File:LadiesDiary 1826 p38.jpg|thumb|Extract from the 1826 ''Ladies' Diary'' giving geometric and analytic proofs]]

The theorem has frequently been attributed to Napoleon, but several papers have been written concerning this issue<ref>{{citation|first= V.G.|last=Cavallaro|title=Per la storia dei teoremi attribuiti a Napoleone Buonaparte e a Frank Morley|journal=Archimede|volume=1|year=1949|pages=286–287}}</ref><ref>{{cite journal |last= Scriba|title=Wie kommt 'Napoleons Satz' zu seinem namen?|journal=Historia Mathematica|year=1981|volume=8|pages=458–459 |doi=10.1016/0315-0860(81)90054-9 |first=Christoph J |issue=4|doi-access=}}</ref> which cast doubt upon this assertion (see {{harv|Grünbaum|2012}}).

The following entry appeared on page 47 in the Ladies' Diary of 1825 (so in late 1824, a year or so after the compilation of Dublin examination papers). This is an early appearance of Napoleon's theorem in print, and Napoleon's name is not mentioned.

:VII. Quest.(1439); ''by Mr. W. Rutherford, Woodburn.''
<blockquote>"Describe equilateral triangles (the vertices being either all outward or all inward) upon the three sides of any triangle {{math|△''ABC''}}: then the lines which join the centres of gravity of those three equilateral triangles will constitute an equilateral triangle. Required a demonstration."</blockquote>

Since [[William Rutherford (mathematician)|William Rutherford]] was a very capable mathematician, his motive for requesting a proof of a theorem that he could certainly have proved himself is unknown. Maybe he posed the question as a challenge to his peers, or perhaps he hoped that the responses would yield a more elegant solution. However, it is clear from reading successive issues of the ''Ladies' Diary'' in
the 1820s, that the Editor aimed to include a varied set of questions each year, with some suited for the exercise of beginners.

Plainly there is no reference to Napoleon in either the question or the published responses, which appeared a year later in 1826, though the Editor evidently omitted some submissions. Also, Rutherford himself does not appear amongst the named solvers after the printed solutions, although from the tally a few pages earlier it is evident that he did send in a solution, as did several of his pupils and
associates at Woodburn School, including the first of the published solutions. Indeed, the Woodburn Problem Solving Group, as it might be known today, was sufficiently well known by then to be written up in ''A Historical, Geographical, and Descriptive View of the County of Northumberland ...'' (2nd ed. Vo. II, pp.&nbsp;123–124). It had been thought that the first known reference to this result as Napoleon's theorem appears in Faifofer's 17th Edition of ''Elementi di Geometria'' published in 1911,<ref>{{citation|last=Faifofer|title=Elementi di Geometria|edition=17th|year=1911|place=Venezia|page=186}}, but the historical record cites various editions in different years. This reference is from {{harv|Wetzel|1992}}</ref> although Faifofer does actually mention Napoleon in somewhat earlier editions. But this is moot because we find Napoleon mentioned by name in this context in an encyclopaedia by 1867. What is of greater historical interest as regards Faifofer is the problem he had been using in earlier editions:
a classic problem on circumscribing the greatest equilateral triangle about a given triangle that Thomas Moss had posed in the ''Ladies Diary'' in 1754, in the solution to which by William Bevil the following year we might easily recognize the germ of Napoleon's Theorem - the two results then run together, back and forth for at least the next hundred years in the problem pages of the popular almanacs:
when Honsberger proposed in ''Mathematical Gems'' in 1973 what he thought was a novelty of his own, he was actually recapitulating part of this vast, if informal, literature.

It might be as well to recall that a popular variant of the Pythagorean proposition, where squares are placed on the edges of triangles, was to place equilateral triangles on the edges of triangles: could you do with equilateral triangles what you could do with squares - for example, in the case of right triangles, dissect the one on the hypotenuse into those on the legs? Just as authors returned repeatedly to consider other properties of Euclid's Windmill or Bride's Chair, so the equivalent figure with equilateral triangles replacing squares invited - and received - attention. Perhaps the most majestic effort in this regard is William Mason's Prize Question in the ''Lady's and Gentleman's Diary'' for 1864, the solutions and commentary for which the following year run to some fifteen pages. By then, this particular venerable venue - starting in 1704 for the ''Ladies' Diary'' and in 1741 for the ''Gentleman's Diary'' - was on its last legs, but problems of this sort continued in the ''Educational Times'' right into the early 1900s.

===Dublin Problems, October, 1820===
In the Geometry paper, set on the second morning of the papers for candidates for the gold medal in the General Examination of the [[University of Dublin]] in October 1820, the following three problems appear.

:''Question 10. Three equilateral triangles are thus constructed on the sides of a given triangle, {{mvar|A, B, D}}, the lines joining their centres, {{mvar|C, C', C"}} form an equilateral triangle.'' [The accompanying diagram shows the equilateral triangles placed outwardly.]

:''Question 11. If the three equilateral triangles are constructed as in the last figure, the lines joining their centres will also form an equilateral triangle.'' [The accompanying diagram shows the equilateral triangles places inwardly.]

:''Question 12. To investigate the relation between the area of the given triangle and the areas of these two equilateral triangles.''

These problems are recorded in
* ''Dublin problems: a collection of questions proposed to the candidates for the gold medal at the general examinations, from 1816 to 1822 inclusive. Which is succeeded by an account of the fellowship examination, in 1823'' (G. and W. B. Whittaker, London, 1823)<ref>''Dublin problems: a collection of questions proposed to the candidates for the gold medal at the general examinations, from 1816 to 1822 inclusive. Which is succeeded by an account of the fellowship examination, in 1823''. G. and W. B. Whittaker, London, 1823 ([http://dbooks.bodleian.ox.ac.uk/books/PDFs/590315941.pdf online, 22.8MB])</ref>

Question 1249 in the ''[[Gentleman's Diary|Gentleman's Diary; or Mathematical Repository]]'' for 1829 (so appearing in late 1828) takes up the theme, with solutions appearing in the issue for the following year. One of the solvers, [[Thomas Stephens Davies|T. S. Davies]] then generalized the result in Question 1265 that year, presenting his own solution the following year, drawing on a paper he had already contributed to the ''[[Philosophical Magazine]]'' in 1826. There are no cross-references in this material to that described above. However, there are several items of cognate interest in the problem pages of the popular almanacs both going back to at least the mid-1750s (Moss) and continuing on to the mid-1860s (Mason), as alluded to above.

As it happens, Napoleon's name is mentioned in connection with this result in no less a work of reference than ''Chambers's Encyclopaedia'' as early as 1867 (Vol. IX, towards the close of the entry on triangles).
<blockquote>Another remarkable property of triangles, known as Napoleon's problem is as follows: if on any triangle three equilateral triangles are described, and the centres of gravity of these three be joined, the triangle thus formed is equilateral, and has its centre of gravity coincident with that of the original triangle.<ref>''Chambers's Encyclopaedia''. London, 1867, vol. IX, p. [https://archive.org/details/cu31924087904698/page/538/mode/2up 538]</ref></blockquote>

But then the result had appeared, with proof, in a textbook by at least 1834 (James Thomson's ''Euclid'', pp.&nbsp;255–256 <ref>{{Cite book |url=https://books.google.com/books?id=dQBfAAAAcAAJ |title=The First Six and the Eleventh and Twelfth Books of Euclid's Elements; with Notes and Illustrations, and an Appendix in Five Books. By James Thomson, LL.D. |date=1834 |language=en}}</ref>). In an endnote (p.&nbsp;372), Thomason adds
<blockquote>This curious proposition I have not met with, except in the ''Dublin Problems,'' published in 1823, where it is inserted without demonstration.</blockquote>
In the second edition (1837), Thomson extended the endnote by providing proof from a former student in Belfast:
<blockquote>The following is an outline of a very easy and neat proof it by Mr. Adam D. Glasgow of Belfast, a former student of mine of great taste and talent for mathematical pursuits:</blockquote>
Thus, Thomson does not appear aware of the appearance of the problem in the ''Ladies' Diary'' for 1825 or the ''Gentleman's Diary'' for 1829 (just as J. S. Mackay was to remain unaware of the latter appearance, with its citation of ''Dublin Problems,'' while noting the former; readers of the ''American Mathematical Monthly'' have a pointer to Question 1249 in the ''Gentleman's Diary'' from [[Raymond Clare Archibald|R. C. Archibald]] in the issue for January 1920, p.&nbsp;41, fn. 7, although the first published solution in the ''Ladies Diary'' for 1826 shows that even Archibald was not omniscient in matters of priority).

==Common center==
The centers of both the inner and outer Napoleon triangles coincide with the [[centroid]] of the original triangle. This coincidence was noted in Chambers's Encyclopaedia in 1867, as quoted above. The entry there is unsigned. [[Peter Tait (physicist)|P. G. Tait]], then Professor of Natural Philosophy in the University of Edinburgh, is listed amongst the contributors, but J. U. Hillhouse, Mathematical Tutor also at the University of Edinburgh, appears amongst ''other literary gentlemen connected for longer or shorter times with the regular staff of the Encyclopaedia.'' However, in Section 189(e) of ''An Elementary Treatise on Quaternions'',<ref>Clarendon Press, Oxford, 1867, pp. 133--135</ref> also in 1867, Tait treats the problem (in effect, echoing Davies' remarks in the Gentleman's Diary in 1831 with regard to Question 1265, but now in the setting of quaternions): 
<blockquote>If perpendiculars be erected outwards at the middle points of the sides of a triangle, each being proportional to the corresponding side, the mean point of their extremities coincides with that of the original triangle. Find the ratio of each perpendicular to half the corresponding side of the old triangle that the new triangle may be equilateral.</blockquote>
Tait concludes that the mean points of equilateral triangles erected outwardly on the sides of any triangle form an equilateral triangle. The discussion is retained in subsequent editions in 1873 and 1890, as well as in his further ''Introduction to Quaternions'' <ref>Macmillan, London, 1873, pp. 42--43</ref> jointly with [[Philip Kelland]] in 1873.

==Areas and sides of inner and outer Napoleon triangles==
The area of the inner Napoleon triangle of a triangle with area {{math|△}} is

<math display=block>\text {Area(inner)} = -\frac{\triangle}{2} + \frac{\sqrt{3}}{24}(a^2+b^2+c^2)\ge 0,</math>

where {{mvar|a, b, c}} are the side lengths of the original triangle, with equality only in the case in which the original triangle is equilateral, by [[Weitzenböck's inequality]]. However, from an algebraic standpoint<ref>Weisstein, Eric W. "Inner Napoleon Triangle." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/InnerNapoleonTriangle.html</ref> the inner triangle is "retrograde" and its ''algebraic'' area
is the negative of this expression.<ref>Coxeter, H.S.M., and Greitzer, Samuel L. 1967. ''Geometry Revisited'', page 64.</ref>

The area of the outer Napoleon triangle is<ref>Weisstein, Eric W. "Outer Napoleon Triangle." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/OuterNapoleonTriangle.html</ref>

<math display=block>\text {Area(outer)} = \frac{\triangle}{2} + \frac{\sqrt{3}}{24}(a^2+b^2+c^2).</math>

[[Analytic geometry|Analytically]], it can be shown<ref name="MathPages270">{{MathPages|id=home/kmath270/kmath270|title=Napoleon's Theorem}}</ref> that each of the three sides of the outer Napoleon triangle has a length of
<math display=block>\text{Side(outer)} = \sqrt{{a^2+b^2+c^2 \over 6} + {\sqrt{(a+b+c)(a+b-c)(a-b+c)(-a+b+c)} \over {2\sqrt{3}}}}.</math>

The relation between the latter two equations is that the area of an equilateral triangle equals the square of the side times <math>\sqrt{3} / 4.</math>

==Generalisations==
[[File:Equilateral in hexagon 1.svg|thumb|right|300px|Equilateral triangles on the sides of an arbitrary hexagon: When {{math|1=''A''{{sub|1}} = ''A''{{sub|4}}}}, {{math|1=''A''{{sub|2}} = ''A''{{sub|5}}}}, and {{math|1=''A''{{sub|3}} = ''A''{{sub|6}}}}, this theorem becomes the Napoleon theorem]]

===Petr–Douglas–Neumann theorem===
{{Main|Petr–Douglas–Neumann theorem}}

If isosceles triangles with apex angles {{tmath|\tfrac{2k\pi}{n} }} are erected on the sides of an arbitrary {{mvar|n}}-gon {{math|''A''<sub>0</sub>}}, and if this process is repeated with the {{mvar|n}}-gon formed by the free apices of the triangles, but with a different value of {{mvar|k}}, and so on until all values {{math|1 ≤ ''k'' ≤ ''n'' − 2}} have been used (in arbitrary order), then a regular {{mvar|n}}-gon {{math|''A''<sub>''n''−2</sub>}} is formed whose centroid coincides with the centroid of {{math|''A''<sub>0</sub>}}.<ref>{{cite journal | doi=10.1007/PL00009307 | volume=18 | title=Isogonal Prismatoids | journal=[[Discrete & Computational Geometry]] | date=1997 | pages=13–52| doi-access=free | last1=Grünbaum | first1=Branko }}</ref>

===Napoleon-Barlotti theorem===
[[File:Napoleon barlotti.svg|thumb|upright=1.0|Napoleon-Barlotti theorem for a pentagon]]
The centers of regular {{mvar|n}}-gons constructed over the sides of an {{mvar|n}}-gon {{mvar|P}} form a regular {{mvar|n}}-gon if and only if {{mvar|P}} is an affine image of a regular {{mvar|n}}-gon.<ref>A. Barlotti, Intorno ad una generalizzazione di un noto teorema relativo al triangolo, Boll. Un. Mat. Ital.
7 no. 3 (1952) 182–185.</ref><ref>Una proprietà degli n-agoni che si ottengono transformando in una affinità un n-agono regolare,
Boll. Un. Mat. Ital. 10 no. 3 (1955) 96–98.</ref>

===Jha-Savaran Generalization===
Given a hexagon {{math|''A''<sub>1</sub>''A''<sub>2</sub>''A''<sub>3</sub>''A''<sub>4</sub>''A''<sub>5</sub>''A''<sub>6</sub>}} with equilateral triangles constructed on the sides, either inwardly or outwardly, and the apexes of the equilateral triangles labelled {{mvar|B<sub>i</sub>}}. If {{math|''G''<sub>1</sub>, ''G''<sub>3</sub>, ''G''<sub>5</sub>}} are the respective centroids of {{math|△''B''<sub>6</sub>''B''<sub>1</sub>''B''<sub>2</sub>, △''B''<sub>2</sub>''B''<sub>3</sub>''B''<sub>4</sub>, △''B''<sub>4</sub>''B''<sub>5</sub>''B''<sub>6</sub>}}, then {{math|''G''<sub>1</sub>, ''G''<sub>3</sub>, ''G''<sub>5</sub>}} form an equilateral triangle.<ref>M. de Villiers, H. Humenberger, B. Schuppar, Jha and Savaran’s generalisation of Napoleon’s theorem, Global Journal of Advanced Research on Classical and Modern Geometries
Vol.11, (2022), Issue 2, pp.190-197. http://geometry-math-journal.ro/pdf/Volume11-Issue2/4.pdf</ref>

===Dao Than Oai’s generalization===
Given a hexagon ABCDEF with equilateral ∆'s ABG, DHC, IEF constructed on the alternate sides AB, CD and EF, either inwardly or outwardly. Let A<sub>1</sub>, B<sub>1</sub>, C<sub>1</sub> be the centroids of ∆FGC, ∆BHE, and ∆DIA respectively, let A<sub>2</sub>, B<sub>2</sub>, C<sub>2</sub> be the centroids of ∆DGE, ∆AHF, and ∆BIC respectively. Then ∆A<sub>1</sub>B<sub>1</sub>C<sub>1</sub> and ∆A<sub>2</sub>B<sub>2</sub>C<sub>2</sub> are equilateral triangles.<ref>H. Humenberger, B. Schuppar, M. de Villiers. Geometric Proofs and Further Generalizations of Dao Than Oai’s Napoleon Hexagon Theorem, Global Journal of Advanced Research on Classical and Modern Geometries, Vol.12, (2023), Issue 1, pp.158-168. https://geometry-math-journal.ro/pdf/Volume12-Issue1/10.pdf</ref> (If, for example, we let points A and F coincide, as well as B and C, and D and E, then Dao Than Oai's result reduces to Napoleon's theorem).

==See also==
*[[Napoleon points]]
*[[Lemoine's problem]]
*[[Napoleon's problem]]
*[[Van Aubel's theorem]]

==Notes==
{{Reflist}}

==References==
* {{cite book |title = Geometry Revisited| author1-link = Harold Scott MacDonald Coxeter | last1=Coxeter | first1=H.S.M. | author2-link=S. L. Greitzer | last2=Greitzer | first2=S.L. | year = 1967| publisher = [[Mathematical Association of America]]| location = [[Washington, D.C.]] | series=[[New Mathematical Library]] | volume=19 | isbn = 978-0-88385-619-2| zbl=0166.16402 | pages=60–65 }}
*{{citation | first=Branko | last=Grünbaum | title=Is Napoleon's Theorem ''Really'' Napoleon's Theorem? | journal=American Mathematical Monthly | volume=119 | issue=6 | year=2012 | pages=495–501 | doi=10.4169/amer.math.monthly.119.06.495 | zbl=1264.01010 | s2cid=42928783 }}
*{{cite journal | last=Wetzel | first=John E. | title=Converses of Napoleon's Theorem | journal=The American Mathematical Monthly | date=April 1992 | volume=99 | issue=4 | pages=339–351 | url=http://apollonius.math.nthu.edu.tw/d1/disk5/js/geometry/napoleon/9.pdf | doi=10.2307/2324901 | jstor=2324901 | zbl=1264.01010 | url-status=dead | archiveurl=https://web.archive.org/web/20140429191842/http://apollonius.math.nthu.edu.tw/d1/disk5/js/geometry/napoleon/9.pdf | archivedate=2014-04-29 }}

==External links==
{{commons category}}
*[http://www.cut-the-knot.org/proofs/napoleon_intro.shtml Napoleon's Theorem and Generalizations], at [[Cut-the-Knot]]
*[http://instrumenpoche.sesamath.net/IMG/lecteur_iep.php?anim=xml_triangle_napoleon2.xml To see the construction], at [[instrumenpoche]]
*[http://demonstrations.wolfram.com/NapoleonsTheorem/ Napoleon's Theorem] by Jay Warendorff, The [[Wolfram Demonstrations Project]].
* {{MathWorld |title=Napoleon's Theorem |urlname=NapoleonsTheorem}}
* [http://dynamicmathematicslearning.com/napole1.html Napoleon's Theorem and some generalizations, variations & converses] at [http://dynamicmathematicslearning.com/JavaGSPLinks.htm Dynamic Geometry Sketches]
* [http://www.cut-the-knot.org/proofs/napoleon.shtml Napoleon's Theorem, Two Simple Proofs]
* [http://alvyray.com/Papers/PapersCG.htm#HexagonSequences Infinite Regular Hexagon Sequences on a Triangle (generalization of Napoleon's Theorem)] by [[Alvy Ray Smith]].

{{PlanetMath attribution|id=4538|title=Napoleon's theorem}}

[[Category:Theorems about triangles]]
[[Category:Napoleon|Theorem]]