De Moivre's formula.
A biography of Abraham DeMoivre can be found in The MacTutor History of
Mathematics archive, at the following URL:
$zz' = (ac-bd)+(ad+bc)i$
Another formulation of this proposition follows:
Proof. For any

and

, we have:
The result follows.
Figure 8: Abraham DeMoivre
1667-1754.
 |
Another formulation of this proposition follows:
Example 1.4.4
Let

.
Then:
.
This formula can be generalized to any integer
.
Proof. For non negative

, this is exactly De Moivre's formula. We consider only the case where

is a negative integer (whence

).
Example 1.4.6
Let

. Then
Example 1.4.7
Let

. Find all the integers

such that

is real.
We have:
By De Moivre's formula (v.s. 4.3),
we have:
By 3.8,
we have:
i.e.
|