Complex Numbers 1F: de Moivre's Theorem
Complex Numbers 1F: de Moivre's Theorem
1 a z4 − 1 = 0
z4 = 1
for1, r = 1 and θ = 0
So z 4 = 1(cos 0 + i sin 0)
z 4 = cos(0 + 2 k π) + i sin(0 + 2 k π) k ∈ ℤ
1
Hence, z = [cos(2k π ) + i sin(2k π )] 4
2k π 2k π
z = cos + i sin de Moivre’s Theorem.
4 4
kπ kπ
z = cos + i sin
2 2
k = 0, z = cos 0 + i sin 0 = 1
π π
k = 1, z = cos + isin = i
2 2
k = 2, z = cosπ + isinπ = −1
π π
k = −1, z = cos − + isin − = −i
2 2
Therefore, z = 1, i, − 1, − i
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 1
1 b z3 − i = 0
z3 = i
π
for i, r = 1 and θ =
2
π π
So z 3 = 1 cos + i sin
2 2
π π
z 3 = cos + 2k π + i sin + 2k π , k ∈ ℤ
2 2
1
π π 3
Hence, z = cos + 2k π + i sin + 2k π
2 2
π + 2k π π2 + 2k π
z = cos 2 + i sin de Moivre’s Theorem.
3 3
π 2k π π 2k π
z = cos + + i sin +
6 3 6 3
π π 3 1
∴ k = 0, z = cos + i sin = + i
6 6 2 2
5π 5π 3 1
k = 1, z = cos + i sin =− + i
6 6 2 2
π π
k = −1, z = cos − + i sin − = 0 − i
2 2
3 1 3 1
Therefore, z = + i, − + i, − i
2 2 2 2
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 2
1 c z 3 = 27
1
Hence, z = [27(cos 2k π ) + i sin(2k π )]3 de Moivre’s Theorem.
2k π 2k π
z = 3 cos + i sin
3 3
k = 0; z = 3(cos0 + isin 0) = 3
2π 2π 1 3 3 3 3
k = 1; z = 3 cos + isin = 3 − + i = − + i
3 3 2 2 2 2
−2π −2π 1 3 3 3 3
k = −1; z = 3 cos + i sin = 3 − + i = − − i
3 3 2 2 2 2
3 3 3 3 3 3
Therefore, z = 3, − + i, − − i
2 2 2 2
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 3
1 d z 4 + 64 = 0
z 4 = − 64
π + 2k π π + 2k π
1
z = 64 4 cos + i sin
de Moivre’s Theorem.
4 4
π kπ π k π
z = 2 2 cos + + i sin +
4 2 4 2
π π 1 1
k = 0; z = 2 2 cos + i sin = 2 2 +i = 2 + 2i
4 4 2 2
3π 3π 1 1
k = 1; z = 2 2 cos + i sin = 2 2 − + i = − 2 + 2i
4 2 2 2
π π 1 1
k = −1; z = 2 2 cos − + i sin − = 2 2 − i = 2 − 2i
4 4 2 2
3π 3π 1 1
k = −2; z = 2 2 cos − + i sin − = 2 2 − − i = − 2 − 2i
4 4 2 2
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 4
1 e z4 + 4 = 0
z4 = − 4
for − 4, r = 4 and θ = π
So z 4 = 4(cos π + i sin π )
z 4 = 4(cos(π + 2k π ) + i sin(π + 2k π )) k ∈ ℤ
1
Hence, z = [4(cos(π + 2k π ) + isin(π + 2k π))] 4
π + 2k π π + 2k π
1
z = 4 cos
4
+ i sin
de Moivre’s Theorem.
4 4
π kπ π kπ
z = 2 cos + + isin +
4 2 4 2
π π 1 1
k = 0; z = 2 cos + isin = 2 + i = 1+ i
4 4 2 2
3π 3π 1 1
k = 1; z = 2 cos + isin = 2 − + i = −1 + i
4 4 2 2
π π 1 1
k = −1; z = 2 cos − + i sin − = 2 − i = 1− i
4 4 2 2
3π 3π 1 1
k = − 2; z = 2 cos − + isin − = 2 − − i = −1 − i
4 4 2 2
Therefore, z = 1 + i, − 1 + i, 1 − i, − 1 − i
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 5
1 f z 3 + 8i = 0
z 3 = − 8i
π
for − 8i, r = 8, θ = −
2
π π
So z 3 = 8 cos − + i sin −
2 2
π π
z 4 = 8 cos − + 2k π + i sin − + 2k π k ∈ ℤ
2 2
1
π π 3
Hence, z = 8 cos − + 2k π + isin − + 2k π
2 2
− π + 2k π − π2 + 2k π
1
z = 8 3 cos 2 + isin
3 3 de Moivre’s Theorem.
π 2k π π 2k π
z = 2 cos − + + isin − +
6 3 6 3
π π 3 1
k = 0; z = 2 cos − + i sin − = 2 − i = 3 − i
6 6 2 2
π π
k = 1; z = 2 cos + i sin = 2(0 + i) = 2i
2 2
5π 5π 3 1
k = −1; z = 2 cos − + i sin − = 2− − i = − 3 − i
6 6 2 2
Therefore, z = 3 − i, 2i, − 3 − i
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 6
2 a z7 = 1
for 1, r = 1 and θ = 0
So z 7 = 1(cos 0 + i sin 0)
z 7 = cos(0 + 2 k π ) + i sin(0 + 2k π ) k ∈ ℤ
1
Hence, z = (cos(2k π ) + i sin(2k π )) 7
2k π 2k π
z = cos + i sin de Moivre’s Theorem.
7 7
k = 0, z = cos 0 + i sin 0
2π 2π
k = 1, z = cos + i sin
7 7
4π 4π
k = 2, z = cos + i sin
7 7
6π 6π
k = 3, z = cos + i sin
7 7
2π 2π
k = −1, z = cos − + isin −
7 7
4π 4π
k = − 2, z = cos − + isin −
7 7
6π 6π
k = −3, z = cos − + isin −
7 7
2π 2π
Therefore, z = cos 0 + i sin 0, cos + i sin
7 7
4π 4π 6π 6π
cos + i sin , cos + i sin
7 7 7 7
2π 2π 4π 4π
cos − + i sin − , cos − + i sin −
7 7 7 7
6π 6π
cos − + i sin −
7 7
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 7
2 b z 4 + 16i = 0
z 4 = −16i
π
for −16i, r = 16 and θ = −
2
π π
So z 4 = 16 cos − + isin −
2 2
π π
z 4 = 16 cos − + 2k π + isin − + 2k π k ∈ ℤ
2 2
1
π π 4
Hence, z = 16 cos − + 2k π + isin − + 2k π
2 2
− π + 2k π − π2 + 2k π
1
z = 16 4 cos 2 + isin de Moivre’s Theorem.
4 4
π kπ π kπ
z = cos − + + isin − +
8 2 8 2
π π
k = 0, z = 2 cos − + i sin −
8 8
3π 3π
k = 1, z = 2 cos + i sin
8 8
7π 7π
k = 2, z = 2 cos + i sin
8 8
5π 5π
k = −1, z = 2 cos − + i sin −
8 8
π π 3π 3π
Therefore, z = 2 cos − + i sin − ,2 cos + isin
8 8 8 8
7π 7π 5π 5π
2 cos + isin , 2 cos − + isin −
8 8 8 8
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 8
2 c z 5 + 32 = 0
z 5 = − 32
π π
k = 0, z = 2 cos + i sin
5 5
3π 3π
k = 1, z = 2 cos + i sin
5 5
k = 1, z = 2(cosπ + i sinπ )
π π
k = 2, z = 2 cos − + i sin −
5 5
5π 5π
k = −1, z = 2 cos − + isin −
8 8
3π 3π
k = −2, z = 2 cos − + isin −
5 5
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 9
2 d z 3 = 2 + 2i
r = 22 + 22 = 4 + 4 = 8 = 2 2
θ = tan −1 =
2 π
2 4
π π
So z 3 = 2 2 cos + i sin
4 4
π π
z 3 = 2 2 cos + 2k π + i sin + 2k π k ∈ ℤ
4 4
1
π π 3
Hence, z = 2 2 cos + 2k π + i sin + 2k π
4 4
π + 2k π π4 + 2k π
1
z = (2 2) cos 4
3
+ i sin
3
de Moivre’s Theorem.
3
π 2k π π 2k π
z = 2 cos + + i sin +
12 3 12 3
π π
k = 0, z = 2 cos + i sin
12 12
3π 3π
k = 1, z = 2 cos + i sin
4 4
7π −7π
k = −1, z = 2 cos − + i sin
12 12
π π 3π 3π
Therefore, z = 2 cos + i sin , 2 cos + i sin ,
12 12 4 4
7π −7π
2 cos − + i sin
12 12
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 10
2 e z4 + 2 3 i = 2
z4 = 2 − 2 3 i
r = 22 + ( −2 3)2 = 4 + 12 = 16 = 4
2 3 π
θ = − tan −1 =−
2 3
π π
So z 4 = 4 cos − + i sin −
3 3
π π
z 4 = 4 cos − + 2k π + i sin − + 2k π k ∈ℤ
3 3
1
π π 4
Hence, z = 4 cos − + 2k π + i sin − + 2k π
3 3
− π + 2k π − π3 + 2k π
1
z = 4 4 cos 3 + i sin de Moivre’s Theorem.
4 4
π kπ π k π
z = 2 cos − + + i sin − +
12 2 12 2
π π
k = 0, z = 2 cos − + i sin −
12 12
π 5π
k = 1, z = 2 cos + i sin
12 12
11π 11π
k = 1, z = 2 cos + i sin
12 12
7π 7π
k = −1, z = 2 cos − + i sin −
12 12
π π 5π 5π
Therefore, z = 2 cos − + i sin − , 2 cos + i sin ,
12 12 12 12
11π 11π 7π 7π
2 cos + i sin , 2 cos − + i sin −
12 12 12 12
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 11
2 f z 3 + 32 3 + 32i = 0
z 3 = −32 3 − 32i
5π 5π 7π 7π
Therefore, z = 4 cos − + isin − , 4 cos + isin ,
18 18 18 18
17π 17π
4 cos − + i sin −
18 18
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 12
3 a z 4 = 3 + 4i
r = 32 + 42 = 25 = 5
4
θ = tan −1 = 0.927295…
3
So z = 5e i(0.927295… )
4
z 4 = 5e i(0.927295… + 2 kπ ) , k ∈ ℤ
1
Hence, z = [5ei(0.927295… + 2 kπ) ]4
1 0.927295… + 2 kπ
i de Moivre’s Theorem.
=5 e 4 4
1 0.927295… kπ
i +
=5 e 4 4 2
1
k = 0, z = 5 ei(0.2318…)
4
1
k = 1, z = 5 ei(1.8026…)
4
1
k = −1, z = 5 4 ei( −1.3389…)
1
k = −2, z = 5 4 ei( −2.9097…)
1 1 1 1
Therefore, z = 5 4 e0.23i , 5 4 e1.80i , 5 4 e −1.34i , 5 4 e −2.91i
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 13
3 b z 3 = 11 + 4i
r = ( 11) 2 + (−4) 2 = 11 + 16 = 27
4
θ = − tan −1 = 0.878528…
11
So, z 3 = 27 ei( −0.878528…)
z 3 = 27 ei( − 0.878528… + 2 kπ ), k ∈ ℤ
1
i( − 0.878528… + 2 kπ ) 3
Hence, z = [ 270 e ]
de Moivre’s Theorem.
1 − 0.878528… + 2 kπ
i
= ( 27 ) e 3 3
− 0.878528… 2 kπ
i +
= 3e 3 3
k = 0, z = 3 ei( − 0.2928…)
k = 1, z = 3 ei(1.8015…)
k = −1, z = 3 ei( − 2.3872…)
− 0.29i
Therefore, z = 3 e , 3 e1.80i , 3 e−2.39i
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 14
3 c z 4 = − 7 + 3i
r = (− 7) 2 + 32 = 7 + 9 = 16 = 4
3
θ = π − tan −1 = 2.293530…
7
So, z 4 = 4e i(2.293530…)
z 4 = 4e i(2.293530…+ 2 k π ) , k ∈ ℤ
1
Hence, z = [4 ei(2.293530… + 2 kπ ) ]4
1 2.293530… + 2 kπ
i de Moivre’s Theorem.
= 44 e 4
2.293530… kπ
i +
= 2e 4 2
k = 0, z = 2 ei(0.5733…)
k = 1, z = 2 ei(2.1441…)
k = −1, z = 2 ei( − 0.9974… )
k = −2, z = 2 ei( − 2.5682…)
−1.00i
Therefore, z = 2 e , z = 2 e , z = 2 e
0.57i 2.14i
, z = 2 e−2.57i
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 15
4 a ( z + 1)3 = −1
1
Hence, z + 1 = [cos(π + 2k π ) + isin(π + 2k π )] 3
de Moivre’s Theorem.
π + 2k π π + 2k π
z + 1 = cos + isin
3 3
π 2k π π 2k π
z + 1 = cos + + isin +
3 3 3 3
π π 1 3
k = 0, z + 1 = cos + i sin = − + i
3 3 2 2
1 3
⇒z=− + i
2 2
k = 1, z + 1 = cosπ + i sinπ = −1 + 0i
⇒ z = −2
π π 1 3
k = −1, z + 1 = cos − + i sin − = − i
3 3 2 2
1 3
⇒z=− − i
2 2
1 3 1 3
Therefore, z = − + i, − 2, − − i
2 2 2 2
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 16
4 b
Hence the three points (the solutions for z), lie on a circle centre (–1, 0), radius 1.
5 a z5 −1 = 0
z5 = 1
For 1, r = 1 and θ = 0
So, z 5 = 1(cos 0 + i sin 0)
z 5 = cos(0 + 2 k π ) + i sin(0 + 2 k π ) k ∈ ℤ
1
Hence, z = [cos(2k π ) + i sin(2k π )] 5
2k π 2k π
z = cos + i sin de Moivre’s Theorem.
5 5
k = 0, z1 = cos 0 + i sin 0 = 1 + i(0) = 1
2π 2π
k = 1, z2 = cos + i sin
5 5
4π 4π
k = 2, z3 = cos + i sin
5 5
2π 2π
k = −1, z4 = cos − + i sin −
5 5
4π 4π
k = −2, z5 = cos − + i sin −
5 5
Therefore z = 1, cos
2π 2π 4π 4π
+ i sin , cos + i sin ,
5 5 5 5
2π 2π 4π 4π
cos − + i sin − , cos − + i sin −
5 5 5 5
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 17
5 b So, z1 + z2 + z3 + z4 + z5 = 0
2π 2π 4π 4π
1 + cos + i sin + cos + i sin
5 5 5 5
2π 2π 4π 4π
+ cos − + i sin − + cos − + i sin − =0
5 5 5 5
2π 2π 4π 4π
⇒ 1 + cos + i sin + cos + i sin
5 5 5 5
2π 2π 4π 4π
+ cos − i sin + cos − i sin =0
5 5 5 5
2π 4π
1 + 2 cos + 2 cos =0
5 5
2π 4π
2 cos + 2 cos = −1
5 5
2π 4π
2 cos + cos = −1
5 5
2π 4π 1
cos + cos = − (as required)
5 5 2
6 a −2 − 2 3i.
modulus = r ( − 2) 2 + ( − 2 3) 2 = 4 + 12 = 16 = 4
2 3 π 2π
argument = θ = 2π + tan −1 = −π + = −
2 3 3
2π
Therefore, r = 4, θ = −
3
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 18
2πi
−
6 b We have w = −2 − 2i 3 = 4e 3
we wish to solve
2πi
−
z + 2 + 2i 3 = 0 which is equivalent to solving z = −2 − 2i 3 = 4e
4 4 3
The solution has the form z = 4 4eiθ where the argument satisfies
2π
4θ = − + 2kπ for k ∈ ℤ hence the 4 distinct solutions have arguments given by
3
2πi πi πi 5πi
π kπ − −
θ = − + for k = −1, 0,1, 2, so θ = 2e 3 , 2e 6 , 2e 3 , 2e 6
6 2
7 ( ) ( )
We wish to solve z 4 = 2 1 − i 3 , to start off let w = 2 1 − i 3 then if we write w = reiθ then
r = 4 + 12 = 4
tan θ = − 3
πi
π −
So θ = − and hence w = 4e 3 now going back to the original equation we have
3
πi
− π
z 4 = 4e 3 so that z = 4 4eiθ where the argument must satisfy 4θ = − + 2kπ for k ∈ ℤ
3
π kπ
So θ = − + hence the 4 distinct roots are given by these values of θ for k = 0,1, 2, 3
12 2
7πi πi 5πi 11πi
− −
Hence θ = 2e 12
, 2e 12
, 2e , 2e 12 12
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 19
8 a Let z = 6 + i 2 then if we write z = reiθ then we have r = 6 + 2 = 2 2 and
πi
2 1 π
tan θ = = so that θ = so we have z = 2 2e 6
6 3 6
b We wish to solve
4
4
πi
2πi
ω = z = 2 2e = 64e 3
3 6
2π
If we write ω = reiθ then r = 3 64 = 4 and 3θ = + 2 kπ for k ∈ ℤ so that the distinct solutions
3
2π 2kπ
correspond to θ = + for k = 0,1, 2 , explicitly these are
9 3
2πi
2π 2π
ω = 4e 9 = 4 cos + 4i sin
9 9
8πi
8π 8π
ω = 4e 9 = 4 cos + 4i sin
9 9
−4πi
14πi
−4π −4π 4π 4π
ω = 4e 9 = 4e 9 = 4cos + 4i sin = 4 cos − 4i sin
9 9 9 9
Hence the equation is equivalent to z 8 = 1 whose solutions are the 8th roots of unity
2 kπi πi 3πi 5πi 7πi
z=e 8
for 0 ≤ k ≤ 7 so z = e ,i,e , −1,e , −i,e
4 4 4 4
z 8 − 1 = (1 − z ) (1 + z + z 2 + z 3 + z 4 + z 5 + z 6 + z 7 )
And since (1 − z ) is not a factor of z 2 + 1 it must be the case that z 2 + 1 is a factor of
1 + z + z2 + z3 + z4 + z5 + z6 + z7
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 20
Challenge
2kπ
a We wish to solve z 6 = 1 , writing z = eiθ implies we must have θ = for k ∈ ℤ hence the 6
6
distinct solutions in the range −π < θ ≤ π are given by
2πi πi πi 2πi
− −
z=e 3
,e 3
,1,e 3 ,e 3 , −1
z6
=1
( z + 1)
6
6
z
=1
z +1
kπi
z
Hence = e 3 for some 1 ≤ k ≤ 6 further rearranging gives
z +1
kπi
z = ( z + 1) e 3
kπi
kπ i
1 − e 3
z = e 3
So
−
kπi
k3πi −
kπi
k3πi
kπi
1 − e 3
e 1 − e 3
e kπi
e 3
e 3 −1
z= = = =
kπi
kπi
−
kπi
kπ
2
2 kπ −
kπ
1− e 3 1 − e 3
1 − e 3
1 − cos + sin 2 2 cos
3
3 3
kπ kπ kπ
cos − 1 + i sin sin
= 3 3 = −1 +i 3
kπ 2 2 − 2 cos kπ
2 − 2 cos
3 3
© Pearson Education Ltd 2018. Copying permitted for purchasing institution only. This material is not copyright free. 21