## Cut The Knot!An interactive column using Java applets
by Alex Bogomolny |

# Napoleon's Theorem

March 1999

A remarkable theorem has been attributed to Napoleon Bonaparte although his relation to the theorem is questioned in all sources available to me that mention his name. This can be said though that mathematics flourished in post-revolutionary France and mathematicians were held in great esteem in the new Empire. Laplace was a Minister of the Interior under Napoleon, albeit for short six weeks.

On the sides of a triangle construct equilateral triangles (outer or inner Napoleon triangles). Napoleon's theorem states that the centers of the three outer Napoleon triangles form another equilateral triangle. The statement also holds for the three inner triangles.

The theorem admits a series of generalizations. The add-on triangles may have an arbitrary shape provided they are similar and properly oriented. Then any triple of the corresponding (in the sense of the similarity) points form a triangle of the same shape. Another generalization was kindly brought to my attention by Steve Gray. This time, the construction starts with an arbitrary n-gon (thought to be oriented) and proceeds in

I shall follow the articles by B.H.Neumann (1942) and J.Douglas (1940). (K. Petr published a proof of the result discussed below in 1905. The theorem's most recent designation is *PDN*, Petr-Douglas-Newmann, giving credit to all three authors.)

Let the vertices of an n-gon be ordered A_{1}, A_{2}, ..., A_{n} and considered as complex numbers. We shall apply a certain operation to every pair of consecutive vertices.

For any two complex numbers A and B, the all-important operation is

(1)

C = (1 - c)A + cB

If c is real, points C lie on a straight line through A and B. For complex c, A,B, and C form a triangle similar to the triangle formed by points 0, 1, and c. The orientation is preserved. If

When applied to all pairs of successive vertices of an n-gon P, operation (1) yields another polygon, P_{c}. In geometric terms, P_{c} consists of the apexes of similar triangles erected on the sides of the polygon P. Vertices of P_{c} are generated successively from those of P. Jesse Douglas calls (1) a *linear polygonal transformation* - LPT. LPT has several important properties. First, P and P_{c} are *concentric*, i.e. share the centroid.

(2)

P_{i} = (P_{c})_{i}

To obtain other properties, arrange vertices of P and P_{c} as n-dimensional vectors. (1) gets then represented as a linear transformation with an n×n *circulant matrix* L_{c} with the first row given by {(1 - c) c 0 ...0}. A general circulant matrix M can also be defined by its first row {
_{0}
_{1} ...
_{n-1}}. Let K denote the simplest circulant {0 1 0 ... 0}. Then K^{n} = I (a unit matrix) and

M = _{0}I +
_{1}K +
_{2}K^{2} + ... +
_{n-1}K^{n-1}

or M = p_{M}(K). p_{M}(t) is known as the *auxiliary polynomial* of M. When two circulants are multiplied, their auxiliary polynomials are multiplied modulo K^{n} - I. This shows that any two circulant matrices commute, and so are LPTs. From here we also obtain a fact that is not quite obvious from geometric considerations, viz., the result of a sequence of LPTs does not depend on the order of individual transformations.

The auxiliary polynomial of a product of several LPTs is simply a product of the terms ((1 - c) + ct). For the generalization of Napoleon's theorem we are going to select LPTs in a particular manner.

Let ω_{d} denote (n - 1) distinct roots of unity ω^{n} = 1, excluding 1. In other words, ω_{d}'s are all roots of the equation

(3)

r(t) = t^{n-1} + t^{n-2} + ... + t + 1 = 0

For d = 1, 2, ..., n-1, define

(4)

c_{d} = 1/(1 - ω_{d})

Verify that c_{d} = (1 + i·cot(πd/n))/2 and also _{d}) + tc_{d} = (t - ω_{d})/(1 - ω_{d}).

With thus selected c_{d}'s, (1) is equivalent to a construction of *isosceles triangles* with simple apex angles. (Note that for n = 3, the angles are ±120°). From (3) and (4) we have

((1 - c_{1}) + c_{1}t)...((1 - c_{n-1}) + c_{n-1}t) = r(t)/r(1) = r(t)/n

which corresponds to the circulant matrix {1/n 1/n 1/n... 1/n}. This matrix transforms any vector-polygon A_{1}...A_{n} into the centroid of points A_{1}, ..., A_{n}.

Omit now any of the constituent LPTs. Let it be (1) with c_{d} for some d. _{d} shrinks it to a point. Which exactly means that the polygon is either regular or star-shaped.

For n = 3, we get the inner or outer Napoleon triangles depending on whether c_{1} or c_{2} is omitted.

The last stage polygons are either regular when we omit c_{1} or star-shaped. When n is not prime, we sometimes see a polygon with fewer sides. For example, when we start with a hexagon, the final shape may be a segment, a triangle, or another hexagon. The situation is more or less obvious. If we resort to vector/matrix notations, we may think of a polygon as the shape traced while coordinates of a vector are traversed circularly in the natural order. When n and d are mutually prime we always have n distinct points. When they are not, we are sure to have coordinates split into groups of

There is a notation for regular n-gons - {n} - that also includes star-shaped ones: {n/d}. Branco Grünbaum makes an interesting point about this notation and the corresponding polygon. For simplicity, I shall assume all n-gons below have their vertices on a fixed circle.

For an integer n, sides of a regular n-gon span just 1 arc into which the circle is split by the n vertices. This explains why sometimes a regular n-gon is also called an {n/1} polygon. The polygon whose sides span d arcs at a time is denoted {n/d}.

Usuallly a (generalized) regular polygon {n/d} is defined as a shape obtained by connecting vertices of a regular n-gon while skipping d arcs at a time. The definition requires that n and d be *mutually prime* (e.g., [Coxeter]).

Branco Grünbaum argues that since the definition works as well for n and d that are not coprime, there is no good reason to exclude such cases. He traces the common usage to a work by Louis Poinsot (1810) who looked at {14/2} as a pair of overlapping heptagons. When we either use the definition, or simply place coordinates of an n-vector onto a circle, the point goes around the center of the circle d times, regardless of whether n and d are coprime or not. However, this argument would work for two heptagons as well as for a single polygon of type {14/2}. To prove his point Grünbaum continuously metamorphoses "nonconventional" polygons (like {14/2} that appears as a heptagon) into "conventional" ones (like {14/5}). Says he: "if polygons with coinciding vertices were banned from the discourse, our continuous families of polygons would shatter into many fragments."

The manner in which the {n/d} polygons are obtained in the generalized Napoleon theorem seems to support his point. Indeed, it seems impossible to obtain n-gons with different n's by means of LPTs. A polygon of type {6/2} is an image of a polygon of type {6} in a 6-dimensional space by a 6-dimensional transformation.

In the notation {n/d}, the slash has been looked at as division. In the *Introduction to Geometry*, Coxeter simply defines n/d-gons for a rational n/d. Naturally, then {14/2} is the same as {7/1}, or {7}. This is why the constructive definition needs n and d mutually prime. If the nonconvential polygons are allowed, it seems that the overused {n,d} may be more appropriate.

### Reference

- H. S. M.Coxeter,
*Introduction to Geometry*, John Wiley & Sons, NY, 1961 - J. Douglas,
*On Linear Polygon Transformation*, Bull Amer Math Soc, 46 (1940), 551-560 - S. B. Gray,
__Generalizing the Petr-Douglas-Neumann Theorem on N-Gons__,*The American Mathematical Monthly*, Vol. 110, No. 3 (Mar., 2003), pp. 210-227 - B. Grünbaum,
*Metamorphosis of Polygons*, in*The Lighter Side of Mathematics*, R.K.Guy and R.E.Woodrow (eds), MAA, 1994. - B. H. Neumann,
*A Remark on Polygons*, J London Math Soc, 17 (1942), 165-166

### 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| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

64641109 |