Following is an excerpt from

J.H.Conway and R.K.Guy,*The Book of Numbers*

## DE MOIVRE'S CIRCLE-CUTTING NUMBERS

Go to Mr. De Moivre; he knows these things better than I do. Isaac Newton |

Draw a regular polygon, centered at the origin in the complex plane, with one comer being the number *1* (Figure 8.13). What are the complex numbers corresponding to all the comers? These numbers were studied by the English mathematician Abraham De Moivre (1667-1754) long before it was realized that they had a geometrical meaning.

When the polygon is a square (Figure 8.13(b)), the answer is easy. The numbers (reading counterclockwise) are *1, i, - 1, -i*. We call these the fourth-order **De Moivre numbers**. In a similar way, the third-order De Moivre numbers (Figure 8.13(a)) are *1, (-1+ i√3)/2, 1 - i√3)/2*, and the sixth-order ones are these and their negatives:

(again reading counterclockwise). The fifth-order ones are a bit harder: You have to solve one quadratic equation on top of another.

What can we say about these numbers? They are all powers of one of them! The De Moivre number that immediately follows *1* in counterclockwise order we'll call δ_{n} (if the polygon has *1* coners), or just δ when *1* is obvious. Since the twirl that takes *1* to δ (Figure 8.13(c)) takes δ to δ^{2}, δ^{2} to δ^{3}, and so on, we see that the full set of *n*th-order De Moivre numbers is

1, δ, δ^{2}, δ^{3}, ..., δ^{n - 1}, where δ = δ_{n}.

and we also see that δ^{n} = 1. But we saw that δ_{4} = i, which satisfies δ^{2} + 1 = 0, So δ^{n} = 1 is not always the simplest equation satisfied by δ_{n}. The following table gives the simplest equation for an for *n = 1, . . . , 12.*

In fact, the *n*th-order De Moivre number, δ_{n} is an algebraic number whose degree
is the *n*th of Euler's *totient* numbers, φ*(n)*. The solutions of this equation are all the **primitive** *n*th roots of unity. They
satisfy *x*^{k} = 1*k = n*,*k*.

We said that δ_{5} could be found by solving one quadratic on top of another. In fact,

as you can see by writing the equation *δ ^{4}+δ^{3}+δ^{2} + δ + 1 = 0*
in the form

*(δ*

^{2}+ δ/2 + 1)^{2}= (δ√5)^{2}/4.## THE ONLY RATIONAL TRIANGLE

Suppose you have a triangle all of whose sides are rational numbers and all of whose
angles are rational numbers of degrees. Then it must be equilateral! You might think that
this was a very deep result, but in fact it's surprisingly easy to verify it, using De
Moivre's numbers. Put your triangle in the complex plane (Figure 8.14). Then the angles
indicated will be *p n*ths and *q n*ths of a revolution, where we take the
smallest possible value of *n*. Since the three indicated shifts add up to zero, we see that
the *n*th-order De Moivre number δ = δ_{n} must satisfy

*a + bδ ^{p} + cδ^{q}.*

as, therefore, must all the algebraic conjugates of δ_{n} that have the form δ^{k} whenever *k* and *n* have no common factor.

So indeed we have φ*(n)* equations

*a + bδ ^{kp} + cδ^{kq}.*

and so φ*(n)* different triangles, such as in Figure 8.15, all of which have the same base and the same edge lengths, but different angles. This is nonsense, because there can be at most two such triangles: the original one (Figure 8.14) and its reflection in the base (the two rightmost in Figure 8.15). Now the only numbers with φ*(n) ≤ 2* are *n* = 1,2,3,4, or 6, so all angles are at least 1/6 of a revolution (i.e., 60°), and your triangle
must be equilateral, since its angles add up to 180°.

|Contact| |Front page| |Contents| |Geometry| |Did you know?| |Books|

Copyright © 1996-2018 Alexander Bogomolny