SECTION 8.3
POLAR FORM AND DEMOIVRE’S THEOREM
483
8.3 POLAR FORM AND DEMOIVRE’S THEOREM At this point you can add, subtract, multiply, and divide complex numbers. However, there is still one basic procedure that is missing from the algebra of complex numbers. To see this, consider the problem of finding the square root of a complex number such as i. When you use the four basic operations (addition, subtraction, multiplication, and division), there seems to be no reason to guess that
Figure 8.6 Imaginary axis
(a, b) r
i
b
θ a
0
Real axis
Complex Number: a + bi Rectangular Form: (a, b) Polar Form: (r, θ )
1i . That is, 2
1i
2 i. 2
To work effectively with powers and roots of complex numbers, it is helpful to use a polar representation for complex numbers, as shown in Figure 8.6. Specifically, if a bi is a nonzero complex number, then let be the angle from the positive x-axis to the radial line passing through the point (a, b) and let r be the modulus of a bi. So, a r cos ,
b r sin ,
and
r a 2 b2
and you have a bi r cos r sin i from which the following polar form of a complex number is obtained.
Definition of Polar Form of a Complex Number
The polar form of the nonzero complex number z a bi is given by z rcos i sin where a r cos , b r sin , r a 2 b2, and tan ba. The number r is the modulus of z and is the argument of z.
484
CHAPTER 8
COMPLEX VECTOR SPACES REMARK:
The polar form of z 0 is given by z 0cos i sin where is any
angle. Because there are infinitely many choices for the argument, the polar form of a complex number is not unique. Normally, the values of that lie between and are used, though on occasion it is convenient to use other values. The value of that satisfies the inequality < ≤
Principal argument
is called the principal argument and is denoted by Arg(z). Two nonzero complex numbers in polar form are equal if and only if they have the same modulus and the same principal argument.
EXAMPLE 1
Finding the Polar Form of a Complex Number Find the polar form of each of the complex numbers. (Use the principal argument.) (a) 1 i
Solution
(b) 2 3i
(c) i
(a) Because a 1 and b 1, then r 2 1 2 12 2, which implies that r 2. From a r cos and b r sin , cos
2 a 1 2 r 2
and
sin
2 b 1 . 2 r 2
So, 4 and
4 i sin 4 .
z 2 cos
(b) Because a 2 and b 3, then r 2 2 2 32 13, which implies that r 13. So, cos
a 2 13 r
and
sin
b 3 13 r
and it follows that arctan32. So, the polar form is
z 13 cos arctan
3 3 i sin arctan 2 2
13 cos0.98 i sin0.98 . (c) Because a 0 and b 1, it follows that r 1 and 2, so
z 1 cos
i sin . 2 2
The polar forms derived in parts (a), (b), and (c) are depicted graphically in Figure 8.7.
SECTION 8.3
POLAR FORM AND DEMOIVRE’S THEOREM
485
Figure 8.7 Imaginary axis
Imaginary axis
Imaginary axis 4 3 Real axis
θ −1
1
z=1−i
EXAMPLE 2
2 cos − π + i sin − π 4 4
[ ( )
( )]
1
z=i
2
−2
(a) z =
z = 2 + 3i
θ
θ 1
Real axis
Real axis
2
(b) z = 13[cos(0.98) + i sin(0.98)]
(c) z = 1 cos π + i sin π 2 2
(
)
Converting from Polar to Standard Form Express the complex number in standard form.
3 i sin 3
z 8 cos Solution
Because cos 3 12 and sin3 32, you can obtain the standard form
3 i sin 3 8 12 i
z 8 cos
3
2
4 43i.
The polar form adapts nicely to multiplication and division of complex numbers. Suppose you are given two complex numbers in polar form z1 r1cos 1 i sin 1
and
z2 r2cos 2 i sin 2 .
Then the product of z1 and z2 is given by z1 z 2 r1 r2cos 1 i sin 1cos 2 i sin 2 r1r2 cos 1 cos 2 sin 1 sin 2 i cos 1 sin 2 sin 1 cos 2 . Using the trigonometric identities cos1 2 cos 1 cos 2 sin 1 sin 2 and sin1 2 sin 1 cos 2 cos 1 sin 2 you have z1z 2 r1r2 cos1 2 i sin1 2 . This establishes the first part of the following theorem. The proof of the second part is left to you. (See Exercise 63.)
486
CHAPTER 8
COMPLEX VECTOR SPACES
Theorem 8.4 Product and Quotient of Two Complex Numbers
Given two complex numbers in polar form z1 r1cos 1 i sin 1 and z2 r 2cos 2 i sin 2 the product and quotient of the numbers are as follows. z1z2 r1r2 cos1 2 i sin1 2
Product
z1 r1 z 2 r2 cos1 2 i sin1 2 , z2 0
Quotient
This theorem says that to multiply two complex numbers in polar form, multiply moduli and add arguments, and to divide two complex numbers, divide moduli and subtract arguments. (See Figure 8.8.) Figure 8.8 Imaginary axis
z1z2
Imaginary axis
z2
z1
θ1 + θ 2 r 2 r1r2
θ 2 r1
r2
z1
θ1
r1
θ1
θ2
Real axis
r1 r2
z1 z2
θ1 − θ 2 Real axis
To multiply z1 and z2: Multiply moduli and add arguments.
EXAMPLE 3
z2
To divide z1 by z2: Divide moduli and add arguments.
Multiplying and Dividing in Polar Form Determine z1z2 and z1z2 for the complex numbers
z1 5 cos Solution
i sin 4 4
and z2
1 cos i sin . 3 6 6
Because you are given the polar forms of z 1 and z 2, you can apply Theorem 8.4 as follows. multiply
z1z2 5
5
5
3 cos 4 6 i sin 4 6 3 cos 12 i sin 12 1
5
add
add divide
z1 5 cos i sin z2 13 4 6 4 6
subtract
subtract
15cos 12 i sin 12
SECTION 8.3 REMARK:
POLAR FORM AND DEMOIVRE’S THEOREM
487
Try performing the multiplication and division in Example 3 using the stan-
dard forms z1
52 52 3 1 i and z2 i. 6 6 2 2
DeMoivre’s Theorem The final topic in this section involves procedures for finding powers and roots of complex numbers. Repeated use of multiplication in the polar form yields z r cos i sin z 2 r cos i sin r cos i sin r 2cos 2 i sin 2 z3 r cos i sin r 2 cos 2 i sin 2 r 3cos 3 i sin 3. Similarly, z4 r4cos 4 i sin 4 z 5 r 5cos 5 i sin 5. This pattern leads to the following important theorem, named after the French mathematician Abraham DeMoivre (1667–1754). You are asked to prove this theorem in Chapter Review Exercise 71. If z r cos i sin and n is any positive integer, then
Theorem 8.5 DeMoivre’s Theorem
zn r ncos n i sin n.
EXAMPLE 4
Raising a Complex Number to an Integer Power Find 1 3i
12
Solution
and write the result in standard form.
First convert to polar form. For 1 3i, r 12 3 2 2 and tan
3
1
3
which implies that 23. So,
1 3i 2 cos
2 2 i sin . 3 3
By DeMoivre’s Theorem, 2 2 12 i sin 3 3 12(2) 12(2) cos i sin 3 3
1 3i12 2cos
212
488
CHAPTER 8
COMPLEX VECTOR SPACES
4096cos 8 i sin 8 4096 1 i 0) 4096.
Recall that a consequence of the Fundamental Theorem of Algebra is that a polynomial of degree n has n zeros in the complex number system. So, a polynomial like px x6 1 has six zeros, and in this case you can find the six zeros by factoring and using the quadratic formula. x6 1 x3 1x3 1 x 1x 2 x 1x 1x 2 x 1 Consequently, the zeros are x ± 1,
x
1 ± 3i , 2
and
x
1 ± 3i . 2
Each of these numbers is called a sixth root of 1. In general, the nth root of a complex number is defined as follows.
Definition of n th Root of a Complex Number
The complex number w a bi is an nth root of the complex number z if z w n a bin . DeMoivre’s Theorem is useful in determining roots of complex numbers. To see how this is done, let w be an nth root of z, where w scos i sin
and
z rcos i cos .
Then, by DeMoivre’s Theorem you have w n s ncos n i sin n, and because w n z, it follows that s n cos n i sin n r cos i sin . Now, because the right and left sides of this equation represent equal complex numbers, you n r and equate principal can equate moduli to obtain s n r which implies that s arguments to conclude that and n must differ by a multiple of 2. Note that r is a n r is also a positive real number. Consequently, for some positive real number and so s integer k, n 2k, which implies that
2k . n
Finally, substituting this value for into the polar form of w produces the result stated in the following theorem.
SECTION 8.3
Theorem 8.6 n th Roots of a Complex Number
POLAR FORM AND DEMOIVRE’S THEOREM
489
For any positive integer n, the complex number z r cos i sin has exactly n distinct roots. These n roots are given by
n2k i sin n2k
n r cos
where k 0, 1, 2, . . . , n 1. Note that when k exceeds n 1, the roots begin to repeat. For instance, if k n, the angle is
Figure 8.9
REMARK: Imaginary axis
n
2 n 2 n n
2π n r
2π n
which yields the same value for the sine and cosine as k 0. Real axis
nth Roots of a Complex Number
The formula for the nth roots of a complex number has a nice geometric interpretation, as shown in Figure 8.9. Note that because the nth roots all have the same modulus (length) n r, they will lie on a circle of radius n r with center at the origin. Furthermore, the n roots are equally spaced along the circle, because successive nth roots have arguments that differ by 2n. You have already found the sixth roots of 1 by factoring and the quadratic formula. Try solving the same problem using Theorem 8.6 to see if you get the roots shown in Figure 8.10. When Theorem 8.6 is applied to the real number 1, the nth roots are given a special name—the nth roots of unity. Figure 8.10 Imaginary axis
−1 + 3i 2 2
−1
1+ 3 i 2 2
1
1− 3 −1 − 3i i 2 2 2 2 6th Roots of Unity
Real axis
490
CHAPTER 8
COMPLEX VECTOR SPACES
EXAMPLE 5
Finding the nth Roots of a Complex Number Determine the fourth roots of i.
Solution
In polar form, you can write i as
i 1 cos
i sin 2 2
so that r 1, 2. Then, by applying Theorem 8.6, you have
42 2k4 i sin42 2k4
4 i14 1 cos
cos
8 k2 i sin8 k2.
Setting k 0, 1, 2, and 3 you obtain the four roots z1 cos
i sin 8 8
z 2 cos
5 5 i sin 8 8
z3 cos
9 9 i sin 8 8
z4 cos
13 13 i sin 8 8
as shown in Figure 8.11.
In Figure 8.11 note that when each of the four angles, 8, 58, 98, and 138 is multiplied by 4, the result is of the form 2 2k.
REMARK:
Figure 8.11
cos 5π + i sin 5π 8 8
Imaginary axis
cos π + i sin π 8 8 Real axis
cos 9π + i sin 9π 8 8 cos 13π + i sin 13π 8 8
SECTION 8.3
❑
SECTION 8.3
1. Imaginary
2.
25. 7cos 0 i sin 0
Real axis
3
3i
1
−2
−1
2 − 2i
3.
Imaginary axis
4.
Imaginary axis
3 2 1
−6
1 −1
1
Real axis
2
In Exercises 5–16, represent the complex number graphically, and give the polar form of the number. (Use the principle argument.) 5. 2 2i
6. 3 i
7. 21 3 i
8.
9. 6i
5 2
3 i
11. 7
12. 2i
13. 1 6i
14. 22 i
19.
18. 5 cos
5 5 3 cos i sin 2 3 3
21. 3.75 cos
23. 4 cos
i sin 4 4
3 3 i sin 2 2
4 cos 2 i sin 2 6 cos 4 i sin 4 3
29. 0.5cos i sin 0.5cos i sin
30.
3cos 3 i sin 3 3 cos
31.
2[cos(23) i sin(23)] 4[cos(29) i sin(29)]
32.
cos(53) i sin(53) cos i sin
33.
12[cos(3) i sin(3)] 3[cos(6) i sin(6)]
34.
9[cos(34) i sin(34)] 5[cos( 4) i sin( 4)]
37. 1 i
16. 4 2i
i sin 2 2
28.
1
35. 1 i 4
In Exercises 17–26, represent the complex number graphically, and give the standard form of the number. 17. 2 cos
2 2 i sin 3 3
In Exercises 35–44, use DeMoivre’s Theorem to find the indicated powers of the given complex number. Express the result in standard form.
10. 4
15. 3 i
2
Real axis −2 −3
3cos 3 i sin 3 4cos 6 i sin 6
1 + 3i
3
−6 −5 −4 −3 −2
Real axis
1
27. 2
−1
26. 6cos i sin
In Exercises 27–34, perform the indicated operation and leave the result in polar form.
Imaginary axis
axis
2
491
EXERCISES
In Exercises 1–4, express the complex number in polar form.
1
EXERCISES
20.
3 3 i sin 4 4
7 7 3 cos i sin 4 4 4
i sin 6 6
5 5 i sin 6 6
22. 8 cos
24. 6 cos
36. 2 2i 6
38. 3 i 7
10
39. 1 3i
3
5 5 i sin 6 6
8
41.
3cos
43.
2cos 2 i sin 2
40.
5cos 9 i sin 9
42.
cos
4
5 5 i sin 4 4
44. 5 cos
3
10
3 3 i sin 2 2
4
In Exercises 45–56, (a) use DeMoivre’s Theorem to find the indicated roots, (b) represent each of the roots graphically, and (c) express each of the roots in standard form. 45. Square roots: 16 cos i sin 3 3
492
CHAPTER 8
COMPLEX VECTOR SPACES
46. Square roots: 9 cos
2 2 i sin 3 3
47. Fourth roots: 16 cos
4 4 i sin 3 3
5 5 i sin 48. Fifth roots: 32 cos 6 6
49. Square roots: 25i 51. Cube roots:
66. Show that the negative of z rcos i sin is
z r cos i sin .
50. Fourth roots: 625i
125 1 3i 2
52. Cube roots: 42 1 i 53. Cube roots: 8
54. Fourth roots: i
55. Fourth roots: 1
56. Cube roots: 1000
In Exercises 57–62, find all the solutions to the equation and represent your solutions graphically. 57. 59. 61. 63.
x4 i 0 58. x 3 1 0 5 60. x 4 81 0 x 243 0 3 62. x 4 i 0 x 64i 0 Given two complex numbers z 1 r1cos 1 i sin 1 and z 2 r2cos 2 i sin 2 with z 2 0 prove that z1 r1 z r cos 1 2 i sin 1 2 . 2
2
64. Show that the complex conjugate of z rcos i sin is z r cos i sin . 65. Use the polar form of z and z in Exercise 64 to find each of the following. (a) zz (b) zz, z 0
67. Writing
(a) Let z rcos i sin 2 cos
i sin . Sketch z, 6 6
iz, and zi in the complex plane. (b) What is the geometric effect of multiplying a complex number z by i? What is the geometric effect of dividing z by i? 68. Calculus Recall that the Maclaurin series for e x, sin x, and cos x are ex 1 x
x 2 x3 x 4 . . . 2! 3! 4!
sin x x
x 3 x5 x 7 . . . 3! 5! 7!
cos x 1
x 2 x 4 x6 . . . . 2! 4! 6!
(a) Substitute x i into the series for e x and show that ei cos i sin . (b) Show that any complex number z a bi can be expressed in polar form as z rei. (c) Prove that if z rei, then z rei. (d) Prove the amazing formula ei 1.