De Moivre's Theorem1
De Moivre's Theorem1
De Moivre's Theorem1
561
We now come to one of the great theorems in mathematics, De Moivres theorem. Abraham De Moivre (16671754), of French birth, spent most of his life in
London doing private tutoring, writing, and publishing mathematics. He belonged
to many prestigious professional societies in England, Germany, and France and
was a close friend of Isaac Newton.
Using the polar form for a complex number, De Moivre established a theorem that still bears his name for raising complex numbers to natural number powers. More importantly, the theorem is the basis for the nth root theorem, which
enables us to find all n nth roots of any complex number, real or imaginary.
By repeated use of the product formula for the exponential polar form
rei, discussed in the last section, establish the following:
1. (x iy)2 (rei)2 r2e2i
2. (x iy)3 (rei)3 r3e3i
3. (x iy)4 (rei)4 r4e4i
Based on forms 13, and for n a natural number, what do you think the
polar form of (x iy)n would be?
If you guessed that the polar form of (x iy)n is rneni, you have arrived at
De Moivres Theorem, which we now state without proof. A full proof of the theorem for all natural numbers n requires a method of proof, called mathematical
induction, which is discussed in Section 9-2.
DE MOIVRES THEOREM
If z x iy rei, and n is a natural number, then
1
EXAMPLE
562
Solution
(1 i)10 (2e45i)10
(2)10e(10 45)i
32e
450i
1
EXAMPLE
2
Solution
Rectangular form
Use De Moivres theorem to find (1 i3)5. Write the answer in exact polar
and rectangular forms.
Convert 3 i to polar
form.
26e(6 150)i
64e900i
Rectangular form
Use De Moivres theorem to find (1 i3)4. Write the answer in exact polar
and rectangular forms.
nth Roots of z
We now consider roots of complex numbers. We say w is an nth root of z, n a
natural number, if wn z. For example, if w2 z, then w is a square root of z.
If w3 z, then w is a cube root of z. And so on.
2
We can proceed in the same way as in Explore/Discuss 2 to show that r1/ne(/n)i
is an nth root of rei, n a natural number:
563
[r1/ne(/n)i]n (r1/n)nen(/n)i
rei
But we can do even better than this. The nth-root theorem (Theorem 2) shows us
how to find all the nth roots of a complex number.
nTH-ROOT THEOREM
For n a positive integer greater than 1,
r1/ne(/nk360/n)i
k 0, 1, . . . , n 1
are the n distinct nth roots of rei, and there are no others.
EXAMPLE
3
Solution
k 0, 1, 2, 3, 4, 5
Thus,
w1 21/6e(20060)i 21/6e20i
FIGURE 1
w2 21/6e(20160)i 21/6e80i
w3 21/6e(20260)i 21/6e140i
w4 21/6e(20360)i 21/6e200i
w5 21/6e(20460)i 21/6e260i
w6 21/6e(20560)i 21/6e320i
All roots are easily graphed in the complex plane after the first root is located.
The root points are equally spaced around a circle of radius 21/6 at an angular
increment of 60 from one root to the next (Fig. 1).
MATCHED PROBLEM
Find five distinct fifth roots of 1 i. Leave the answers in polar form and plot
them in a complex plane.
564
EXAMPLE
4
Solution
k 0, 1, 2
Thus,
FIGURE 2
1
3
i
2
2
1
3
i
2
2
[Note: This problem can also be solved using factoring and the quadratic formulatry it.]
The three roots are graphed in Figure 2.
MATCHED PROBLEM
2. 16e(240)i 8 i83
1
3 1
3
4. 1, i
, i
2
2
2
2
565
EXERCISE 7-7
A
In Problems 16, use De Moivres theorem to evaluate each.
Leave answers in polar form.
1. (2e30i)3
2. (5e15i)3
3. (2e10i)6
4. (2e15i)8
5. (1 i3)3
6. (3 i)8
B
In Problems 712, find the value of each expression and write
the final answer in exact rectangular form. (Verify the results
in Problems 712 by evaluating each directly on a calculator.)
7. (3 i)4
10. (3 i)5
9. (1 i)8
8. (1 i)4
11.
1 3
i
2
2
12.
1 3
i
2
2
,n4
60i
17. z 1 i, n 5
14. z 8e45i, n 3
16. z 16e
,n4
90i
18. z 1 i, n 3
28. x3 64 0
29. x3 27 0
30. x3 27 0
19. z 8, n 3
20. z 1, n 4
21. z 16, n 4
22. z 8, n 3
23. z i, n 6
24. z i, n 5
[r1/ne(/nk360/n)i]n rei
for any natural number n and any integer k.
32. Show that
r1/ne(/nk360/n)i
is the same number for k 0 and k n.