Professional Documents
Culture Documents
5.03 DeMoivres Theorem and Powers of Complex Numbers
5.03 DeMoivres Theorem and Powers of Complex Numbers
The trigonometric form of a complex number provides a relatively quick and easy way to compute products of complex numbers. As a
consequence, we will be able to quickly calculate powers of complex numbers, and even roots of complex numbers.
Beginning Activity
Let z = r(cos(θ) + i sin(θ)) . Use the trigonometric form of z to show that
2 2
z = r (cos(2θ) + i sin(2θ))) (5.3.1)
De Moivre’s Theorem
The result of Equation 5.3.1 is not restricted to only squares of a complex number. If z = r(cos(θ) + i sin(θ)) , then it is also true that
3 2
z = zz
2
= (r)(r )(cos(θ + 2θ) + i sin(θ + 2θ))
3
= r (cos(3θ) + i sin(3θ))
3
= (r)(r )(cos(θ + 3θ) + i sin(θ + 3θ))
4
= r (cos(4θ) + i sin(4θ))
The equations for z , z , and z establish a pattern that is true in general; this result is called de Moivre’s Theorem.
2 3 4
DeMoivre’s Theorem
It turns out that DeMoivre’s Theorem also works for negative integer powers as well.
Exercise 5.3.1
Write the complex number 1 − i in polar form. Then use DeMoivre’s Theorem (Equation 5.3.2) to write (1 − i)
10
in the complex form
a + bi , where a and b are real numbers and do not involve the use of a trigonometric function.
Answer
In polar form,
– π π
1 − i = √2(cos(− ) + sin(− )) (5.3.3)
4 4
So
– 10 10π 10π 5π 5π
10
(1 − i ) = (√2) (cos(− ) + sin(− )) = 32(cos(− ) + sin(− )) = 32(0 − i) = −32i (5.3.4)
4 4 2 2
5.3.1 https://math.libretexts.org/@go/page/7126
Example 5.3.1: Roots of Complex Numbers
equation like x = 1 means to find all of the numbers (real or complex) that satisfy the equation. We can take the real cube root of both sides
3
of this equation to obtain the solution x0 D 1, but every cubic polynomial should have three solutions. How can we find the other two? If we
draw the graph of y = x − 1 we see that the graph intersects the x-axis at only one point, so there is only one real solution to x = 1 . That
3 3
means the other two solutions must be complex and we can use DeMoivre’s Theorem to find them. To do this, suppose
is a solution to x 3
=1 . Then
3 3
1 =z = r (cos(3θ) + i sin(3θ)).
This implies that r = 1 (or r = −1 , but we can incorporate the latter case into our choice of angle). We then reduce the equation x 3
=1 to
the equation
2πk
has solutions when cos(3θ) = 1 and sin(3θ) = 0 . This will occur when 3θ = 2πk , or θ = , where k is any integer. The distinct integer
3
2πk 2π 4π
multiples of on the unit circle occur when k =0 and θ =0 , k =1 and θ = , and k =2 with θ = . In other words, the
3 3 3
solutions to x 3
=1 should be
x0 = cos(0) + i sin(0) = 1
–
2π 2π 1 √3
x1 = cos( ) + i sin( ) =− + i
3 3 2 2
–
4π 4π 1 √3
x2 = cos( ) + i sin( ) =− − i
3 3 2 2
, and
4π 4π 3
4π 4π
3
x = [cos( ) + i sin( )] = cos(3( )) + i sin(3( )) = cos(4π) + i sin(4π) = 1 (5.3.8)
2
3 3 3 3
Thus, x = 1 and x
3
1
3
2
=1 and we have found three solutions to the equation x
3
=1 . Since a cubic can have only three solutions, we have
found them all.
The general process of solving an equation of the form x n
= a + bi , where n is a positive integer and a + bi is a complex number works the
same way. Write a + bi in trigonometric form
a + bi = r[cos(θ) + i sin(θ)]
n
r[cos(θ) + i sin(θ)] = (s[cos(α) + i sin(α)])
n
r[cos(θ) + i sin(θ)] = s [cos(α) + i sin(α)]
and
Therefore,
5.3.2 https://math.libretexts.org/@go/page/7126
n
s =r (5.3.10)
and
nα = θ + 2πk
and
θ + 2πk
α =
n
We will get n different solutions for k = 0, 1, 2, . . . , n − 1 , and these will be all of the solutions. These solutions are called the n th roots of
the complex number a + bi . We summarize the results.
If we want to represent the n th roots of r[cos(θ) + i sin(θ)] using degrees instead of radians, the roots will have the form
∘ ∘
θ + 360 k θ + 360 k
n
√r[cos( ) + i sin( )]
n n
for k = 0, 1, 2, . . . , (n − 1) .
for k = 0, 1, 2, . . . , (n − 1) .
As another example, we find the complex square roots of 1. In other words, we find the solutions to the equation z = 1 . Of course, we 2
already know that the square roots of 1 are 1 and −1, but it will be instructive to utilize our general result and see that it gives the same
result. Note that the trigonometric form of 1 is
1 = cos(0) + i sin(0) (5.3.13)
– 0 + 2π(0) 0 + 2π(0)
√1[cos( ) + i sin( )] = cos(0) + i sin(0) = 1 (5.3.14)
2 2
and
– 0 + 2π(1) 0 + 2π(1)
√1[cos( ) + i sin( )] = cos(π) + i sin(π) = −1 (5.3.15)
2 2
as expected.
Exercise 5.3.2
Answer
2π 2π π π
1. We find the solutions to the equation z 4
=1 . Let ω = cos( ) + i sin( ) = cos( ) + i sin( ) . Then
4 4 2 2
ω
0
=1 ,
ω =i ,
2π 2π
2
ω = cos( ) + i sin( ) = −1
2 2
3π 3π
3
ω = cos( ) + i sin( ) = −i
2 2
5.3.3 https://math.libretexts.org/@go/page/7126
2π 2π π π
2. We find the solutions to the equation z 6
=1 . Let ω = cos( ) + i sin( ) = cos( ) + i sin( ) . Then
6 6 3 3
ω
0
=1 ,
–
1 √3
ω = + i ,
2 2
–
2π 2π 1 √3
2
ω = cos( ) + i sin( ) =− + i
3 3 2 2
3π 3π
3
ω = cos( ) + i sin( ) = −1
3 3
–
4π 4π 1 √3
4
ω = cos( ) + i sin( ) =− − i
3 3 2 2
–
5π 5π 1 √3
5
ω = cos( ) + i sin( ) = − i
3 3 2 2
– – – –
1 √3 1 √3 1 √3 1 √3
So the six sixth roots of unity are 1, + i, − + i, −1, − − i , and − i .
2 2 2 2 2 2 2 2
Now let’s apply our result to find roots of complex numbers other than 1.
Solution
Note that we can write the right hand side of this equation in trigonometric form as
– 2π 2π
−8 + 8 √3i = 16(cos( ) + i sin( )) (5.3.16)
3 3
–
The fourth roots of −8 + 8√3i are then
2π 2π
+ 2π(0) + 2π(0) –
−− 4 3 3 π π √3 1 –
x0 = √16[cos( ) + i sin( )] = 2[cos( ) + i sin( )] = 2( + i) = √3 + i (5.3.17)
4 4 6 6 2 2
2π 2π
+ 2π(1) + 2π(1) –
2π 2π 1 √3
4 −− 3 3 –
x1 = √16[cos( ) + i sin( )] = 2[cos( ) + i sin( )] = 2(− + i) = −1 + √3i (5.3.18)
4 4 3 3 3 2
2π 2π
+ 2π(2) + 2π(2) –
−− 3 3 7π 7π √3 1 –
4
x2 = √16[cos( ) + i sin( )] = 2[cos( ) + i sin( )] = 2(− − i) = −√3 − i (5.3.19)
4 4 6 6 2 2
2π 2π
+ 2π(3) + 2π(3) –
−− 3 3 5π 5π 1 √3 –
4
x3 = √16[cos( ) + i sin( )] = 2[cos( ) + i sin( )] = 2( − i) = 1 − √3i (5.3.20)
4 4 3 3 2 2
Exercise 5.3.3
Find all fourth roots of −256, that is find all solutions of the equation x 4
= −256 .
Answer
Since −256 = 256[cos(π) + i sin(π)] we see that the fourth roots of −256 are
– –
π + 2π(0) π + 2π(0) π π √2 √2
4 −−− – –
x0 = √256[cos( ) + i sin( )] = 4 cos( ) + i sin( ) = 4[ + i] = 2 √2 + 2i √2 (5.3.21)
4 4 4 4 2 2
– –
π + 2π(1) π + 2π(1) 3π 3π √2 √2
4 −−− – –
x1 = √256[cos( ) + i sin( )] = 4 cos( ) + i sin( ) = 4[− + i] = −2 √2 + 2i √2 (5.3.22)
4 4 4 4 2 2
– –
π + 2π(2) π + 2π(2) 5π 5π √2 √2
4 −−− – –
x2 = √256[cos( ) + i sin( )] = 4 cos( ) + i sin( ) = 4[− − i] = −2 √2 − 2i √2 (5.3.23)
4 4 4 4 2 2
5.3.4 https://math.libretexts.org/@go/page/7126
– –
π + 2π(3) π + 2π(3) 7π 7π √2 √2
4 −−− – –
x3 = √256[cos( ) + i sin( )] = 4 cos( ) + i sin( ) = 4[ + i] = 2 √2 − 2i √2 (5.3.24)
4 4 4 4 2 2
Summary
In this section, we studied the following important concepts and ideas:
DeMoivre's Theorem
Let z = r(cos(θ) + i sin(θ)) be a complex number and n any integer. Then
n n
z = (r )(cos(nθ) + i sin(nθ))
for k = 0, 1, 2, . . . , (n − 1) .
This page titled 5.3: DeMoivre’s Theorem and Powers of Complex Numbers is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or
curated by Ted Sundstrom & Steven Schlicker (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of
the LibreTexts platform; a detailed edit history is available upon request.
5.3.5 https://math.libretexts.org/@go/page/7126