Napoleon points

In geometry, Napoleon points are a pair of special points associated with a plane triangle. It is generally believed that the existence of these points was discovered by Napoleon Bonaparte, the Emperor of the French from 1804 to 1815, but many have questioned this belief. The Napoleon points are triangle centers and they are listed as the points X(17) and X(18) in Clark Kimberling's Encyclopedia of Triangle Centers.

The name "Napoleon points" has also been applied to a different pair of triangle centers, better known as the isodynamic points.{{cite journal

| last = Rigby | first = J. F.

| doi = 10.1007/BF01230612

| issue = 1–2

| journal = Journal of Geometry

| mr = 963992

| pages = 129–146

| title = Napoleon revisited

| volume = 33

| year = 1988| s2cid = 189876799

}}

Definition of the points

=First Napoleon point=

File:First Napoleon Point.svg

Let {{math|△ABC}} be any given plane triangle. On the sides {{mvar|BC, CA, AB}} of the triangle, construct outwardly drawn equilateral triangles {{math|△DBC, △ECA, △FAB}} respectively. Let the centroids of these triangles be {{mvar|X, Y, Z}} respectively. Then the lines {{mvar|AX, BY, CZ}} are concurrent. The point of concurrence {{math|N{{sub|1}}}} is the first Napoleon point, or the outer Napoleon point, of the triangle {{math|△ABC}}.

The triangle {{math|△XYZ}} is called the outer Napoleon triangle of {{math|△ABC}}. Napoleon's theorem asserts that this triangle is an equilateral triangle.

In Clark Kimberling's Encyclopedia of Triangle Centers, the first Napoleon point is denoted by X(17).{{cite web|last=Kimberling|first=Clark|title=Encyclopedia of Triangle Centers|url=http://faculty.evansville.edu/ck6/encyclopedia/ETC.html|access-date=2 May 2012}}

The trilinear coordinates of {{math|N{{sub|1}}}}:

\begin{align} & \csc(A + \tfrac{\pi}{6}) : \csc(B + \tfrac{\pi}{6}) : \csc(C + \tfrac{\pi}{6}) \\[2pt] =\ & \sec(A -\tfrac{\pi}{3}) : \sec(B -\tfrac{\pi}{3}) : \sec(C - \tfrac{\pi}{3}) \end{align}

The barycentric coordinates of {{math|N{{sub|1}}}}:

a \csc(A + \tfrac{\pi}{6}) : b \csc(B + \tfrac{\pi}{6}) : c \csc(C + \tfrac{\pi}{6})

=Second Napoleon point=

File:Second Napoleon Point.svg

Let {{math|△ABC}} be any given plane triangle. On the sides {{mvar|BC, CA, AB}} of the triangle, construct inwardly drawn equilateral triangles {{math|△DBC, △ECA, △FAB}} respectively. Let the centroids of these triangles be {{mvar|X, Y, Z}} respectively. Then the lines {{mvar|AX, BY, CZ}} are concurrent. The point of concurrence {{math|N{{sub|2}}}} is the second Napoleon point, or the inner Napoleon point, of {{math|△ABC}}.

The triangle {{math|△XYZ}} is called the inner Napoleon triangle of {{math|△ABC}}. Napoleon's theorem asserts that this triangle is an equilateral triangle.

In Clark Kimberling's Encyclopedia of Triangle Centers, the second Napoleon point is denoted by X(18).

The trilinear coordinates of {{math|N{{sub|2}}}}:

\begin{align} & \csc(A - \tfrac{\pi}{6}) : \csc(B - \tfrac{\pi}{6}) : \csc(C - \tfrac{\pi}{6}) \\[2pt] =\ & \sec(A + \tfrac{\pi}{3}) : \sec(B + \tfrac{\pi}{3}) : \sec(C + \tfrac{\pi}{3}) \end{align}

The barycentric coordinates of {{math|N{{sub|2}}}}:

a \csc(A - \tfrac{\pi}{6}) : b \csc(B -\tfrac{\pi}{6}) : c \csc(C - \tfrac{\pi}{6})

Two points closely related to the Napoleon points are the Fermat-Torricelli points (ETC's X(13) and X(14)). If instead of constructing lines joining the equilateral triangles' centroids to the respective vertices one now constructs lines joining the equilateral triangles' apices to the respective vertices of the triangle, the three lines so constructed are again concurrent. The points of concurrence are called the Fermat-Torricelli points, sometimes denoted {{math|F{{sub|1}}}} and {{math|F{{sub|2}}}}. The intersection of the Fermat line (i.e., that line joining the two Fermat-Torricelli points) and the Napoleon line (i.e., that line joining the two Napoleon points) is the triangle's symmedian point (ETC's X(6)).

Generalizations

The results regarding the existence of the Napoleon points can be generalized in different ways. In defining the Napoleon points we begin with equilateral triangles drawn on the sides of {{math|△ABC}} and then consider the centers {{mvar|X, Y, Z}} of these triangles. These centers can be thought as the vertices of isosceles triangles erected on the sides of triangle ABC with the base angles equal to {{pi}}/6 (30 degrees). The generalizations seek to determine other triangles that, when erected over the sides of {{math|△ABC}}, have concurrent lines joining their external vertices and the vertices of {{math|△ABC}}.

=Isosceles triangles=

File:KiepertPoint.svg

File:Kiepert Hyperbola.svg

This generalization asserts the following:

:If the three triangles {{math|△XBC, △YCA, △ZAB}}, constructed on the sides of the given triangle {{math|△ABC}} as bases, are similar, isosceles and similarly situated, then the lines {{mvar|AX, BY, CZ}} concur at a point {{mvar|N}}.''

If the common base angle is {{mvar|θ}}, then the vertices of the three triangles have the following trilinear coordinates.

$\begin{array}{rccccc}
X= & -\sin\theta &:& \sin(C + \theta) &:& \sin(B + \theta) \\
Y= & \sin(C + \theta) &:& -\sin\theta &:& \sin(A + \theta) \\
Z=& \sin(B + \theta) &:& \sin(A + \theta) &:& -\sin\theta
\end{array}$

The trilinear coordinates of {{mvar|N}} are

$\csc(A + \theta) : \csc(B + \theta) : \csc(C + \theta)$

A few special cases are interesting.

Value of {{mvar\|θ}}	The point {{mvar\|N}}
class="wikitable"
{{tmath\|0}}	{{mvar\|G}}, the centroid of {{math\|△ABC}}
{{tmath\|\frac \pi 2, -\frac \pi 2}}	{{mvar\|O}}, the orthocenter of {{math\|△ABC}}
{{tmath\|\frac \pi 4, -\frac \pi 4}}	The Vecten points
{{tmath\|\frac \pi 6}}	{{math\|N{{sub\|1}}}}, the first Napoleon point X(17)
{{tmath
\frac \pi 6}}	{{math\|N{{sub\|2}}}}, the second Napoleon point X(18)
{{tmath\|\frac \pi 3}}	{{math\|F{{sub\|1}}}}, the first Fermat–Torricelli point X(13)
{{tmath
\frac \pi 3}}	{{math\|F{{sub\|2}}}}, the second Fermat–Torricelli point X(14)
$\begin{cases} -A & \text{if } A < \pi/2 \\ \pi - A & \text{if } A > \pi/2 \end{cases}$	The vertex {{mvar\|A}}
$\begin{cases} -B & \text{if } B < \pi/2 \\ \pi - B & \text{if } B > \pi/2 \end{cases}$	The vertex {{mvar\|B}}
$\begin{cases} -C & \text{if } C < \pi/2 \\ \pi - C & \text{if } C > \pi/2 \end{cases}$	The vertex {{mvar\|C}}

Moreover, the locus of {{mvar|N}} as the base angle {{mvar|θ}} varies between −{{pi}}/2 and {{pi}}/2 is the conic

$\frac{\sin(B-C)} x + \frac{\sin(C-A)} y + \frac{\sin(A-B)} z = 0.$

This conic is a rectangular hyperbola and it is called the Kiepert hyperbola in honor of Ludwig Kiepert (1846–1934), the mathematician who discovered this result.{{cite journal|first1=R. H.|last1=Eddy|first2=R.|last2= Fritsch|title=The Conics of Ludwig Kiepert: A Comprehensive Lesson in the Geometry of the Triangle|journal=Mathematics Magazine|date=June 1994|volume=67|issue=3|pages=188–205|url=http://epub.ub.uni-muenchen.de/4550/1/Fritsch_Rudolf_4550.pdf|access-date=26 April 2012|doi=10.2307/2690610|jstor=2690610}} This hyperbola is the unique conic which passes through the five points {{mvar|A, B, C, G, O}}.

=Similar triangles=

File:GeneralisationOfNapoleonPointSpecialCase.svg

The three triangles {{math|△XBC, △YCA, △ZAB}} erected over the sides of the triangle {{math|△ABC}} need not be isosceles for the three lines {{mvar|AX, BY, CZ}} to be concurrent.{{cite book|first=Michael |last=de Villiers|title=Some Adventures in Euclidean Geometry|year=2009|publisher=Dynamic Mathematics Learning|isbn=9780557102952|pages=138–140}}

:If similar triangles {{math|△XBC, △AYC, △ABZ}} are constructed outwardly on the sides of any triangle {{math|△ABC}} then the lines {{mvar|AX, BY, CZ}} are concurrent.

=Arbitrary triangles=

The concurrence of the lines {{mvar|AX, BY, CZ}} holds even in much relaxed conditions. The following result states one of the most general conditions for the lines {{mvar|AX, BY, CZ}} to be concurrent.

:If triangles {{math|△XBC, △YCA, △ZAB}} are constructed outwardly on the sides of any triangle {{math|△ABC}} such that

$\angle CBX = \angle ABZ, \quad \angle ACY = \angle BCX, \quad \angle BAZ = \angle CAY;$

:then the lines {{mvar|AX, BY, CZ}} are concurrent.

The point of concurrency is known as the Jacobi point.

File:GeneralisationOfNapoleonPoint.svg

History

Coxeter and Greitzer state the Napoleon Theorem thus: If equilateral triangles are erected externally on the sides of any triangle, their centers form an equilateral triangle. They observe that Napoleon Bonaparte was a bit of a mathematician with a great interest in geometry. However, they doubt whether Napoleon knew enough geometry to discover the theorem attributed to him.{{cite book|first1=H. S. M. |last1=Coxeter |first2=S. L. |last2=Greitzer|title=Geometry Revisited|url=https://archive.org/details/geometryrevisite00coxe |url-access=limited |year=1967 | publisher=Mathematical Association of America|pages=[https://archive.org/details/geometryrevisite00coxe/page/n72 61]–64}}

The earliest recorded appearance of the result embodied in Napoleon's theorem is in an article in The Ladies' Diary appeared in 1825. The Ladies' Diary was an annual periodical which was in circulation in London from 1704 to 1841. The result appeared as part of a question posed by W. Rutherford, Woodburn.

:VII. Quest.(1439); by Mr. W. Rutherford, Woodburn." Describe equilateral triangles (the vertices being either all outward or all inward) upon the three sides of any triangle ABC: then the lines which join the centers of gravity of those three equilateral triangles will constitute an equilateral triangle. Required a demonstration."

However, there is no reference to the existence of the so-called Napoleon points in this question. Christoph J. Scriba, a German historian of mathematics, has studied the problem of attributing the Napoleon points to Napoleon in a paper in Historia Mathematica.{{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=free}}

Value of {{mvar\|θ}}	The point {{mvar\|N}}
class="wikitable"
{{tmath\|0}}	{{mvar\|G}}, the centroid of {{math\|△ABC}}
{{tmath\|\frac \pi 2, -\frac \pi 2}}	{{mvar\|O}}, the orthocenter of {{math\|△ABC}}
{{tmath\|\frac \pi 4, -\frac \pi 4}}	The Vecten points
{{tmath\|\frac \pi 6}}	{{math\|N{{sub\|1}}}}, the first Napoleon point X(17)
{{tmath
\frac \pi 6}}	{{math\|N{{sub\|2}}}}, the second Napoleon point X(18)
{{tmath\|\frac \pi 3}}	{{math\|F{{sub\|1}}}}, the first Fermat–Torricelli point X(13)
{{tmath
\frac \pi 3}}	{{math\|F{{sub\|2}}}}, the second Fermat–Torricelli point X(14)
$\begin{cases} -A & \text{if } A < \pi/2 \\ \pi - A & \text{if } A > \pi/2 \end{cases}$	The vertex {{mvar\|A}}
$\begin{cases} -B & \text{if } B < \pi/2 \\ \pi - B & \text{if } B > \pi/2 \end{cases}$	The vertex {{mvar\|B}}
$\begin{cases} -C & \text{if } C < \pi/2 \\ \pi - C & \text{if } C > \pi/2 \end{cases}$	The vertex {{mvar\|C}}