Direct Proof of De Moivre's Theorem
Proof: To establish the ``basis'' of our mathematical induction proof, we may simply observe that De Moivre's theorem is trivially true for . Now assume that De Moivre's theorem is true for some positive integer . Then we must show that this implies it is also true for , i.e.,
Since it is true by hypothesis that
De Moivre's theorem establishes that integer powers of lie on a circle of radius 1 (since , for all ). It therefore can be used to determine all of the th roots of unity (see §3.12 above). However, no definition of emerges readily from De Moivre's theorem, nor does it establish a definition for imaginary exponents (which we defined using Taylor series expansion in §3.7 above).
Roots of Unity