Download You can use complex numbers to represent a locus

Document related concepts

Large numbers wikipedia , lookup

Addition wikipedia , lookup

Mathematics of radio engineering wikipedia , lookup

Elementary mathematics wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Transcript
Introduction
β€’ This chapter extends on what you have learnt in FP1
β€’ You will learn how to find the complex roots of numbers
β€’ You will learn how to use De Moivre’s theorem in solving
equations
β€’ You will see how to plot the loci of points following a rule on an
Argand diagram
β€’ You will see how to solve problems involving transforming a set
of values in one plane into another plane
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
Further complex numbers
y
You can express a complex number
in the form z = r(cosΞΈ + isinΞΈ)
z (x,y)
r
You should hopefully remember the
modulus-argument form of a complex
number z = x + iy from FP1
The value r is the modulus of the
complex number, its distance from
the origin (0,0)
The argument is the angle the
complex number makes with the
positive x-axis, where:
-Ο€ < ΞΈ ≀ Ο€
To show this visually…
y
ΞΈ
x
x
r is the modulus of z, its
absolute value
οƒ  This can be calculated using
Pythagoras’ Theorem
π‘Ÿ= 𝑧 =
By GCSE trigonometry, length
x = rcosΞΈ and length y = rsinΞΈ
π‘₯ = π‘Ÿπ‘π‘œπ‘ πœƒ
𝑦 = π‘Ÿπ‘ π‘–π‘›πœƒ
π‘₯2 + 𝑦2
𝑧 = π‘₯ + 𝑖𝑦
𝑧 = π‘Ÿπ‘π‘œπ‘ πœƒ + π‘–π‘Ÿπ‘ π‘–π‘›πœƒ
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
Replace x and y using
the values above
Factorise by
taking out r
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
Further complex numbers
y
You can express a complex number
in the form z = r(cosΞΈ + isinΞΈ)
Express the following complex
number in the modulus-argument
form:
To do this you need to find both the
argument and the modulus of the
complex number
οƒ  Start by sketching it on an Argand
diagram
𝑧 = 2 π‘π‘œπ‘ 
5πœ‹
5πœ‹
+ 𝑖𝑠𝑖𝑛
6
6
This is the
argument
1
r
ΞΈ
x
√3
οƒ  The β€˜y’ part is positive so will
go upwards
z = -√3 + i
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
Pay attention to the directions
οƒ  The β€˜x’ part is negative so
will go in the negative
direction horizontally
Replace r
and ΞΈ
οƒ  Once sketched you can then find the modulus and
argument using GCSE Pythagoras and Trigonometry
π‘Ÿ=
3
2
+ (1)2
π‘‡π‘Žπ‘›πœƒ =
Calculate
π‘Ÿ=2
πœƒ=
Remember that the
argument is
measured from the
positive x-axis!
arg 𝑧 =
1
3
πœ‹
6
5πœ‹
6
Inverse
Tan
Subtract
from Ο€
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
Further complex numbers
You can express a complex number
in the form z = r(cosΞΈ + isinΞΈ)
Express the following complex
number in the modulus-argument
form:
z = -√3 + i
𝑧 = 2 π‘π‘œπ‘ 
5πœ‹
5πœ‹
+ 𝑖𝑠𝑖𝑛
6
6
Remember that the argument is not unique
οƒ  We could add 2Ο€ to them and the result would be
the same, because 2Ο€ radians is a complete turn
To do this you need to find both the
argument and the modulus of the
complex number
οƒ  Start by sketching it on an Argand
diagram
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
Further complex numbers
y
You can express a complex number
in the form z = r(cosΞΈ + isinΞΈ)
Express the following complex
number in the modulus-argument
form:
To do this you need to find both the
argument and the modulus of the
complex number
οƒ  Start by sketching it on an Argand
diagram
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛 βˆ’
4
4
1
ΞΈ
r
οƒ  The β€˜y’ part is negative so will
go downwards
z=1-i
𝑧 = 2 π‘π‘œπ‘  βˆ’
Pay attention to the directions
οƒ  The β€˜x’ part is positive so will
go in the positive direction
horizontally
Replace r
and ΞΈ
x
1
οƒ  Once sketched you can then find the modulus and
argument using GCSE Pythagoras and Trigonometry
π‘Ÿ=
1
π‘Ÿ= 2
2
+ (1)2
π‘‡π‘Žπ‘›πœƒ =
Calculate
1
1
πœƒ=
Inverse
Tan
πœ‹
4
arg 𝑧 = βˆ’
πœ‹
4
Negative as
below the
x-axis
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
Further complex numbers
You can express a complex number
in the form z = reiΞΈ
In chapter 6 you will meet series
expansions of cosΞΈ and sinΞΈ
This can be used to prove the
following result (which we will do
when we come to chapter 6)
If z = x + iy then the complex number
can also be written in this way:
z = reiΞΈ
As before, r is the modulus of the
complex number and ΞΈ is the
argument
οƒ  This form is known as the
β€˜exponential form’
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
Further complex numbers
y
You can express a complex number
in the form z = reiΞΈ
Express the following complex
number in the form reiΞΈ, where
-Ο€ < ΞΈ ≀ Ο€
z = 2 – 3i
As with the modulus-argument form,
you should start by sketching an
Argand diagram and use it to find r
and ΞΈ
Pay attention to the directions
οƒ  The β€˜x’ part is positive so will
go in the positive direction
horizontally
οƒ  The β€˜y’ part is negative so will
go downwards
π‘Ÿ=
2
π‘Ÿ = 13
𝑧 = 13𝑒
βˆ’0.98𝑖
Replace r
and ΞΈ
r
x
3
οƒ  Once sketched you can then find the modulus and
argument using GCSE Pythagoras and Trigonometry
2
+ (3)2
π‘‡π‘Žπ‘›πœƒ =
Calculate
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
2
ΞΈ
3
2
πœƒ = 0.98
arg 𝑧 = βˆ’0.98
Inverse
Tan
Negative as
below the
x-axis
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
π‘π‘œπ‘  βˆ’πœƒ = π‘π‘œπ‘ πœƒ
𝑠𝑖𝑛 βˆ’πœƒ = βˆ’π‘ π‘–π‘›πœƒ
Further complex numbers
y
You can express a complex number
in the form z = reiΞΈ
In Core 2, you will have seen the
following:
cos(-ΞΈ) = cosΞΈ
y = cosΞΈ
1
-360º
-270º
-ΞΈ
-180º
0
-90º -ΞΈ
ΞΈ
ΞΈ
90º
180º
270º
ΞΈ
-1
You can see that cos(-ΞΈ) = cosΞΈ anywhere on the graph
y
sin(-ΞΈ) = -sinΞΈ
y = sinΞΈ
1
-ΞΈ
-360º
-270º
-180º
-90º
0
ΞΈ 90º
180º
270º
ΞΈ
-1
You can see that sin(-ΞΈ) = -sinΞΈ anywhere on the graph
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
π‘π‘œπ‘  βˆ’πœƒ = π‘π‘œπ‘ πœƒ
𝑠𝑖𝑛 βˆ’πœƒ = βˆ’π‘ π‘–π‘›πœƒ
Further complex numbers
You can express a complex number
in the form z = reiΞΈ
Express the following in the form
z = reiΞΈ where –π < ΞΈ ≀ Ο€
𝑧 = 2 π‘π‘œπ‘ 
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
10
10
𝑧 = 2 π‘π‘œπ‘ 
You can see
from the form
that r = √2
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
10
10
You can see
from the form
that ΞΈ = Ο€/10
πœƒ=
π‘Ÿ= 2
πœ‹
10
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
𝑧=
πœ‹
2𝑒 10𝑖
Replace r and ΞΈ
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
π‘π‘œπ‘  βˆ’πœƒ = π‘π‘œπ‘ πœƒ
𝑠𝑖𝑛 βˆ’πœƒ = βˆ’π‘ π‘–π‘›πœƒ
Further complex numbers
You can express a complex number
in the form z = reiΞΈ
𝑧 = 5 π‘π‘œπ‘ 
πœ‹
πœ‹
βˆ’ 𝑖𝑠𝑖𝑛
8
8
Express the following in the form
z = reiΞΈ where –π < ΞΈ ≀ Ο€
𝑧 = 5 π‘π‘œπ‘ 
πœ‹
πœ‹
βˆ’ 𝑖𝑠𝑖𝑛
8
8
We need to adjust this first
οƒ  The sign in the centre is negative, we need it to
be positive for the β€˜rules’ to work
οƒ  We also need both angles to be identical. In this
case we can apply the rules we saw a moment ago…
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
π‘π‘œπ‘  βˆ’πœƒ = π‘π‘œπ‘ πœƒ
𝑠𝑖𝑛 βˆ’πœƒ = βˆ’π‘ π‘–π‘›πœƒ
Further complex numbers
You can express a complex number
in the form z = reiΞΈ
Express the following in the form
z = reiΞΈ where –π < ΞΈ ≀ Ο€
𝑧 = 5 π‘π‘œπ‘ 
𝑧 = 5 π‘π‘œπ‘ 
πœ‹
πœ‹
βˆ’ 𝑖𝑠𝑖𝑛
8
8
𝑧 = 5 π‘π‘œπ‘  βˆ’
Apply cosΞΈ = cos(-ΞΈ)
Apply sin(-ΞΈ) = -sin(ΞΈ)
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛 βˆ’
8
8
πœ‹
πœ‹
βˆ’ 𝑖𝑠𝑖𝑛
8
8
You can see
You can see
from the form from the form
that r = 5
that ΞΈ = -Ο€/8
π‘Ÿ=5
πœƒ=βˆ’
πœ‹
8
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
𝑧=
πœ‹
βˆ’ 𝑖
5𝑒 8
Replace r and ΞΈ
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
π‘π‘œπ‘  βˆ’πœƒ = π‘π‘œπ‘ πœƒ
𝑠𝑖𝑛 βˆ’πœƒ = βˆ’π‘ π‘–π‘›πœƒ
Further complex numbers
You can express a complex number
in the form z = reiΞΈ
Express the following in the form
z = x + iy where π‘₯ ∈ ℝ and 𝑦 ∈ ℝ
𝑧=
3πœ‹
2𝑒 4 𝑖
𝑧=
3πœ‹
2𝑒 4 𝑖
You can see
from the form
that r = √2
You can see
from the form
that ΞΈ = 3Ο€/4
π‘Ÿ= 2
πœƒ=
3πœ‹
4
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
This means that x and
y have to be real
numbers (ie not
complex)
Replace r and ΞΈ
𝑧 = 2 π‘π‘œπ‘ 
3πœ‹
3πœ‹
+ 𝑖𝑠𝑖𝑛
4
4
You can calculate all of
this! Leave the second part
in terms of i
𝑧 = βˆ’1 + 𝑖
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
π‘π‘œπ‘  βˆ’πœƒ = π‘π‘œπ‘ πœƒ
𝑠𝑖𝑛 βˆ’πœƒ = βˆ’π‘ π‘–π‘›πœƒ
Further complex numbers
You can express a complex number
in the form z = reiΞΈ
Express the following in the form
r(cosΞΈ + isinΞΈ), where –π < ΞΈ ≀ Ο€
𝑧=
23πœ‹
2𝑒 5 𝑖
𝑧=
23πœ‹
2𝑒 5 𝑖
You can see
from the form
that r = 2
π‘Ÿ=2
You can see
from the form
that ΞΈ = 23Ο€/5
πœƒ=
23πœ‹
5
πœƒ=
13πœ‹
5
πœƒ=
3πœ‹
5
The value of ΞΈ is not
in the range we want.
We can keep
subtracting 2Ο€ until
it is!
Subtract
2Ο€
Subtract
2Ο€
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
Replace r and ΞΈ
𝑧 = 2 π‘π‘œπ‘ 
3πœ‹
3πœ‹
+ 𝑖𝑠𝑖𝑛
5
5
3A
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 = π‘Ÿπ‘’ π‘–πœƒ
𝑠𝑖𝑛 βˆ’πœƒ = βˆ’π‘ π‘–π‘›πœƒ
π‘π‘œπ‘  βˆ’πœƒ = π‘π‘œπ‘ πœƒ
Further complex numbers
You can express a complex number
in the form z = reiΞΈ
𝑒 π‘–πœƒ = π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑒
Use:
𝑒
π‘–πœƒ
π‘π‘œπ‘ πœƒ =
1 π‘–πœƒ
𝑒 + 𝑒 βˆ’π‘–πœƒ
2
= π‘π‘œπ‘  βˆ’πœƒ + 𝑖𝑠𝑖𝑛 βˆ’πœƒ
𝑒 βˆ’π‘–πœƒ = π‘π‘œπ‘ πœƒ βˆ’ π‘–π‘ π‘–π‘›πœƒ
= π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
To show that:
𝑖(βˆ’πœƒ)
1)
𝑒 π‘–πœƒ = π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
2)
𝑒 βˆ’π‘–πœƒ = π‘π‘œπ‘ πœƒ βˆ’ π‘–π‘ π‘–π‘›πœƒ
Let ΞΈ = -ΞΈ
Use the relationships
above to rewrite
Add 1 and 2
𝑒 βˆ’π‘–πœƒ + 𝑒 π‘–πœƒ = 2π‘π‘œπ‘ πœƒ
1 βˆ’π‘–πœƒ
𝑒
+ 𝑒 π‘–πœƒ = π‘π‘œπ‘ πœƒ
2
Divide by 2
3A
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
Further complex numbers
You need to know how multiplying and
dividing affects both the modulus and
argument of the resulting complex
number
To be able to do this you need to be
able to use the identities for sine and
cosine of two angles added or
subtracted – you will have seen these in
Core 3
𝑠𝑖𝑛 πœƒ1 ± πœƒ2 = π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 ± π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2
π‘π‘œπ‘  πœƒ1 ± πœƒ2 = π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ“ π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
π‘π‘œπ‘  2 πœƒ + 𝑠𝑖𝑛2 πœƒ = 1
Multiplying a complex number z1 by another complex
number z2, both in the modulus-argument form
𝑧1 = π‘Ÿ1 π‘π‘œπ‘ πœƒ1 + π‘–π‘ π‘–π‘›πœƒ1
𝑧2 = π‘Ÿ2 π‘π‘œπ‘ πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘π‘œπ‘ πœƒ1 + π‘–π‘ π‘–π‘›πœƒ1 × π‘Ÿ2 π‘π‘œπ‘ πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2
Rewrite
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘ πœƒ1 + π‘–π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2
Now you can expand the double bracket as you would with a quadratic
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 + π‘–π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2 + π‘–π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 + 𝑖 2 π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 + π‘–π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2 + π‘–π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ’ π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
Group terms using the identities to the left
οƒ  You can also factorise the β€˜i’ out
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
So when multiplying two complex numbers in the modulusargument form:
οƒ  Multiply the moduli
οƒ  Add the arguments together
οƒ  The form of the answer is the same
3B
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 𝑖(πœƒ1 +πœƒ2 )
Further complex numbers
You need to know how multiplying and
dividing affects both the modulus and
argument of the resulting complex
number
Multiplying a complex number z1 by another complex
number z2, both in the exponential form
To be able to do this you need to be
able to use the identities for sine and
cosine of two angles added or
subtracted – you will have seen these in
Core 3
𝑧1 𝑧2 =
𝑧1 = π‘Ÿ1 𝑒 π‘–πœƒ1
π‘Ÿ1 𝑒 π‘–πœƒ1
π‘Ÿ2 𝑒 π‘–πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 π‘–πœƒ1 +π‘–πœƒ2
𝑧2 = π‘Ÿ2 𝑒 π‘–πœƒ2
Rewrite
οƒ  Remember you add the
powers in this situation
You can factorise the
power
𝑠𝑖𝑛 πœƒ1 ± πœƒ2 = π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 ± π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 𝑖(πœƒ1 +πœƒ2)
π‘π‘œπ‘  πœƒ1 ± πœƒ2 = π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ“ π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
You can see that in this form the process is
essentially the same as for the modulus-argument
form:
π‘π‘œπ‘  2 πœƒ + 𝑠𝑖𝑛2 πœƒ = 1
οƒ  Multiply the moduli together
οƒ  Add the arguments together
οƒ  The answer is in the same form
3B
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 𝑖(πœƒ1 +πœƒ2 )
𝑧1
π‘Ÿ1
=
π‘π‘œπ‘  πœƒ1 βˆ’ πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 βˆ’ πœƒ2
𝑧2
π‘Ÿ2
Further complex numbers
You need to know how multiplying and
dividing affects both the modulus and
argument of the resulting complex
number
To be able to do this you need to be
able to use the identities for sine and
cosine of two angles added or
subtracted – you will have seen these in
Core 3
𝑠𝑖𝑛 πœƒ1 ± πœƒ2 = π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 ± π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2
π‘π‘œπ‘  πœƒ1 ± πœƒ2 = π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ“ π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
2
2
π‘π‘œπ‘  πœƒ + 𝑠𝑖𝑛 πœƒ = 1
So when dividing two complex numbers in
the modulus-argument form:
οƒ  Divide the moduli
οƒ  Subtract the arguments
οƒ  The form of the answer is the same
Dividing a complex number z1 by another complex
number z2, both in the modulus-argument form
𝑧1 = π‘Ÿ1 π‘π‘œπ‘ πœƒ1 + π‘–π‘ π‘–π‘›πœƒ1
𝑧2 = π‘Ÿ2 π‘π‘œπ‘ πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2
π‘Ÿ1 π‘π‘œπ‘ πœƒ1 + π‘–π‘ π‘–π‘›πœƒ1
𝑧1
=
π‘Ÿ2 π‘π‘œπ‘ πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2
𝑧2
π‘π‘œπ‘ πœƒ2 βˆ’ π‘–π‘ π‘–π‘›πœƒ2
π‘Ÿ1 π‘π‘œπ‘ πœƒ1 + π‘–π‘ π‘–π‘›πœƒ1
𝑧1
×
=
π‘π‘œπ‘ πœƒ2 βˆ’ π‘–π‘ π‘–π‘›πœƒ2
π‘Ÿ2 π‘π‘œπ‘ πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2
𝑧2
Multiply to cancel terms
on the denominator
𝑧1
π‘Ÿ1 π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ’ π‘–π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2 + π‘–π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ’ 𝑖 2 π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
=
𝑧2
π‘Ÿ2 π‘π‘œπ‘ πœƒ2 π‘π‘œπ‘ πœƒ2 βˆ’ π‘–π‘π‘œπ‘ πœƒ2 π‘ π‘–π‘›πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2 π‘π‘œπ‘ πœƒ2 βˆ’ 𝑖 2 π‘ π‘–π‘›πœƒ2 π‘ π‘–π‘›πœƒ2
𝑧1
π‘Ÿ1 π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ’ π‘–π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2 + π‘–π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 + π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
=
𝑧2
π‘Ÿ2 π‘π‘œπ‘ πœƒ2 π‘π‘œπ‘ πœƒ2 βˆ’ π‘–π‘π‘œπ‘ πœƒ2 π‘ π‘–π‘›πœƒ2 + π‘–π‘ π‘–π‘›πœƒ2 π‘π‘œπ‘ πœƒ2 + π‘ π‘–π‘›πœƒ2 π‘ π‘–π‘›πœƒ2
π‘Ÿ1 π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 + π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2 + 𝑖 π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ’ π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2
𝑧1
=
π‘Ÿ2 π‘π‘œπ‘  2 πœƒ2 + 𝑠𝑖𝑛2 πœƒ2
𝑧2
π‘Ÿ1 π‘π‘œπ‘  πœƒ1 βˆ’ πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 βˆ’ πœƒ2
𝑧1
=
π‘Ÿ2
𝑧2
𝑧1
π‘Ÿ1
=
π‘π‘œπ‘  πœƒ1 βˆ’ πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 βˆ’ πœƒ2
𝑧2
π‘Ÿ2
Multiply
out
Remove
i2
Group
real and
complex
Rewrite
terms
Rewrite
(again!)
3B
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 𝑖(πœƒ1 +πœƒ2 )
𝑧1
π‘Ÿ1
=
π‘π‘œπ‘  πœƒ1 βˆ’ πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 βˆ’ πœƒ2
𝑧2
π‘Ÿ2
𝑧1
π‘Ÿ1
= 𝑒 𝑖(πœƒ1 βˆ’πœƒ2 )
𝑧2
π‘Ÿ2
Further complex numbers
You need to know how multiplying and
dividing affects both the modulus and
argument of the resulting complex
number
To be able to do this you need to be
able to use the identities for sine and
cosine of two angles added or
subtracted – you will have seen these in
Core 3
𝑠𝑖𝑛 πœƒ1 ± πœƒ2 = π‘ π‘–π‘›πœƒ1 π‘π‘œπ‘ πœƒ2 ± π‘π‘œπ‘ πœƒ1 π‘ π‘–π‘›πœƒ2
π‘π‘œπ‘  πœƒ1 ± πœƒ2 = π‘π‘œπ‘ πœƒ1 π‘π‘œπ‘ πœƒ2 βˆ“ π‘ π‘–π‘›πœƒ1 π‘ π‘–π‘›πœƒ2
2
2
π‘π‘œπ‘  πœƒ + 𝑠𝑖𝑛 πœƒ = 1
Dividing a complex number z1 by another complex
number z2, both in the exponential form
𝑧1 = π‘Ÿ1 𝑒 π‘–πœƒ1
π‘Ÿ1 𝑒 π‘–πœƒ1
𝑧1
=
𝑧2
π‘Ÿ2 𝑒 π‘–πœƒ2
π‘Ÿ1
𝑧1
= 𝑒 π‘–πœƒ1 𝑒 βˆ’π‘–πœƒ2
𝑧2 π‘Ÿ2
π‘Ÿ1
𝑧1
= 𝑒 π‘–πœƒ1 βˆ’π‘–πœƒ2
𝑧2 π‘Ÿ2
π‘Ÿ1
𝑧1
= 𝑒 𝑖(πœƒ1βˆ’πœƒ2)
𝑧2 π‘Ÿ2
𝑧2 = π‘Ÿ2 𝑒 π‘–πœƒ2
Rewrite terms
οƒ  The denominator can be
written with a negative power
Multiplying so add the powers
Factorise the power
You can see that in this form the process is essentially the
same as for the modulus-argument form:
οƒ  Divide the moduli
οƒ  Subtract the arguments
οƒ  The answer is in the same form
3B
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
𝑧1
π‘Ÿ1
=
π‘π‘œπ‘  πœƒ1 βˆ’ πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 βˆ’ πœƒ2
𝑧2
π‘Ÿ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 𝑖(πœƒ1 +πœƒ2 )
𝑧1
π‘Ÿ1
= 𝑒 𝑖(πœƒ1 βˆ’πœƒ2 )
𝑧2
π‘Ÿ2
Further complex numbers
You need to know how multiplying and
dividing affects both the modulus and
argument of the resulting complex
number
3 π‘π‘œπ‘ 
5πœ‹
5πœ‹
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
× 4 π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛
12
12
12
12
3(4) π‘π‘œπ‘ 
Express the following calculation in the
form x + iy:
3 π‘π‘œπ‘ 
5πœ‹
5πœ‹
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
× 4 π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛
12
12
12
12
12 π‘π‘œπ‘ 
5πœ‹ πœ‹
5πœ‹ πœ‹
+
+ 𝑖𝑠𝑖𝑛
+
12 12
12 12
Combine using one of
the rules above
οƒ  Multiply the moduli
οƒ  Add the arguments
Simplify
terms
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
2
2
Calculate the cos and sin parts (in
terms of i where needed)
12 0 + 𝑖(1)
Multiply out
= 12𝑖
3B
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 𝑖(πœƒ1 +πœƒ2 )
𝑧1
π‘Ÿ1
=
π‘π‘œπ‘  πœƒ1 βˆ’ πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 βˆ’ πœƒ2
𝑧2
π‘Ÿ2
𝑧1
π‘Ÿ1
= 𝑒 𝑖(πœƒ1 βˆ’πœƒ2 )
𝑧2
π‘Ÿ2
Further complex numbers
You need to know how multiplying and
dividing affects both the modulus and
argument of the resulting complex
number
Express the following calculation in the
form x + iy:
2 π‘π‘œπ‘ 
2 π‘π‘œπ‘ 
πœ‹
πœ‹
2πœ‹
2πœ‹
+ 𝑖𝑠𝑖𝑛
× 3 π‘π‘œπ‘ 
βˆ’ 𝑖𝑠𝑖𝑛
15
15
5
5
2 π‘π‘œπ‘ 
πœ‹
πœ‹
2πœ‹
2πœ‹
+ 𝑖𝑠𝑖𝑛
× 3 π‘π‘œπ‘  βˆ’
+ 𝑖𝑠𝑖𝑛 βˆ’
15
15
5
5
2(3) π‘π‘œπ‘ 
πœ‹
πœ‹
2πœ‹
2πœ‹
+ 𝑖𝑠𝑖𝑛
× 3 π‘π‘œπ‘ 
βˆ’ 𝑖𝑠𝑖𝑛
15
15
5
5
Combine using a
rule from above
πœ‹ 2πœ‹
πœ‹ 2πœ‹
βˆ’
+ 𝑖𝑠𝑖𝑛
βˆ’
15 5
15
5
Simplify
6 π‘π‘œπ‘  βˆ’
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛 βˆ’
3
3
cos(-ΞΈ) = cosΞΈ
sin(-ΞΈ) = -sinΞΈ
The cos and sin
terms must be added
for this to work!
οƒ  Rewrite using the
rules you saw in 3A
6
1
3
+𝑖 βˆ’
2
2
Calculate the cos and
sin parts
Multiply out
= 3 βˆ’ 3 3𝑖
3B
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 π‘π‘œπ‘  πœƒ1 + πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 + πœƒ2
𝑧1 𝑧2 = π‘Ÿ1 π‘Ÿ2 𝑒 𝑖(πœƒ1 +πœƒ2 )
𝑧1
π‘Ÿ1
=
π‘π‘œπ‘  πœƒ1 βˆ’ πœƒ2 + 𝑖𝑠𝑖𝑛 πœƒ1 βˆ’ πœƒ2
𝑧2
π‘Ÿ2
𝑧1
π‘Ÿ1
= 𝑒 𝑖(πœƒ1 βˆ’πœƒ2 )
𝑧2
π‘Ÿ2
Further complex numbers
You need to know how multiplying and
dividing affects both the modulus and
argument of the resulting complex
number
Express the following calculation in the
form x + iy:
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
12
12
5πœ‹
5πœ‹
2 π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛
6
6
2 π‘π‘œπ‘ 
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
12
12
5πœ‹
5πœ‹
2 π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛
6
6
2 π‘π‘œπ‘ 
Combine using one of the
rules above
οƒ  Divide the moduli
οƒ  Subtract the arguments
πœ‹ 5πœ‹
πœ‹ 5πœ‹
2
π‘π‘œπ‘ 
βˆ’
+ 𝑖𝑠𝑖𝑛
βˆ’
12 6
12 6
2
Simplify
3πœ‹
3πœ‹
2
π‘π‘œπ‘  βˆ’
+ 𝑖𝑠𝑖𝑛 βˆ’
4
4
2
You can work out the
sin and cos parts
1
1
2
βˆ’
+𝑖 βˆ’
2
2
2
Multiply out
1 1
=βˆ’ βˆ’ 𝑖
2 2
3B
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
Let:
z = r(cosΞΈ + isinΞΈ)
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 2 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
1
2
= π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
= π‘Ÿ 2 (π‘π‘œπ‘ 2πœƒ + 𝑖𝑠𝑖𝑛2πœƒ)
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧2 = 𝑧 × π‘§
𝑧 2 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ) × π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
2
𝑧 = π‘Ÿ (π‘π‘œπ‘ 2πœƒ + 𝑖𝑠𝑖𝑛2πœƒ)
3
= π‘Ÿ 3 (π‘π‘œπ‘ 3πœƒ + 𝑖𝑠𝑖𝑛3πœƒ)
𝑧 4 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
4
= π‘Ÿ 4 (π‘π‘œπ‘ 4πœƒ + 𝑖𝑠𝑖𝑛4πœƒ)
𝑛
𝑧 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
𝑛
= π‘Ÿ (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
𝑧 3 = π‘Ÿ 2 (π‘π‘œπ‘ 2πœƒ + 𝑖𝑠𝑖𝑛2πœƒ) × π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
3
𝑧 = π‘Ÿ (π‘π‘œπ‘ 3πœƒ + 𝑖𝑠𝑖𝑛3πœƒ)
𝑧4 = 𝑧3 × π‘§
𝑧 4 = π‘Ÿ 3 (π‘π‘œπ‘ 3πœƒ + 𝑖𝑠𝑖𝑛3πœƒ) × π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑧 4 = π‘Ÿ 4 (π‘π‘œπ‘ 4πœƒ + 𝑖𝑠𝑖𝑛4πœƒ)
This is De Moivre’s Theorem
οƒ  You need to be able to prove this
Multiply the moduli,
add the arguments
𝑧3 = 𝑧2 × π‘§
3
𝑧 3 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
2
Use the modulusargument form
Use the modulusargument form
Multiply the moduli,
add the arguments
Use the modulusargument form
Multiply the moduli,
add the arguments
De Moivre = β€˜De Mwavre’ (pronunciation)
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
De Moivre’s theorem can be proved
using the method of proof by induction
from FP1
Basis – show the statement is true for
n=1
Assumption – assume the statement is
true for n = k
Inductive – show that if true for n = k,
then the statement is also true for n =
k+1
Conclusion – because the statement is
true for n = 1 and also true if any value
is, then the statement is true for all
values of n
Proving that:
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
is true for all positive integers
BASIS
οƒ  Show that the statement is true for n = 1
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
1
= π‘Ÿ1 π‘π‘œπ‘ 1πœƒ + 𝑖𝑠𝑖𝑛1πœƒ
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
Sub in
n=1
Simplify
each side
ASSUMPTION
οƒ  Assume that the statement is true for n = k
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘˜
= π‘Ÿ π‘˜ π‘π‘œπ‘ π‘˜πœƒ + π‘–π‘ π‘–π‘›π‘˜πœƒ
Replace n
with k
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
De Moivre’s theorem can be proved
using the method of proof by induction
from FP1
Basis – show the statement is true for
n=1
Assumption – assume the statement is
true for n = k
Inductive – show that if true for n = k,
then the statement is also true for n =
k+1
Conclusion – because the statement is
true for n = 1 and also true if any value
is, then the statement is true for all
values of n
Proving that:
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
is true for all positive integers
INDUCTIVE
οƒ  Show that if true for n = k, the statement is also
true for n = k + 1
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑛
Sub in n = k + 1
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘˜+1
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘˜
× π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
You can write this as
two separate parts as
the powers are added
together
1
= π‘Ÿ π‘˜ π‘π‘œπ‘ π‘˜πœƒ + π‘–π‘ π‘–π‘›π‘˜πœƒ × π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
= π‘Ÿ π‘˜+1 cos(π‘˜ + 1)πœƒ + 𝑖𝑠𝑖𝑛(π‘˜ + 1)πœƒ
We can rewrite the first
part based on the
assumption step, and the
second based on the
basis step
Using the multiplication
rules from 3B
οƒ  Multiply the moduli,
add the arguments
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
De Moivre’s theorem can be proved
using the method of proof by induction
from FP1
Basis – show the statement is true for
n=1
Proving that:
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
is true for all positive integers
CONCLUSION
οƒ  Explain why this shows it is true…
οƒ  We showed the statement is true for n = 1
We then assumed the following:
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘˜
= π‘Ÿ π‘˜ π‘π‘œπ‘ π‘˜πœƒ + π‘–π‘ π‘–π‘›π‘˜πœƒ
Assumption – assume the statement is
true for n = k
Using the assumption, we showed that:
Inductive – show that if true for n = k,
then the statement is also true for n =
k+1
As all the β€˜k’ terms have become β€˜k + 1’ terms, if the statement
is true for one term, it must be true for the next, and so on…
Conclusion – because the statement is
true for n = 1 and also true if any value
is, then the statement is true for all
values of n
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘˜+1
= π‘Ÿ π‘˜+1 cos π‘˜ + 1 πœƒ + 𝑖𝑠𝑖𝑛(π‘˜ + 1)πœƒ
οƒ  The statement was true for 1, so must be true for 2, and
therefore 3, and so on…
οƒ  We have therefore proven the statement for all positive
integers!
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
=
We have just proved the theorem for
n = k where k is a positive integer
=
οƒ  Now we need to show it is also
true for any negative integer…
=
1
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
βˆ’π‘š
Write using a positive
power instead
π‘š
π‘Ÿπ‘š
1
π‘π‘œπ‘ π‘šπœƒ + π‘–π‘ π‘–π‘›π‘šπœƒ
π‘Ÿπ‘š
1
π‘π‘œπ‘ π‘šπœƒ βˆ’ π‘–π‘ π‘–π‘›π‘šπœƒ
×
π‘π‘œπ‘ π‘šπœƒ + π‘–π‘ π‘–π‘›π‘šπœƒ
π‘π‘œπ‘ π‘šπœƒ βˆ’ π‘–π‘ π‘–π‘›π‘šπœƒ
π‘π‘œπ‘ π‘šπœƒ βˆ’ π‘–π‘ π‘–π‘›π‘šπœƒ
οƒ  If n is a negative integer, it can be =
π‘Ÿ π‘š π‘π‘œπ‘  2 π‘šπœƒ βˆ’ 𝑖 2 𝑠𝑖𝑛2 π‘šπœƒ
written as β€˜-m’, where m is a
positive integer
π‘π‘œπ‘ π‘šπœƒ βˆ’ π‘–π‘ π‘–π‘›π‘šπœƒ
= π‘š
You can see that
π‘Ÿ π‘π‘œπ‘  2 π‘šπœƒ + 𝑠𝑖𝑛2 π‘šπœƒ
the answer has
followed the same
pattern as De
Moivre’s theorem!
=
Use De Moivre’s theorem for a positive
number (which we have proved)
1
π‘Ÿπ‘š
Multiply to change
some terms in the
fraction
Multiply out like
quadratics – the bottom
is the difference of two
squares
i2 = -1
You can cancel the
denominator as it is equal to 1
π‘π‘œπ‘ π‘šπœƒ βˆ’ π‘–π‘ π‘–π‘›π‘šπœƒ
= π‘Ÿ βˆ’π‘š cos βˆ’π‘šπœƒ + 𝑖𝑠𝑖𝑛(βˆ’π‘šπœƒ)
Use cos(-ΞΈ) = cos(ΞΈ)
and sin(-ΞΈ) = -sinΞΈ
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
Having now proved that De Moivre’s
theorem works for both positive and
negative integers, there is only one
left
οƒ  We need to prove it is true for 0!
οƒ  This is straightforward. As it is
just a single value, we can
substitute it in to see what
happens…
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑛
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
0
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
Sub in n = 0
= π‘Ÿ 0 π‘π‘œπ‘ 0 + 𝑖𝑠𝑖𝑛0
1 = 1(1 + 0)
Left side = 1 as anything to
the power 0 is 1
οƒ  You can find cos0 and
sin 0 as well
β€˜Calculate’
1= 1
So we have shown that De Moivre’s Theorem is true for
all positive integers, all negative integers and 0’
οƒ  It is therefore true for all integers!
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
𝑧 𝑛 = π‘Ÿπ‘’ π‘–πœƒ
𝑛
= π‘Ÿ 𝑛 𝑒 π‘–π‘›πœƒ
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
It is important to note that De
Moivre’s theorem can also be used in
exponential form.
π‘Ÿπ‘’ π‘–πœƒ
𝑛
= π‘Ÿ 𝑛 𝑒 π‘–π‘›πœƒ
Both parts will be raised to
the power β€˜n’
You can remove the bracket!
= π‘Ÿ 𝑛 𝑒 π‘–π‘›πœƒ
This is De Moivre’s theorem in exponential form!
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
𝑧 𝑛 = π‘Ÿπ‘’ π‘–πœƒ
𝑛
= π‘Ÿ 𝑛 𝑒 π‘–π‘›πœƒ
Further complex numbers
9πœ‹
9πœ‹
π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛
17
17
2πœ‹
2πœ‹
π‘π‘œπ‘ 
βˆ’ 𝑖𝑠𝑖𝑛
17
17
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
Simplify the following:
9πœ‹
9πœ‹
π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛
17
17
2πœ‹
2πœ‹
π‘π‘œπ‘ 
βˆ’ 𝑖𝑠𝑖𝑛
17
17
5
π‘π‘œπ‘ 
9πœ‹
9πœ‹
+ 𝑖𝑠𝑖𝑛
17
17
5
3
3
45πœ‹
45πœ‹
+ 𝑖𝑠𝑖𝑛
17
17
6πœ‹
6πœ‹
π‘π‘œπ‘  βˆ’
+ 𝑖𝑠𝑖𝑛 βˆ’
17
17
π‘π‘œπ‘ 
οƒ  Apply cos(-ΞΈ) = cosΞΈ and sin(-ΞΈ)
= -sinΞΈ
5
2πœ‹
2πœ‹
π‘π‘œπ‘  βˆ’
+ 𝑖𝑠𝑖𝑛 βˆ’
17
17
π‘π‘œπ‘ 
The denominator has to have the
β€˜+’ sign in the middle
3
Apply De Moivre’s theorem (there is no
modulus value to worry about here!)
οƒ  Just multiply the arguments by the
power
45πœ‹
6πœ‹
45πœ‹
6πœ‹
βˆ’βˆ’
+ 𝑖𝑠𝑖𝑛
βˆ’βˆ’
17
17
17
17
π‘π‘œπ‘ 3πœ‹ + 𝑖𝑠𝑖𝑛3πœ‹
= βˆ’1 + 0𝑖
Apply the rules from 3B for the
division of complex numbers
οƒ  Divide the moduli and
subtract the arguments
Simplify the sin and cos terms
Calculate the sin
and cos terms
Simplify
= βˆ’1
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
𝑧 𝑛 = π‘Ÿπ‘’ π‘–πœƒ
𝑛
= π‘Ÿ 𝑛 𝑒 π‘–π‘›πœƒ
Further complex numbers
y
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
Express the following in the form
x + iy where x Π„ R and y Π„ R
1 + 3𝑖
7
οƒ  You need to write this in one of
the forms above, and you can then
use De Moivre’s theorem
οƒ  This is easier than raising a
bracket to the power 7!
οƒ  Start with an argand diagram to
help find the modulus and
argument of the part in the
bracket
Pay attention to the directions
οƒ  The β€˜x’ part is positive so
will go in the positive
direction horizontally
r
√3
ΞΈ
οƒ  The β€˜y’ part is positive so
will go upwards
π‘Ÿ=
1
2
+
3
x
1
2
Calculate
π‘Ÿ=2
π‘‡π‘Žπ‘›πœƒ =
πœƒ=
3
1
πœ‹
3
Inverse
Tan
π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
Sub in r and ΞΈ
2 π‘π‘œπ‘ 
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
3
3
3C
𝑧 𝑛 = π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 (π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ)
𝑧 𝑛 = π‘Ÿπ‘’ π‘–πœƒ
𝑛
= π‘Ÿ 𝑛 𝑒 π‘–π‘›πœƒ
Further complex numbers
You need to be able to prove that
[r(cosΞΈ + isinΞΈ)]n = rn(cos(nΞΈ +
isinnΞΈ) for any integer n
Express the following in the form
x + iy where x Π„ R and y Π„ R
1 + 3𝑖
7
οƒ  You need to write this in one of
the forms above, and you can then
use De Moivre’s theorem
οƒ  This is easier than raising a
bracket to the power 7!
1 + 3𝑖
7
πœ‹
πœ‹
2 π‘π‘œπ‘  + 𝑖𝑠𝑖𝑛
3
3
27 π‘π‘œπ‘ 
7
7πœ‹
7πœ‹
+ 𝑖𝑠𝑖𝑛
3
3
Rewrite using the
different form we
worked out before
Use De Moivre’s
Theorem as above
Calculate the cos
and sin parts
= 128
1
+𝑖
2
3
2
Multiply out and simplify
= 64 + 64 3𝑖
οƒ  Start with an argand diagram to
help find the modulus and
argument of the part in the
bracket
3C
π‘Ž+𝑏
𝑛
= π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
This involves changing expressions
involving a function of ΞΈ into one
without.
οƒ  For example changing a cos6ΞΈ
into powers of cosΞΈ
οƒ  You will need to use the binomial
expansion for C2 in this section
π‘Ž+𝑏
𝑛
π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Remember nCr is a function you can find on your calculator
οƒ  The first term has the full power of n
οƒ  As you move across you slowly swap the powers over to
the second term until it has the full power of n
For example:
π‘Ž+𝑏
π‘Ž4 +
𝐢1 π‘Ž3 𝑏 +
4
4
𝐢2 π‘Ž2 𝑏2 +
4
Follow the
pattern above
𝐢3 π‘Žπ‘ 3 + 𝑏 4
4
π‘Ž4 + 4π‘Ž3 𝑏 + 6π‘Ž2 𝑏2 + 4π‘Žπ‘ 3 + 𝑏 4
You can work
out the nCr
parts
3D
π‘Ž+𝑏
𝑛
= π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
3
Express cos3ΞΈ using powers of cosΞΈ.
οƒ  This type of question involves
making a comparison between
two processes
οƒ  One which will give you a β€˜cos3θ’
term – you will use De Moivre’s
Theorem for this
οƒ  If we apply De Moivre’s theorem to this, we will end up
with a β€˜cos3θ’ term
οƒ  If we apply the binomial expansion to it, we will end up
with some terms with cosΞΈ in
οƒ  So this expression is a good starting point!
οƒ  One which will give you an
expression in terms of cosΞΈ –
you will use the binomial
expansion for this
οƒ  You have to think logically and
decide where to start
3D
π‘Ž+𝑏
𝑛
= π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Express cos3ΞΈ using powers of cosΞΈ.
οƒ  This type of question involves
making a comparison between
two processes
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
Apply De Moivre’s theorem
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
3
Follow the rules you know
= π‘π‘œπ‘ 3πœƒ + 𝑖𝑠𝑖𝑛3πœƒ
Apply the Binomial expansion
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
οƒ  One which will give you a β€˜cos3θ’
term – you will use De Moivre’s
Theorem for this
3
= π‘π‘œπ‘ πœƒ
3
3
3
3
+ 𝐢1 π‘π‘œπ‘ πœƒ
2
2
3
π‘–π‘ π‘–π‘›πœƒ + 𝐢2 π‘π‘œπ‘ πœƒ π‘–π‘ π‘–π‘›πœƒ
2
2
2
3
+ π‘–π‘ π‘–π‘›πœƒ
3
= π‘π‘œπ‘  πœƒ + 3π‘–π‘π‘œπ‘  πœƒπ‘ π‘–π‘›πœƒ + 3𝑖 π‘π‘œπ‘ πœƒπ‘ π‘–π‘› πœƒ + 𝑖 𝑠𝑖𝑛 πœƒ
οƒ  One which will give you an
expression in terms of cosΞΈ –
you will use the binomial
expansion for this
οƒ  You have to think logically and
decide where to start
= π‘π‘œπ‘  3 πœƒ + 3π‘–π‘π‘œπ‘  2 πœƒπ‘ π‘–π‘›πœƒ βˆ’ 3π‘π‘œπ‘ πœƒπ‘ π‘–π‘›2 πœƒ βˆ’ 𝑖𝑠𝑖𝑛3 πœƒ
3
Write
out
β€˜Tidy
up’
Replace i2
parts with -1
The two expressions we have made must be equal
οƒ  Therefore the real parts in each and the imaginary parts in each must
be the same
οƒ  Equate the real parts
π‘π‘œπ‘ 3πœƒ = π‘π‘œπ‘  3 πœƒ βˆ’ 3π‘π‘œπ‘ πœƒπ‘ π‘–π‘›2 πœƒ
3D
π‘Ž+𝑏
𝑛
= π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Express cos3ΞΈ using powers of cosΞΈ.
οƒ  This type of question involves
making a comparison between
two processes
οƒ  One which will give you a β€˜cos3θ’
term – you will use De Moivre’s
Theorem for this
π‘π‘œπ‘ 3πœƒ = π‘π‘œπ‘  3 πœƒ βˆ’ 3π‘π‘œπ‘ πœƒπ‘ π‘–π‘›2 πœƒ
π‘π‘œπ‘ 3πœƒ = π‘π‘œπ‘  3 πœƒ βˆ’ 3π‘π‘œπ‘ πœƒ 1 βˆ’ π‘π‘œπ‘  2 πœƒ
Replace sin2ΞΈ with an
expression in cos2ΞΈ
Expand the bracket
π‘π‘œπ‘ 3πœƒ = π‘π‘œπ‘  3 πœƒ βˆ’ 3π‘π‘œπ‘ πœƒ + 3π‘π‘œπ‘  3 πœƒ
Simplify
3
π‘π‘œπ‘ 3πœƒ = 4π‘π‘œπ‘  πœƒ βˆ’ 3π‘π‘œπ‘ πœƒ
We have successfully expressed cos3ΞΈ
as posers of cosΞΈ!
οƒ  One which will give you an
expression in terms of cosΞΈ –
you will use the binomial
expansion for this
οƒ  You have to think logically and
decide where to start
3D
π‘Ž+𝑏
𝑛
= π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Express the following as powers of
cosΞΈ:
𝑠𝑖𝑛6πœƒ
π‘ π‘–π‘›πœƒ
οƒ  So we need something that will
give us sin6ΞΈ using De Moivre’s
theorem
οƒ  It also needs to give us terms of
cosΞΈ from the binomial
expansion
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
6
οƒ  If we apply De Moivre’s theorem to this, we will end up
with a β€˜sin6θ’ term
οƒ  If we apply the binomial expansion to it, we will end up
with some terms with cosΞΈ in
οƒ  So this expression is a good starting point!
(and yes you will have to do some expansions larger than
powers of 3 or 4!)
3D
π‘Ž+𝑏
𝑛
= π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
6
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
Apply De Moivre’s theorem
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
Express the following as powers of
cosΞΈ:
6
Follow the rules you know
= π‘π‘œπ‘ 6πœƒ + 𝑖𝑠𝑖𝑛6πœƒ
𝑠𝑖𝑛6πœƒ
π‘ π‘–π‘›πœƒ
Apply the Binomial expansion
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
= π‘π‘œπ‘ πœƒ
6
6
+ 6𝐢1 π‘π‘œπ‘ πœƒ 5 (π‘–π‘ π‘–π‘›πœƒ) + 6𝐢2 π‘π‘œπ‘ πœƒ
4
π‘–π‘ π‘–π‘›πœƒ
2
+ 6𝐢3 π‘π‘œπ‘ πœƒ
3
π‘–π‘ π‘–π‘›πœƒ
3
+ 6𝐢4 π‘π‘œπ‘ πœƒ
2
π‘–π‘ π‘–π‘›πœƒ
4
+ 6𝐢5 π‘π‘œπ‘ πœƒ π‘–π‘ π‘–π‘›πœƒ
= π‘π‘œπ‘  6 πœƒ + 6π‘–π‘π‘œπ‘  5 πœƒπ‘ π‘–π‘›πœƒ + 15𝑖 2 π‘π‘œπ‘  4 πœƒπ‘ π‘–π‘›2 πœƒ + 20𝑖 3 π‘π‘œπ‘  3 πœƒπ‘ π‘–π‘›3 πœƒ + 15𝑖 4 π‘π‘œπ‘  2 πœƒπ‘ π‘–π‘›4 πœƒ + 6𝑖 5 π‘π‘œπ‘ πœƒπ‘ π‘–π‘›5 πœƒ + 𝑖 6 𝑠𝑖𝑛6 πœƒ
= π‘π‘œπ‘  6 πœƒ + 6π‘–π‘π‘œπ‘  5 πœƒπ‘ π‘–π‘›πœƒ βˆ’ 15π‘π‘œπ‘  4 πœƒπ‘ π‘–π‘›2 πœƒ βˆ’ 20π‘–π‘π‘œπ‘  3 πœƒπ‘ π‘–π‘›3 πœƒ + 15π‘π‘œπ‘  2 πœƒπ‘ π‘–π‘›4 πœƒ + 6π‘–π‘π‘œπ‘ πœƒπ‘ π‘–π‘›5 πœƒ βˆ’ 𝑠𝑖𝑛6 πœƒ
5
+ π‘–π‘ π‘–π‘›πœƒ
6
Replace terms:
i2 and i6 = -1
i4 = 1
So the two expressions created from De Moivre and the Binomial Expansion must be equal
οƒ  The real parts will be the same, as will the imaginary parts
οƒ  This time we have to equate the imaginary parts as this has sin6ΞΈ in
𝑖𝑠𝑖𝑛6πœƒ = 6π‘–π‘π‘œπ‘  5 πœƒπ‘ π‘–π‘›πœƒ βˆ’ 20π‘–π‘π‘œπ‘  3 πœƒπ‘ π‘–π‘›3 πœƒ + 6π‘–π‘π‘œπ‘ πœƒπ‘ π‘–π‘›5 πœƒ
5
3
3
5
Divide all by i
𝑠𝑖𝑛6πœƒ = 6π‘π‘œπ‘  πœƒπ‘ π‘–π‘›πœƒ βˆ’ 20π‘π‘œπ‘  πœƒπ‘ π‘–π‘› πœƒ + 6π‘π‘œπ‘ πœƒπ‘ π‘–π‘› πœƒ
3D
π‘Ž+𝑏
𝑛
= π‘Žπ‘› + 𝑛𝐢1 π‘Žπ‘›βˆ’1 𝑏 + 𝑛𝐢2 π‘Žπ‘›βˆ’2 𝑏 2 + 𝑛𝐢3 π‘Žπ‘›βˆ’3 𝑏3 + … … … … + 𝑏 𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑠𝑖𝑛6πœƒ = 6π‘π‘œπ‘  5 πœƒπ‘ π‘–π‘›πœƒ βˆ’ 20π‘π‘œπ‘  3 πœƒπ‘ π‘–π‘›3 πœƒ + 6π‘π‘œπ‘ πœƒπ‘ π‘–π‘›5 πœƒ
Express the following as powers of
cosΞΈ:
𝑠𝑖𝑛6πœƒ
π‘ π‘–π‘›πœƒ
5
2
3
6
So we have changed the expression
we were given into powers of cosΞΈ!
4
3
𝑠𝑖𝑛6πœƒ
6π‘π‘œπ‘  πœƒπ‘ π‘–π‘›πœƒ βˆ’ 20π‘π‘œπ‘  πœƒπ‘ π‘–π‘› πœƒ + 6π‘π‘œπ‘ πœƒπ‘ π‘–π‘›5 πœƒ
=
π‘ π‘–π‘›πœƒ
π‘ π‘–π‘›πœƒ
Divide all terms by sinΞΈ
= 6π‘π‘œπ‘  5 πœƒ βˆ’ 20π‘π‘œπ‘  3 πœƒπ‘ π‘–π‘›2 πœƒ + 6π‘π‘œπ‘ πœƒπ‘ π‘–π‘›4 πœƒ
Replace sin2ΞΈ terms with (1 – cos2ΞΈ) terms
= 6π‘π‘œπ‘  5 πœƒ βˆ’ 20π‘π‘œπ‘  3 πœƒ 1 βˆ’ π‘π‘œπ‘  2 πœƒ + 6π‘π‘œπ‘ πœƒ 1 βˆ’ π‘π‘œπ‘  2 πœƒ
2
= 6π‘π‘œπ‘  5 πœƒ βˆ’ 20π‘π‘œπ‘  3 πœƒ + 20π‘π‘œπ‘  5 πœƒ + 6π‘π‘œπ‘ πœƒ 1 βˆ’ 2π‘π‘œπ‘  2 πœƒ + π‘π‘œπ‘  4 πœƒ
5
3
Expand the first bracket,
square the second
Expand the second bracket
5
= 6π‘π‘œπ‘  πœƒ βˆ’ 20π‘π‘œπ‘  3 πœƒ + 20π‘π‘œπ‘  5 πœƒ + 6π‘π‘œπ‘ πœƒ βˆ’ 12π‘π‘œπ‘  πœƒ + 6π‘π‘œπ‘  πœƒ
= 32π‘π‘œπ‘  5 πœƒ βˆ’ 32π‘π‘œπ‘  3 πœƒ + 6π‘π‘œπ‘ πœƒ
Group together the like terms
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Let: 𝑧 = π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
1
= π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑧
You also need to be able to work this
type of question in a different way:
1
= cos(βˆ’πœƒ) + 𝑖𝑠𝑖𝑛(βˆ’πœƒ)
𝑧
For example, you might have a power
or cos or sin and need to express it
using several linear terms instead
1
= cos πœƒ βˆ’ π‘–π‘ π‘–π‘›πœƒ
𝑧
Eg) Changing sin6ΞΈ to sinaΞΈ + sinbΞΈ
where a and b are integers
οƒ  To do this we need to know some
other patterns first!
βˆ’1
Write as β€˜1 over’ οƒ 
or with a power of -1
Use De Moivre’s
theorem
Use cos(-ΞΈ) = cosΞΈ
and sin(-ΞΈ) = -sinΞΈ
We can add our two results together:
𝑧+
1
= π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ + π‘π‘œπ‘ πœƒ βˆ’ π‘–π‘ π‘–π‘›πœƒ
𝑧
1
𝑧 + = 2π‘π‘œπ‘ πœƒ
𝑧
Simplify
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Let: 𝑧 = π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
1
= π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
𝑧
You also need to be able to work this
type of question in a different way:
1
= cos(βˆ’πœƒ) + 𝑖𝑠𝑖𝑛(βˆ’πœƒ)
𝑧
For example, you might have a power
or cos or sin and need to express it
using several linear terms instead
1
= cos πœƒ βˆ’ π‘–π‘ π‘–π‘›πœƒ
𝑧
Eg) Changing sin6ΞΈ to sinaΞΈ + sinbΞΈ
where a and b are integers
οƒ  To do this we need to know some
other patterns first!
βˆ’1
Write as β€˜1 over’ οƒ 
or with a power of -1
Use De Moivre’s
theorem
Use cos(-ΞΈ) = cosΞΈ
and sin(-ΞΈ) = -sinΞΈ
We could also subtract our two results:
π‘§βˆ’
1
= π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ βˆ’ π‘π‘œπ‘ πœƒ βˆ’ π‘–π‘ π‘–π‘›πœƒ
𝑧
1
𝑧 βˆ’ = 2π‘–π‘ π‘–π‘›πœƒ
𝑧
Simplify
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Let: 𝑧 𝑛 = π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
1
= π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
You also need to be able to work this
type of question in a different way:
1
= cos(βˆ’π‘›πœƒ) + 𝑖𝑠𝑖𝑛(βˆ’π‘›πœƒ)
𝑧𝑛
For example, you might have a power
or cos or sin and need to express it
using several linear terms instead
1
= cos π‘›πœƒ βˆ’ π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Eg) Changing sin6ΞΈ to sinaΞΈ + sinbΞΈ
where a and b are integers
οƒ  To do this we need to know some
other patterns first!
οƒ  You can also apply the rules we
just saw to powers of z
βˆ’1
Write as β€˜1 over’ οƒ 
or with a power of -1
Use De Moivre’s
theorem
Use cos(-ΞΈ) = cosΞΈ
and sin(-ΞΈ) = -sinΞΈ
We could add our two results together:
𝑧𝑛 +
1
= π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
+ π‘π‘œπ‘ π‘›πœƒ βˆ’ π‘–π‘ π‘–π‘›π‘›πœƒ
Simplify
1
𝑧 𝑛 + 𝑛 = 2π‘π‘œπ‘ π‘›πœƒ
𝑧
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Let: 𝑧 𝑛 = π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
1
= π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
You also need to be able to work this
type of question in a different way:
1
= cos(βˆ’π‘›πœƒ) + 𝑖𝑠𝑖𝑛(βˆ’π‘›πœƒ)
𝑧𝑛
For example, you might have a power
or cos or sin and need to express it
using several linear terms instead
1
= cos π‘›πœƒ βˆ’ π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Eg) Changing sin6ΞΈ to sinaΞΈ + sinbΞΈ
where a and b are integers
οƒ  To do this we need to know some
other patterns first!
οƒ  You can also apply the rules we
just saw to powers of z
βˆ’1
Write as β€˜1 over’ οƒ 
or with a power of -1
Use De Moivre’s
theorem
Use cos(-ΞΈ) = cosΞΈ
and sin(-ΞΈ) = -sinΞΈ
We could also subtract our two results:
𝑧𝑛 βˆ’
1
= π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
βˆ’ π‘π‘œπ‘ π‘›πœƒ βˆ’ π‘–π‘ π‘–π‘›π‘›πœƒ
Simplify
1
𝑧 𝑛 βˆ’ 𝑛 = 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Let’s now see how we can use these
β€˜patterns’ in solving problems:
Express cos5ΞΈ in the form
acos5ΞΈ + bcos3ΞΈ + ccosΞΈ
οƒ  When working this way round you
need to use the identities above to
express both cos5ΞΈ and terms
with cos5ΞΈ, cos3ΞΈ and cosΞΈ.
οƒ  You can then set the expressions
equal to each other
5
1
𝑧+
𝑧
= 2π‘π‘œπ‘ πœƒ
5
= 32π‘π‘œπ‘  5 πœƒ
Creating the other cos terms – use the Binomial expansion!
1
𝑧+
𝑧
5
Where a, b and c are constants to be
found.
Using the
Identity above
Creating a cos5ΞΈ term
5
= 𝑧 + 5𝑧
4
1
1
+ 10𝑧 3
𝑧
𝑧
2
+ 10𝑧
2
1
𝑧
3
1
+ 5𝑧
𝑧
4
1
+
𝑧
5
Use the
B.E.
Cancel
some z
1
1
1
terms
+5 3 + 5
= 𝑧 5 + 5𝑧 3 + 10𝑧 + 10
𝑧
𝑧
𝑧
Group up terms
with the same
1
1
1
power
= 𝑧 5 + 5 + 5 𝑧 3 + 3 + 10 𝑧 +
𝑧
𝑧
𝑧
Rewrite using an
identity above
= 2π‘π‘œπ‘ 5πœƒ + 5(2π‘π‘œπ‘ 3πœƒ) + 10(2π‘π‘œπ‘ πœƒ)
Simplify
= 2π‘π‘œπ‘ 5πœƒ + 10π‘π‘œπ‘ 3πœƒ + 20π‘π‘œπ‘ πœƒ
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Let’s now see how we can use these
β€˜patterns’ in solving problems:
Using the two expressions
1
𝑧+
𝑧
5
1
𝑧+
𝑧
5
= 32π‘π‘œπ‘  5 πœƒ
These two
expressions must
be equal to each
other
= 2π‘π‘œπ‘ 5πœƒ + 10π‘π‘œπ‘ 3πœƒ + 20π‘π‘œπ‘ πœƒ
Express cos5ΞΈ in the form
acos5ΞΈ + bcos3ΞΈ + ccosΞΈ
Where a, b and c are constants to be
found.
οƒ  When working this way round you
need to use the identities above to
express both cos5ΞΈ and terms
with cos5ΞΈ, cos3ΞΈ and cosΞΈ.
32π‘π‘œπ‘  5 πœƒ = 2π‘π‘œπ‘ 5πœƒ + 10π‘π‘œπ‘ 3πœƒ + 20π‘π‘œπ‘ πœƒ
π‘π‘œπ‘  5 πœƒ =
1
5
5
π‘π‘œπ‘ 5πœƒ + π‘π‘œπ‘ 3πœƒ + π‘π‘œπ‘ πœƒ
16
16
8
Divide both
sides by 32
So we have written cos5ΞΈ using
cos5ΞΈ, cos3ΞΈ and cosΞΈ
οƒ  You can then set the expressions
equal to each other
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Show that:
1
3
𝑠𝑖𝑛3 πœƒ = βˆ’ 𝑠𝑖𝑛3πœƒ + π‘ π‘–π‘›πœƒ
4
4
οƒ  This is similar to the previous
question. You need to use rules above
to find a way to create a sin3ΞΈ
expression, and an expression
containing sin3ΞΈ and sinΞΈ
Using the
Identity above
Creating a sin3ΞΈ term
3
1
π‘§βˆ’
𝑧
= 2π‘–π‘ π‘–π‘›πœƒ
3
= 8𝑖 3 𝑠𝑖𝑛3 πœƒ = βˆ’8𝑖𝑠𝑖𝑛3 πœƒ
Creating the other sin terms – use the Binomial expansion!
1
π‘§βˆ’
𝑧
3
3
= 𝑧 + 3𝑧
2
1
1
+ 3𝑧 βˆ’
βˆ’
𝑧
𝑧
= 𝑧 3 βˆ’ 3𝑧 + 3
= 𝑧3 βˆ’
1
𝑧
βˆ’
1
1
βˆ’
3
𝑧
βˆ’
𝑧
𝑧3
= 2𝑖𝑠𝑖𝑛3πœƒ βˆ’ 3(2π‘–π‘ π‘–π‘›πœƒ)
1
𝑧3
2
1
+ βˆ’
𝑧
3
Use the
B.E.
Cancel
some z
terms
Group up terms with
the same power
Rewrite using an
identity above
Simplify
= 2𝑖𝑠𝑖𝑛3πœƒ βˆ’ 6π‘–π‘ π‘–π‘›πœƒ
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
Show that:
1
3
𝑠𝑖𝑛3 πœƒ = βˆ’ 𝑠𝑖𝑛3πœƒ + π‘ π‘–π‘›πœƒ
4
4
οƒ  This is similar to the previous
question. You need to use rules above
to find a way to create a sin3ΞΈ
expression, and an expression
containing sin3ΞΈ and sinΞΈ
Using the two expressions
1
π‘§βˆ’
𝑧
3
1
π‘§βˆ’
𝑧
3
= βˆ’8𝑖𝑠𝑖𝑛3 πœƒ
These two
expressions must
be equal to each
other
= 2𝑖𝑠𝑖𝑛3πœƒ βˆ’ 6π‘–π‘ π‘–π‘›πœƒ
βˆ’8𝑖𝑠𝑖𝑛3 πœƒ = 2𝑖𝑠𝑖𝑛3πœƒ βˆ’ 6π‘–π‘ π‘–π‘›πœƒ
βˆ’8𝑠𝑖𝑛3 πœƒ = 2𝑠𝑖𝑛3πœƒ βˆ’ 6π‘ π‘–π‘›πœƒ
1
3
𝑠𝑖𝑛3 πœƒ = βˆ’ 𝑠𝑖𝑛3πœƒ + π‘ π‘–π‘›πœƒ
4
4
Divide both
sides by i
Divide both
sides by -8
So we have written sin3ΞΈ using
sin3ΞΈ and sinΞΈ!
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
a) Express sin4ΞΈ in the form:
π‘‘π‘π‘œπ‘ 4πœƒ + π‘’π‘π‘œπ‘ 2πœƒ + 𝑓
Where d, e and f are constants to be
found.
4
1
π‘§βˆ’
𝑧
= 2π‘–π‘ π‘–π‘›πœƒ
πœ‹
2
4
= 16𝑖 4 𝑠𝑖𝑛4 πœƒ = 16𝑠𝑖𝑛4 πœƒ
Creating the cos terms – use the Binomial expansion!
1
π‘§βˆ’
𝑧
4
4
b) Hence, find the exact value of the
following integral:
Using the
Identity above
Creating a sin4ΞΈ term
= 𝑧 + 4𝑧
3
1
1
+ 6𝑧 2 βˆ’
βˆ’
𝑧
𝑧
= 𝑧 4 βˆ’ 4𝑧 2 + 6 βˆ’ 4
1
𝑧2
2
+
1
+ 4𝑧 βˆ’
𝑧
3
1
𝑧4
𝑠𝑖𝑛 πœƒ π‘‘πœƒ
οƒ  Start exactly as with the previous
questions, by finding an expression
with sin4ΞΈ and one with cos4ΞΈ, cos2ΞΈ
and a number
= 𝑧4 +
1
1
βˆ’ 4 𝑧2 + 2 + 6
4
𝑧
𝑧
4
Cancel some
z terms
Group up terms with the same
power (use positive values in the
brackets so we get cos terms)
4
0
1
+ βˆ’
𝑧
Use the
B.E.
Replace using an
identity above
= 2π‘π‘œπ‘ 4πœƒ βˆ’ 4(2π‘π‘œπ‘ 2πœƒ) + 6
Simplify
= 2π‘π‘œπ‘ 4πœƒ βˆ’ 8π‘π‘œπ‘ 2πœƒ + 6
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
You can apply De Moivre’s theorem
to trigonometric identities
a) Express sin4ΞΈ in the form:
π‘‘π‘π‘œπ‘ 4πœƒ + π‘’π‘π‘œπ‘ 2πœƒ + 𝑓
Using the two expressions
1
π‘§βˆ’
𝑧
4
1
π‘§βˆ’
𝑧
4
= 16𝑠𝑖𝑛4 πœƒ
These two
expressions must
be equal to each
other
= 2π‘π‘œπ‘ 4πœƒ βˆ’ 8π‘π‘œπ‘ 2πœƒ + 6
Where d, e and f are constants to be
found.
b) Hence, find the exact value of the
following integral:
πœ‹
2
𝑠𝑖𝑛4 πœƒ π‘‘πœƒ
16𝑠𝑖𝑛4 πœƒ = 2π‘π‘œπ‘ 4πœƒ βˆ’ 8π‘π‘œπ‘ 2πœƒ + 6
1
1
3
𝑠𝑖𝑛4 πœƒ = π‘π‘œπ‘ 4πœƒ βˆ’ π‘π‘œπ‘ 2πœƒ +
8
2
8
Divide both
sides by 16
0
οƒ  Start exactly as with the previous
questions, by finding an expression
with sin4ΞΈ and one with cos4ΞΈ, cos2ΞΈ
and a number
So we have written sin4ΞΈ using
cos4ΞΈ and cos2ΞΈ!
3D
𝑧+
1
= 2π‘π‘œπ‘ πœƒ
𝑧
π‘§βˆ’
1
= 2π‘–π‘ π‘–π‘›πœƒ
𝑧
𝑧𝑛 +
1
= 2π‘π‘œπ‘ π‘›πœƒ
𝑧𝑛
𝑧𝑛 βˆ’
1
= 2π‘–π‘ π‘–π‘›π‘›πœƒ
𝑧𝑛
Further complex numbers
1
1
3
𝑠𝑖𝑛4 πœƒ = π‘π‘œπ‘ 4πœƒ βˆ’ π‘π‘œπ‘ 2πœƒ +
8
2
8
You can apply De Moivre’s theorem
to trigonometric identities
πœ‹
2
a) Express sin4ΞΈ in the form:
0
π‘‘π‘π‘œπ‘ 4πœƒ + π‘’π‘π‘œπ‘ 2πœƒ + 𝑓
πœ‹
2
Where d, e and f are constants to be
found.
b) Hence, find the exact value of the
following integral:
πœ‹
2
𝑠𝑖𝑛4 πœƒ π‘‘πœƒ
0
οƒ  Start exactly as with the previous
questions, by finding an expression
with sin4ΞΈ and one with cos4ΞΈ, cos2ΞΈ
and a number
𝑠𝑖𝑛4 πœƒ π‘‘πœƒ
0
1
1
3
π‘π‘œπ‘ 4πœƒ βˆ’ π‘π‘œπ‘ 2πœƒ +
π‘‘πœƒ
8
2
8
1
1
3
=
𝑠𝑖𝑛4πœƒ βˆ’ 𝑠𝑖𝑛2πœƒ + πœƒ
32
4
8
=
=
1
πœ‹
1
πœ‹
3 πœ‹
𝑠𝑖𝑛4
βˆ’ 𝑠𝑖𝑛2
+
32
2
4
2
8 2
πœ‹
2
Cosine Integrals
(in C4)
π‘π‘œπ‘ 4πœƒ =
1
𝑠𝑖𝑛4πœƒ
4
π‘π‘œπ‘ 2πœƒ =
1
𝑠𝑖𝑛2πœƒ
2
Replace with
an equivalent
expression
Integrate each term with
respect to ΞΈ, using
knowledge from C4
0
βˆ’
1
1
3
𝑠𝑖𝑛4 0 βˆ’ 𝑠𝑖𝑛2 0 + 0
32
4
8
Sub in
limits
Work
out
3
πœ‹
16
3D
𝐼𝑓: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘‡β„Žπ‘’π‘›: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
Further complex numbers
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
You can use De Moivre’s theorem to find
the nth roots of a complex number
You already know how to find real roots of a
number, but now we need to find both real
roots and imaginary roots!
We need to apply the following results:
1)
If: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
οƒ  Then: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
where k is an integer
This is because we can add multiples of 2Ο€
to the argument as it will end up in the same
place (2Ο€ = 360º)
2) De Moivre’s theorem
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ) 𝑛 = π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
3E
𝐼𝑓: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘‡β„Žπ‘’π‘›: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
Further complex numbers
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
You can use De Moivre’s theorem to find
the nth roots of a complex number
In this case the
modulus and
argument are simple
to find!
Solve the equation z3 = 1 and represent your
solutions on an Argand diagram.
π‘Ÿ=1
οƒ  Now we know r and ΞΈ we can set
equal
to this expression, when written in the
modulus-argument form
1
x
πœƒ=0
οƒ  First you need to express z in the
modulus-argument form. Use an Argand
diagram.
z3
y
𝑧 3 = 1 π‘π‘œπ‘ 0 + 𝑖𝑠𝑖𝑛0
Apply the rule
above
𝑧 3 = cos(0 + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(0 + 2π‘˜πœ‹)
οƒ  We can then find an expression for z in
terms of k
𝑧 = cos 0 + 2π‘˜πœ‹ + 𝑖𝑠𝑖𝑛(0 + 2π‘˜πœ‹)
οƒ  We can then solve this to find the roots
of the equation above
𝑧 = cos
0 + 2π‘˜πœ‹
0 + 2π‘˜πœ‹
+ 𝑖𝑠𝑖𝑛
3
3
1
3
Cube root (use a
relevant power)
Apply De
Moivre’s
theorem
3E
𝐼𝑓: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘‡β„Žπ‘’π‘›: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
Further complex numbers
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
You can use De Moivre’s theorem to find
the nth roots of a complex number
Solve the equation z3 = 1 and represent your
solutions on an Argand diagram.
𝑧 = π‘π‘œπ‘ 
0 + 2π‘˜πœ‹
0 + 2π‘˜πœ‹
+ 𝑖𝑠𝑖𝑛
3
3
k=0
𝑧 = π‘π‘œπ‘  0 + 𝑖𝑠𝑖𝑛 0
𝑧=1
οƒ  We now just need to choose different
values for k until we have found all the
roots
οƒ  The values of k you choose should keep
the argument within the range:
-Ο€ < ΞΈ ≀ Ο€
So the roots of z3 = 1 are:
1
3
1
3
𝑧 = 1, βˆ’ + 𝑖
and βˆ’ βˆ’ 𝑖
2
2
2
2
Sub k = 0 in and
calculate the cosine
and sine parts
k=1
𝑧 = π‘π‘œπ‘ 
2πœ‹
2πœ‹
+ 𝑖𝑠𝑖𝑛
3
3
1
3
𝑧 =βˆ’ +𝑖
2
2
k = -1
2πœ‹
2πœ‹
𝑧 = π‘π‘œπ‘  βˆ’
+ 𝑖𝑠𝑖𝑛 βˆ’
3
3
1
3
𝑧 =βˆ’ βˆ’π‘–
2
2
Sub k = 1 in and
calculate the cosine
and sine parts
Sub k = -1 in and
calculate the cosine
and sine parts
οƒ  (k = 2 would cause
the argument to be
outside the range)
3E
𝐼𝑓: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘‡β„Žπ‘’π‘›: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
Further complex numbers
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
y
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
You can use De Moivre’s theorem to find
the nth roots of a complex number
Solve the equation z3 = 1 and represent your
solutions on an Argand diagram.
𝟏
πŸ‘
βˆ’ +π’Š
𝟐
𝟐
2
πœ‹
3
οƒ  We now just need to choose different
values for k until we have found all the
roots
οƒ  The values of k you choose should keep
the argument within the range:
-Ο€ < ΞΈ ≀ Ο€
So the roots of z3 = 1 are:
1
3
1
3
𝑧 = 1, βˆ’ + 𝑖
and βˆ’ βˆ’ 𝑖
2
2
2
2
𝟏
2
πœ‹
3
x
2
πœ‹
3
𝟏
πŸ‘
βˆ’ βˆ’π’Š
𝟐
𝟐
οƒ  The solutions will all the same distance from the origin
οƒ  The angles between them will also be the same
οƒ  The sum of the roots is always equal to 0
3E
𝐼𝑓: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘‡β„Žπ‘’π‘›: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
Further complex numbers
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
You can use De Moivre’s theorem to find
the nth roots of a complex number
Solve the equation
z4
- 2√3i = 2
Give your answers in both the modulusargument and exponential forms.
By rearranging…
z4 = 2 + 2√3i
οƒ  As before, use an argand diagram to
express the equation in the modulusargument form
οƒ  Then choose values of k until you have
found all the solutions
y
Find the modulus
and argument
π‘Ÿ=
2
πœƒ = π‘‘π‘Žπ‘›
2
+ 2 3
βˆ’1
2 3
2
2
r
π‘Ÿ=4
ΞΈ
πœ‹
πœƒ=
3
𝑧 4 = 4 π‘π‘œπ‘ 
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
3
3
𝑧 4 = 4 π‘π‘œπ‘ 
πœ‹
πœ‹
+ 2π‘˜πœ‹ + 𝑖𝑠𝑖𝑛 + 2π‘˜πœ‹
3
3
πœ‹
πœ‹
𝑧 = 4 π‘π‘œπ‘ 
+ 2π‘˜πœ‹ + 𝑖𝑠𝑖𝑛 + 2π‘˜πœ‹
3
3
πœ‹
πœ‹
+ 2π‘˜πœ‹
+ 2π‘˜πœ‹
1
𝑧 = 44 π‘π‘œπ‘  3
+ 𝑖𝑠𝑖𝑛 3
4
4
πœ‹
πœ‹
+ 2π‘˜πœ‹
+ 2π‘˜πœ‹
𝑧 = 2 π‘π‘œπ‘  3
+ 𝑖𝑠𝑖𝑛 3
4
4
2√3
2
x
Apply the rule
above
1
4
Take the 4th
root of each
side
De Moivre’s
Theorem
Work out the
power at the
front
3E
𝐼𝑓: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘‡β„Žπ‘’π‘›: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
Further complex numbers
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
You can use De Moivre’s theorem to find
the nth roots of a complex number
k=0
𝑧 = 2 π‘π‘œπ‘ 
Solve the equation z4 - 2√3i = 2
Give your answers in both the modulusargument and exponential forms.
k=1
οƒ  Then choose values of k until you have
found all the solutions
πœ‹
πœ‹
+ 2π‘˜πœ‹
+ 2π‘˜πœ‹
3
𝑧 = 2 π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛 3
4
4
k = -1
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
12
12
7πœ‹
7πœ‹
+ 𝑖𝑠𝑖𝑛
12
12
πœ‹
πœ‹
βˆ’
2πœ‹
βˆ’ 2πœ‹
𝑧 = 2 π‘π‘œπ‘  3
+ 𝑖𝑠𝑖𝑛 3
4
4
𝑧 = 2 π‘π‘œπ‘  βˆ’
k = -2
Sub k = 0 in and
simplify (you can
leave in this form)
πœ‹
πœ‹
+
2πœ‹
+ 2πœ‹
𝑧 = 2 π‘π‘œπ‘  3
+ 𝑖𝑠𝑖𝑛 3
4
4
𝑧 = 2 π‘π‘œπ‘ 
By rearranging…
z4 = 2 + 2√3i
οƒ  As before, use an argand diagram to
express the equation in the modulusargument form
πœ‹
πœ‹
𝑧 = 2 π‘π‘œπ‘  3 + 𝑖𝑠𝑖𝑛 3
4
4
5πœ‹
5πœ‹
+ 𝑖𝑠𝑖𝑛 βˆ’
12
12
Choose
values of k
that keep
the argument
between –π
and Ο€
πœ‹
πœ‹
βˆ’ 2πœ‹
βˆ’ 2πœ‹
𝑧 = 2 π‘π‘œπ‘  3
+ 𝑖𝑠𝑖𝑛 3
4
4
𝑧 = 2 π‘π‘œπ‘  βˆ’
11πœ‹
11πœ‹
+ 𝑖𝑠𝑖𝑛 βˆ’
12
12
3E
𝐼𝑓: 𝑧 = π‘Ÿ π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ
π‘‡β„Žπ‘’π‘›: 𝑧 = π‘Ÿ cos(πœƒ + 2π‘˜πœ‹) + 𝑖𝑠𝑖𝑛(πœƒ + 2π‘˜πœ‹)
Further complex numbers
π‘Ÿ(π‘π‘œπ‘ πœƒ + π‘–π‘ π‘–π‘›πœƒ)
𝑛
= π‘Ÿ 𝑛 π‘π‘œπ‘ π‘›πœƒ + π‘–π‘ π‘–π‘›π‘›πœƒ
You can use De Moivre’s theorem to find
the nth roots of a complex number
Solve the equation z4 - 2√3i = 2
Give your answers in both the modulusargument and exponential forms.
By rearranging…
z4 = 2 + 2√3i
οƒ  As before, use an argand diagram to
express the equation in the modulusargument form
Solutions in the modulus-argument form
𝑧 = 2 π‘π‘œπ‘ 
πœ‹
πœ‹
+ 𝑖𝑠𝑖𝑛
12
12
𝑧 = 2 π‘π‘œπ‘ 
7πœ‹
7πœ‹
+ 𝑖𝑠𝑖𝑛
12
12
𝑧 = 2 π‘π‘œπ‘  βˆ’
𝑧 = 2 π‘π‘œπ‘  βˆ’
5πœ‹
5πœ‹
+ 𝑖𝑠𝑖𝑛 βˆ’
12
12
11πœ‹
11πœ‹
+ 𝑖𝑠𝑖𝑛 βˆ’
12
12
Solutions in the exponential form
𝑧=
πœ‹
12
2𝑒 𝑖
𝑧=
7πœ‹
2𝑒 12 𝑖
𝑧=
5πœ‹
βˆ’ 𝑖
2𝑒 12
𝑧=
11πœ‹
βˆ’ 12 𝑖
2𝑒
οƒ  Then choose values of k until you have
found all the solutions
πœ‹
πœ‹
+ 2π‘˜πœ‹
+ 2π‘˜πœ‹
3
𝑧 = 2 π‘π‘œπ‘ 
+ 𝑖𝑠𝑖𝑛 3
4
4
3E
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
A locus a set of points which obey a
rule
x
The locus of points a
given distance from a
point O is a circle
x
O
x
οƒ  You will need to be able to
understand Loci based on Argand
diagrams
A
The locus of points
equidistant from two
fixed points A and B is
the perpendicular
bisector of line AB
B
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
z = x + iy represents a variable point
P(x,y) on an Argand diagram
P(x,y)
z
z1 = x1 + iy1 represents a fixed point
A(x1,y1) on an Argand diagram
What is represented by:
z - z1
A(x1,y1)
z1
x
𝑧 βˆ’ 𝑧1
οƒ  It represents the distance between
If we want to get from the fixed point A to the variable point
the fixed point A(x1,y1) and the
P, we need to travel back along z1 and then out along z
variable point P(x,y)
(-z1 + z)
οƒ  This can be written as a vector, z – z1
οƒ  So |z – z1| represents the distance between the fixed point
and the variable point!
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
P(x,y)
If:
A(5,3)
𝑧 βˆ’ 5 βˆ’ 3𝑖 = 3
x
Sketch the locus of P(x,y) which is
represented by z on an Argand
diagram
𝑧 βˆ’ 5 βˆ’ 3𝑖 = 3
𝑧 βˆ’ (5 + 3𝑖) = 3
Leave z as it is
– this is the
variable point
Put this part in a
bracket
- This is the fixed
point
So we want the locus
where the distance
between the variable
point z and the fixed
point (5,3) is equal to 3
This will be a circle
of radius 3 units,
centre (5,3)
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
𝐼𝑓: 𝑧 = π‘₯ + 𝑖𝑦
You can use complex numbers to
represent a locus of points on an
Argand diagram
π‘‡β„Žπ‘’π‘›:
𝑧 = π‘₯ + 𝑖𝑦 =
π‘₯2 + 𝑦2
y
P(x,y)
If:
|z|
𝑧 βˆ’ 5 βˆ’ 3𝑖 = 3
Use an algebraic method to find a
Cartesian equation of the locus of z
x
y
x
οƒ  So you have to do this without
using the graph you drew
οƒ  We will quickly remind ourselves of
something that will be useful for
this!
If: 𝑧 = π‘₯ + 𝑖𝑦
Then: 𝑧 = π‘₯ + 𝑖𝑦 =
(By Pythagoras’ Theorem)
π‘₯ 2 + 𝑦2
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
𝐼𝑓: 𝑧 = π‘₯ + 𝑖𝑦
You can use complex numbers to
represent a locus of points on an
Argand diagram
If:
π‘‡β„Žπ‘’π‘›:
𝑧 βˆ’ 5 βˆ’ 3𝑖 = 3
οƒ  Now we can find the equation of
the locus algebraically…
π‘₯2 + 𝑦2
Replace z with
β€˜x + iy’
π‘₯ + 𝑖𝑦 βˆ’ 5 βˆ’ 3𝑖 = 3
𝑧 βˆ’ 5 βˆ’ 3𝑖 = 3
Use an algebraic method to find a
Cartesian equation of the locus of z
𝑧 = π‘₯ + 𝑖𝑦 =
π‘₯ βˆ’ 5 + 𝑖(𝑦 βˆ’ 3) = 3
π‘₯βˆ’5
2
+ π‘¦βˆ’3
2
Group the real and
imaginary terms
Use the rule above to
remove the modulus
=3
Square both sides
2
(π‘₯ βˆ’ 5) + 𝑦 βˆ’ 3
2
=9
You (hopefully) recognise that this is
the equation of a circle, radius 3 and
with centre (5,3)!
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
As a general rule, the locus of:
𝑧 βˆ’ 𝑧1 = π‘Ÿ
is a circle of radius r and centre (x1,y1) where z1 = x1 + iy1
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
𝑧 βˆ’ 𝑧1 = π‘Ÿ
οƒ  Circle radius r and centre (x1,y1)
You can use complex numbers to
represent a locus of points on an
Argand diagram
Give a geometrical interpretation of
each of the following loci of z:
a)
d)
𝑧 βˆ’ 3𝑖 = 4
οƒ  Circle, centre (0,3) radius 4
2 βˆ’ 5𝑖 βˆ’ 𝑧 = 3
(βˆ’1)(βˆ’2 + 5𝑖 + 𝑧) = 3
βˆ’1 𝑧 βˆ’ 2 + 5𝑖 = 3
b)
𝑧 βˆ’ (2 + 3𝑖) = 5
𝑧 βˆ’ (2 βˆ’ 5𝑖) = 3
οƒ  Circle, centre (2,3) radius 5
c)
𝑧 + 3 βˆ’ 5𝑖 = 2
𝑧 βˆ’ (βˆ’3 + 5𝑖) = 2
Put the
β€˜fixed’ part
in a bracket
οƒ  Circle, centre (-3,5) radius 2
β€˜Factorise’ the part
inside the modulus
You can write this as
2 moduli multiplied
|-1| = 1, put the β€˜fixed’ part
in a bracket
οƒ  Circle, centre (2,-5) radius 3
Effectively for d), you just swap the signs of
everything in the modulus, its value will not change
οƒ  |10 - 8| = |-10 + 8|
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
Sketch the locus of P(x,y) which is
represented by z on an Argand
diagram, if:
𝑧 = 𝑧 βˆ’ 6𝑖
𝑧
𝑧 βˆ’ 6𝑖
𝑧 βˆ’ (6𝑖)
This is the distance of P(x,y)
from the origin (0,0)
This is the distance of
P(x,y) from (0,6)
y
(0,6)
οƒ  We therefore need the set of
points that are the same distance
from (0,0) and (0,6)
οƒ  This will be the bisector of the
line joining the two co-ordinates
y=3
(0,0)
x
οƒ  You can see that it is the line with
equation y = 3
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
𝐼𝑓: 𝑧 = π‘₯ + 𝑖𝑦
You can use complex numbers to
represent a locus of points on an
Argand diagram
π‘‡β„Žπ‘’π‘›:
𝑧 = π‘₯ + 𝑖𝑦 =
π‘₯2 + 𝑦2
𝑧 = 𝑧 βˆ’ 6𝑖
Replace z with x + iy
Sketch the locus of P(x,y) which is
represented by z on an Argand
diagram, if:
π‘₯ + 𝑖𝑦 = π‘₯ + 𝑖𝑦 βˆ’ 6𝑖
Factorise the β€˜i’ terms
on the right side
π‘₯ + 𝑖𝑦 = π‘₯ + 𝑖(𝑦 βˆ’ 6)
𝑧 = 𝑧 βˆ’ 6𝑖
οƒ  Show that the locus is y = 3 using
an algebraic method
π‘₯2 + 𝑦2 =
π‘₯2 + 𝑦 βˆ’ 6
2
Use the rule above to remove
the moduli
Square both sides
π‘₯2 + 𝑦2 = π‘₯2 + 𝑦 βˆ’ 6
2
Expand the bracket
π‘₯ 2 + 𝑦 2 = π‘₯ 2 + 𝑦 2 βˆ’ 12𝑦 + 36
Cancel terms on
each side
0 = βˆ’12𝑦 + 36
Add 12y
12𝑦 = 36
Divide by 12
𝑦=3
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
𝐼𝑓: 𝑧 = π‘₯ + 𝑖𝑦
You can use complex numbers to
represent a locus of points on an
Argand diagram
π‘‡β„Žπ‘’π‘›:
𝑧 = π‘₯ + 𝑖𝑦 =
π‘₯2 + 𝑦2
π‘§βˆ’3 = 𝑧+𝑖
Replace z with x + iy
a)
Use an algebraic method to find
the Cartesian equation of the
locus of z if:
π‘§βˆ’3 = 𝑧+𝑖
π’š = βˆ’πŸ‘π’™ + πŸ’
b) Represent the locus of z on an
Argand diagram
π‘₯ + 𝑖𝑦 βˆ’ 3 = π‘₯ + 𝑖𝑦 + 𝑖
Group real and
imaginary parts
π‘₯ βˆ’ 3 + 𝑖𝑦 = π‘₯ + 𝑖(𝑦 + 1)
π‘₯βˆ’3
2
π‘₯βˆ’3
2
+ 𝑦2 =
π‘₯2 + 𝑦 + 1
2
Use the rule above to
remove the moduli
Square both sides
2
2
+𝑦 =π‘₯ + 𝑦+1
2
Expand brackets
π‘₯ 2 βˆ’ 6π‘₯ + 9 + 𝑦 2 = π‘₯ 2 + 𝑦 2 + 2𝑦 + 1
Cancel terms
βˆ’6π‘₯ + 9 = 2𝑦 + 1
Subtract 1
βˆ’6π‘₯ + 8 = 2𝑦
Divide by 2
βˆ’3π‘₯ + 4 = 𝑦
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
y
(0,4)
a)
Use an algebraic method to find
the Cartesian equation of the
locus of z if:
π‘§βˆ’3 = 𝑧+𝑖
x
π’š = βˆ’πŸ‘π’™ + πŸ’
b) Represent the locus of z on an
Argand diagram
(3,0)
(0,-1)
π‘§βˆ’3 = 𝑧+𝑖
y = -3x + 4
Distance
from (3,0)
Distance
from (0,-1)
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
𝐼𝑓: 𝑧 = π‘₯ + 𝑖𝑦
You can use complex numbers to
represent a locus of points on an
Argand diagram
π‘‡β„Žπ‘’π‘›:
𝑧 βˆ’ 6 = 2 𝑧 + 6 βˆ’ 9𝑖
Replace z with β€˜x + iy’
π‘₯ + 𝑖𝑦 βˆ’ 6 = 2 π‘₯ + 𝑖𝑦 + 6 βˆ’ 9𝑖
If:
𝑧 βˆ’ 6 = 2 𝑧 + 6 βˆ’ 9𝑖
a)
Use algebra to show that the locus
of z is a circle, stating its centre
and radius
𝒙 + 𝟏𝟎
𝟐
+ π’š βˆ’ 𝟏𝟐
𝟐
= 𝟏𝟎𝟎
Circle, centre (-10,12) and radius 10
b) Sketch the locus of z on an Argand
diagram
π‘₯2 + 𝑦2
𝑧 = π‘₯ + 𝑖𝑦 =
Group real and
imaginary parts
π‘₯ βˆ’ 6 + 𝑖𝑦 = 2 π‘₯ + 6 + 𝑖(𝑦 βˆ’ 9)
π‘₯βˆ’6
2
+ 𝑦2 = 2
π‘₯+6
2
+ π‘¦βˆ’9
2
π‘₯βˆ’6
2
+ 𝑦2 = 4 π‘₯ + 6
2
+ π‘¦βˆ’9
2
Replace the moduli
using the rule above
Square both sides
(remember the β€˜2’)
Expand some
brackets
π‘₯ 2 βˆ’ 12π‘₯ + 36 + 𝑦 2 = 4 π‘₯ 2 + 12π‘₯ + 36 + 𝑦 2 βˆ’ 18𝑦 + 81
Expand another
bracket
Group all terms
on one side
π‘₯ 2 βˆ’ 12π‘₯ + 36 + 𝑦 2 = 4π‘₯ 2 + 48π‘₯ + 144 + 4𝑦 2 βˆ’ 72𝑦 + 324
0 = 3π‘₯ 2 + 60π‘₯ + 3𝑦 2 βˆ’ 72𝑦 + 432
0 = π‘₯ 2 + 20π‘₯ + 𝑦 2 βˆ’ 24𝑦 + 144
0 = π‘₯ + 10
2
βˆ’ 10
2
0 = π‘₯ + 10
2
+ 𝑦 βˆ’ 12
2
100 = π‘₯ + 10
2
+ 𝑦 βˆ’ 12
2
+ 𝑦 βˆ’ 12
βˆ’ 100
2
Divide by 3
βˆ’ 12
2
+ 144
Completing
the square
Simplify
Add 100
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
(-10,12)
If:
The circle shows the set
of points that are twice
as far from (6,0) as they
are from (-6,9)!
(-6,9)
𝑧 βˆ’ 6 = 2 𝑧 + 6 βˆ’ 9𝑖
a)
Use algebra to show that the locus
of z is a circle, stating its centre
and radius
𝒙 + 𝟏𝟎
𝟐
+ π’š βˆ’ 𝟏𝟐
𝟐
P(x,y)
(6,0)
x
= 𝟏𝟎𝟎
Circle, centre (-10,12) and radius 10
b) Sketch the locus of z on an Argand
diagram
𝑧 βˆ’ 6 = 2 𝑧 + 6 βˆ’ 9𝑖
The distance
from (6,0)
Is equal Twice the distance
to
from (-6,9)
3F
𝑧 βˆ’ 𝑧1
Is the distance between the variable point z and the fixed
point z1 when they are represented on a Argand diagram
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
Therefore:
When 𝑧 βˆ’ 𝑧1 = π‘Ž 𝑧 βˆ’ 𝑧2
οƒ  An Algebraic method will most likely be the best
way to find the equation of the locus of z
If:
𝑧 βˆ’ 6 = 2 𝑧 + 6 βˆ’ 9𝑖
a)
Use algebra to show that the locus
of z is a circle, stating its centre
and radius
𝒙 + 𝟏𝟎
𝟐
+ π’š βˆ’ 𝟏𝟐
𝟐
οƒ  You will probably have to use completing the
square (sometimes with fractions as well!)
= 𝟏𝟎𝟎
Circle, centre (-10,12) and radius 10
b) Sketch the locus of z on an Argand
diagram
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
If:
π‘Žπ‘Ÿπ‘”π‘§ =
πœ‹
4
Sketch the locus of P(x,y) which is
represented by z on an Argand
diagram. Then find the Cartesian
equation of this locus algebraically.
The line is not extended
back downwards
οƒ  It is known as a β€˜halfline’
𝝅
πŸ’
x
οƒ  The locus will be the set of points
which start at (0,0) and make an
argument of Ο€/4 with the positive xaxis
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
y
𝝅
πŸ’
If:
π‘Žπ‘Ÿπ‘”π‘§ =
x
πœ‹
4
Sketch the locus of P(x,y) which is
represented by z on an Argand
diagram. Then find the Cartesian
equation of this locus algebraically.
οƒ  The locus will be the set of points
which start at (0,0) and make an
argument of Ο€/4 with the positive xaxis
π‘Žπ‘Ÿπ‘”π‘§ =
πœ‹
4
πœ‹
π‘Žπ‘Ÿπ‘”(π‘₯ + 𝑖𝑦) =
4
π‘‡π‘Žπ‘›βˆ’1
x
𝑦
πœ‹
=
π‘₯
4
Replace z with β€˜x + iy’
The value of the argument
is tan-1(opposite/adjacent)
𝑦
πœ‹
= π‘‡π‘Žπ‘›
π‘₯
4
𝑦
=1
π‘₯
𝑦=π‘₯
β€˜Normal tan’
Calculate the tan part
Multiply by x
(x > 0)
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
If:
arg(𝑧 βˆ’ 2) =
(2,0)
𝝅
πŸ‘
x
πœ‹
3
Sketch the locus of P(x,y) which is
represented by z on an Argand
diagram. Then find the Cartesian
equation of this locus algebraically.
οƒ  The locus will be the set of values
that, when we subtract 2 from
them, make an angle of Ο€/3 with
the origin
οƒ  The locus must therefore start at
(2,0) rather than (0,0)!
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
y
(2,0)
If:
x-2
πœ‹
arg(𝑧 βˆ’ 2) =
3
Sketch the locus of P(x,y) which is
represented by z on an Argand
diagram. Then find the Cartesian
equation of this locus algebraically.
οƒ  The locus will be the set of values
that, when we subtract 2 from
them, make an angle of Ο€/3 with
the origin
οƒ  The locus must therefore start at
(2,0) rather than (0,0)!
𝝅
πŸ‘
arg(𝑧 βˆ’ 2) =
πœ‹
3
πœ‹
π‘Žπ‘Ÿπ‘”(π‘₯ + 𝑖𝑦 βˆ’ 2) =
3
π‘‡π‘Žπ‘›βˆ’1
x
𝑦
πœ‹
=
π‘₯βˆ’2
3
Replace z with β€˜x + iy’
The value of the argument
is tan-1(opposite/adjacent)
𝑦
πœ‹
= π‘‡π‘Žπ‘›
π‘₯βˆ’2
3
𝑦
= 3
π‘₯βˆ’2
𝑦 = 3π‘₯ βˆ’ 2 3
β€˜Normal tan’
Calculate the tan part
Multiply by (x – 2)
(x > 2)
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
If:
π‘Žπ‘Ÿπ‘”(𝑧 + 3 + 2𝑖) =
3πœ‹
4
πŸ‘π…
πŸ’
x
(-3,-2)
Sketch the locus of z on an Argand
diagram and use an algebraic method
to find the equation of the line.
οƒ  When we add 3 and 2i to z, the
argument from (0,0) and the
positive x-axis will be 3Ο€/4
οƒ  So the line will have to start at
(-3,-2)
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
y+2
If:
π‘Žπ‘Ÿπ‘”(𝑧 + 3 + 2𝑖) =
3πœ‹
4
Sketch the locus of z on an Argand
diagram and use an algebraic method
to find the equation of the line.
οƒ  When we add 3 and 2i to z, the
argument from (0,0) and the
positive x-axis will be 3Ο€/4
οƒ  So the line will have to start at
(-3,-2)
x
πŸ‘π…
πŸ’
x + 3 (-3,-2)
π‘Žπ‘Ÿπ‘”(𝑧 + 3 + 2𝑖) =
3πœ‹
4
3πœ‹
π‘Žπ‘Ÿπ‘”(π‘₯ + 𝑖𝑦 + 3 + 2𝑖) =
4
π‘‡π‘Žπ‘›βˆ’1
𝑦+2
3πœ‹
=
π‘₯+3
4
Replace z with β€˜x + iy’
The value of the argument
is tan-1(opposite/adjacent)
𝑦+2
3πœ‹
= π‘‡π‘Žπ‘›
π‘₯+3
4
𝑦+2
= βˆ’1
π‘₯+3
𝑦 + 2 = βˆ’π‘₯ βˆ’ 3
𝑦 = βˆ’π‘₯ βˆ’5
β€˜Normal tan’
Calculate the tan part
Multiply by (x + 3)
Subtract 2
(x < -3)
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
So therefore:
π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 𝑧1 = πœƒ
Is represented by a half line starting
at z1 and making an angle of ΞΈ with a
line parallel to the x-axis
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
Joining the ends of a chord to different points on the
circumference will always create the same angle, if the
points are in the same sector
β€œAngles in the same sector are equal”
For the next set of Loci, you need to remember some rules relating to circles
Major arc – ΞΈ is acute
Minor arc – ΞΈ is obtuse
ΞΈ
ΞΈ
A
ΞΈ
Semi-circle – ΞΈ is 90°
ΞΈ
B
ΞΈ
x
ΞΈ
B
A
2x
A
A
B
If they are joined to a
point on the major arc
If they are joined to a point
on the minor arc
If the chord is the
diameter of the circle
οƒ  The angle will be acute
οƒ  The angle will be obtuse
οƒ  The angle will be 90°
B
οƒ  The angle at the
centre is twice the angle
at the circumference
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
If:
π‘Žπ‘Ÿπ‘”
a)
π‘§βˆ’6
πœ‹
=
π‘§βˆ’2
4
Sketch the locus of P(x,y), which
is represented by z on an Argand
diagram
οƒ  The argument above can be
rewritten using this rule:
π‘Žπ‘Ÿπ‘”
π‘Žπ‘Ÿπ‘”
π‘§βˆ’6
πœ‹
=
π‘§βˆ’2
4
𝑧1
= π‘Žπ‘Ÿπ‘” 𝑧1 βˆ’ π‘Žπ‘Ÿπ‘” 𝑧2
𝑧2
π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 6 βˆ’ π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 2 =
So what we are doing is drawing the locus of
points where the difference between these
arguments is Ο€/4
πœ‹
4
3F
Further complex numbers
y
arg(z – 6) = ΞΈ1
You can use complex numbers to
represent a locus of points on an
Argand diagram
arg(z – 2) = ΞΈ2
If:
π‘Žπ‘Ÿπ‘”
a)
ΞΈ2
π‘§βˆ’6
πœ‹
=
π‘§βˆ’2
4
Sketch the locus of P(x,y), which
is represented by z on an Argand
diagram
π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 6 βˆ’ π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 2 =
This angle must
therefore be ΞΈ1 – ΞΈ2,
the difference
between the
arguments!
ΞΈ1
πœ‹
4
So what we are doing is drawing the locus
of points where the difference between
these arguments is Ο€/4
However, there are more
points that satisfy this rule!
ΞΈ1
ΞΈ2
(2,0)
(6,0)
x
οƒ  Imagine drawing both arguments – we will use ΞΈ1 and ΞΈ2 to represent
their values
οƒ  Using alternate angles, we can show the angle between the
arguments is their difference
οƒ  We want this difference to be Ο€/4
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
If:
Ο€/
π‘§βˆ’6
πœ‹
π‘Žπ‘Ÿπ‘”
=
π‘§βˆ’2
4
a)
Ο€/
Sketch the locus of P(x,y), which
is represented by z on an Argand
diagram
π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 6 βˆ’ π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 2 =
πœ‹
4
So what we are doing is drawing the locus
of points where the difference between
these arguments is Ο€/4
Geogebra
Example
4
4
ΞΈ2
(2,0)
ΞΈ1
ΞΈ2
ΞΈ1
(6,0)
x
οƒ  If we move the point where the lines cross along the major arc of a
circle, then the value of Ο€/4 will remain the same
οƒ  The arguments will change but this doesn’t matter, it is the
difference that matters!
οƒ  So the locus of a difference between arguments is always given by
an arc of a circle
3F
Further complex numbers
y
β€œThe angle at the centre
is twice the angle at the
circumference”
You can use complex numbers to
represent a locus of points on an
Argand diagram
Ο€/
4
If:
π‘Žπ‘Ÿπ‘”
a)
π‘§βˆ’6
πœ‹
=
π‘§βˆ’2
4
Ο€/
Sketch the locus of P(x,y), which
is represented by z on an Argand
diagram
b) Find the Cartesian equation of this
locus
We need the centre of the β€˜circle’ and
its radius
οƒ  We need to use another of the
rules we saw:
(2,0)
2
(6,0)
x
We can use this isosceles triangle to find the
information we need…
Centre
Radius
Radius
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
Centre
Radius
Radius
If:
π‘Žπ‘Ÿπ‘”
a)
(4,2)
π‘§βˆ’6
πœ‹
=
π‘§βˆ’2
4
Sketch the locus of P(x,y), which
is represented by z on an Argand
diagram
b) Find the Cartesian equation of this
locus
We need the centre of the β€˜circle’ and
its radius
Centre (4,2)
Radius 2√2
Ο€/
4
2
Ο€/
4
(2,0)
2
(4,0)
(6,0)
οƒ  Split the triangle in the middle, the smaller angles will both be
Ο€/ (45α΅’) (because the top angle was Ο€/ )
4
2
οƒ  The middle of the base will be (4,0), and you can work out the
side lengths from this
οƒ  The top will therefore be at (4,2)
οƒ  Use Pythagoras’ Theorem to find the diagonal (the radius)
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
Ο€/
4
If:
π‘Žπ‘Ÿπ‘”
a)
π‘§βˆ’6
πœ‹
=
π‘§βˆ’2
4
Sketch the locus of P(x,y), which
is represented by z on an Argand
diagram
b) Find the Cartesian equation of this
locus
We need the centre of the β€˜circle’ and
its radius
Centre (4,2)
Radius 2√2
(6,0)
(2,0)
x
The locus is therefore the arc of a circle with the
following equation:
π‘₯βˆ’4
2
+ π‘¦βˆ’2
2
=8
𝑦>0
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
Generally, for this type of question,
you need to follow 3 steps:
Step 1: Mark on the Argand diagram
the two points where the arguments
start
Step 2: Decide whether the arc is
going to be major, minor, or a semicircle, by considering the angle
Step 3: Draw the arc between the
points. You always draw from the
numerator point to the denominator
point
οƒ  Anti-clockwise if ΞΈ is positive
οƒ  Clockwise if ΞΈ is negative
If the value we want is positive, then ΞΈ1 > ΞΈ2
If the value we want is negative, then ΞΈ2 > ΞΈ1
Drawing in the direction indicated in step 3 means
you will ensure the arguments are correct to give a
positive or negative answer
οƒ  As we do some examples we will refer to this!
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
Sketch the locus of P(x,y) on an Argand diagram if:
𝑧
πœ‹
π‘Žπ‘Ÿπ‘”
=
𝑧 βˆ’ 4𝑖
2
y
Generally, for this type of question,
you need to follow 3 steps:
Step 1: Mark on the Argand diagram
the two points where the arguments
start
Step 2: Decide whether the arc is
going to be major, minor, or a semicircle, by considering the angle
Step 3: Draw the arc between the
points. You always draw from the
numerator point to the denominator
point
οƒ  Anti-clockwise if ΞΈ is positive
οƒ  Clockwise if ΞΈ is negative
(0,4)
(0,0) and (0,4)
The angle to
make is Ο€/2
οƒ  A semi-circle
(0,0)
x
Θ is positive, so draw
anti-clockwise from (0,0)
(numerator point) to
(0,4) (denominator point)
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
οƒ  In step 3 we had to choose whether to draw the diagram clockwise or
anti-clockwise from the numerator point to the denominator point
οƒ  Lets show why this is correct!
y
y
(0,4)
(0,4)
ΞΈ2
ΞΈ2
ΞΈ2
ΞΈ1
ΞΈ2
ΞΈ1
ΞΈ1
ΞΈ1
x
(0,0)
οƒ  We drew the angle anticlockwise from (0,0) to
(0,4)
οƒ  However, as ΞΈ2 is
actually negative, the
sum is really ΞΈ1 + (-ΞΈ2)
οƒ  Using the alternate
angles, the angle between
the arguments is ΞΈ1 + ΞΈ2
= ΞΈ1 – ΞΈ2
οƒ  This angle is therefore
what we were wanting!
Basically, always use the rule in step 3!
x
(0,0)
οƒ  If we drew the arc
the other way clockwise from (0.0)
to (0,4)
οƒ  Using the alternate
angles, the on the
outside is ΞΈ1 + ΞΈ2
οƒ  However, as ΞΈ2 is
actually negative, the sum
is really ΞΈ1 + (-ΞΈ2)
= ΞΈ1 – ΞΈ2
οƒ  But of course it is on
the wrong side of the
arc so we do not want
this part of the circle!
3F
Further complex numbers
You can use complex numbers to
represent a locus of points on an
Argand diagram
Sketch the locus of P(x,y) on an Argand diagram if:
π‘Žπ‘Ÿπ‘”
𝑧 + 3𝑖
πœ‹
=
π‘§βˆ’2
3
y
Generally, for this type of question,
you need to follow 3 steps:
Step 1: Mark on the Argand diagram
the two points where the arguments
start
Step 2: Decide whether the arc is
going to be major, minor, or a semicircle, by considering the angle
Step 3: Draw the arc between the
points. You always draw from the
numerator point to the denominator
point
οƒ  Anti-clockwise if ΞΈ is positive
οƒ  Clockwise if ΞΈ is negative
(0,-3) and (0,2)
(0,2)
The angle to
make is Ο€/3
οƒ  A major arc
Θ is positive, so draw anticlockwise from (0,-3)
(numerator point) to (0,2)
(denominator point)
x
(0,-3)
3F
Further complex numbers
y
You can use complex numbers to
represent a locus of points on an
Argand diagram
3
Given that the complex number
z = x + iy satisfies the equation:
3
(12,5)
𝑧 βˆ’ 12 βˆ’ 5𝑖 = 3
Find the minimum and maximum values
of |z|
οƒ  Start by drawing this on an
Argand diagram
οƒ  It is a circle, centre (12,5) radius
3 units
13
x
οƒ  The smallest and largest values for |z| will be on the same straight line
through the circle’s centre
οƒ  You can mark the size of the radius on the diagram
οƒ  Find the distance from (0,0) to (12,5), then add/subtract 3 to find the
largest and smallest values
52 + 122 = 13
οƒ  So the largest value of |z| will be 16 and the smallest will be 10
3F
Further complex numbers
y
You can use complex numbers to
represent regions on a Argand diagram
This is very similar to what you have
been doing with loci
(4,2)
The only extra part is that once you
have drawn the locus representing the
point, you need to indicate the area
required
x
Shade on an Argand diagram the region
indicated by:
𝑧 βˆ’ 4 βˆ’ 2𝑖 ≀ 2
οƒ  Start with a circle, centre (4,2) and
radius 2 units (as 2 is the β€˜limit’)
The region we want is where the absolute value of z is
less than 2
οƒ  This will be the region inside the circle
3G
Further complex numbers
y
You can use complex numbers to
represent regions on a Argand diagram
This is very similar to what you have
been doing with loci
The only extra part is that once you
have drawn the locus representing the
point, you need to indicate the area
required
(4,0)
(6,0)
x
Shade on an Argand diagram the region
indicated by:
π‘§βˆ’4 < π‘§βˆ’6
οƒ  Start with the perpendicular bisector
between (4,0) and (6,0) as this is the
β€˜limit’
π‘§βˆ’4 < π‘§βˆ’6
The distance to |z – 4| must be less than the
distance to |z – 6|
οƒ  Shade the region closest to (4,0)
3G
Further complex numbers
y
You can use complex numbers to
represent regions on a Argand diagram
This is very similar to what you have
been doing with loci
𝝅
πŸ’
(2,2)
The only extra part is that once you
have drawn the locus representing the
point, you need to indicate the area
required
Shade on an Argand diagram the region
indicated by:
πœ‹
0 ≀ π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 2 βˆ’ 2𝑖 ≀
4
οƒ  Start by drawing the limits of the
argument from the point (2,2)
x
The argument must be between these two values
οƒ  Shade the region between the two arguments
3G
Further complex numbers
y
You can use complex numbers to
represent regions on a Argand diagram
This is very similar to what you have
been doing with loci
The only extra part is that once you
have drawn the locus representing the
point, you need to indicate the area
required
x
Shade on an Argand diagram the region
indicated by:
𝑧 βˆ’ 4 βˆ’ 2𝑖 ≀ 2
Imagine all the regions were on the same diagram
π‘§βˆ’4 < π‘§βˆ’6
and
0 ≀ π‘Žπ‘Ÿπ‘” 𝑧 βˆ’ 2 βˆ’ 2𝑖 ≀
πœ‹
4
οƒ  The region we want will have to satisfy all of
these at the same time!
3G
Test Your Understanding
P6 June 2003 Q4(i)(b)
Shade the region for which
πœ‹
πœ‹
𝑧 βˆ’ 1 ≀ 1 and ≀ arg 𝑧 + 1 ≀
12
2
?
Further complex numbers
y
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The z-plane
(uses x and y)
x
Effectively we take a set of points in
the complex plane, transform them all
and map them on a new complex plane
οƒ  You will need to use Algebraic
methods a lot for this as visualising the
transformations can be very difficult!
Transformation
from one plane
to the next!
v
The w-plane
(uses u and v)
u
3H
Further complex numbers
y
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The point P represents the complex
number z on an Argand diagram where
|z| = 2.
T1 represents a transformation from the
z plane, where z = x + iy, to the w-plane
where w = u + iv.
v
x
The z-plane
u
The w-plane
Circle centre
(0,0), radius 2
Circle centre (-2,4),
radius 2
οƒ  To start with, make z the subject
𝑀 = 𝑧 βˆ’ 2 + 4𝑖
Add 2, subtract 4i
Describe the locus of P under the
transformation T1, when T1 is given by:
𝑧 = 𝑀 + 2 βˆ’ 4𝑖
𝑇1 : 𝑀 = 𝑧 βˆ’ 2 + 4𝑖
𝑧 = 𝑀 + 2 βˆ’ 4𝑖
οƒ  We will work out the new set of
points algebraically…
2 = 𝑀 + 2 βˆ’ 4𝑖
The modulus of each
side must be the same
We know |z| from
the question
Circle, centre (-2,4), radius 2
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The point P represents the complex
number z on an Argand diagram where
|z| = 2.
T2 represents a transformation from
the z plane, where z = x + iy, to the wplane where w = u + iv.
Describe the locus of P under the
transformation T2, when T2 is given by:
𝑇2 : 𝑀 = 3𝑧
οƒ  We will work out the new set of
points algebraically…
The z-plane
y
The w-plane
v
x
Circle centre
(0,0), radius 2
u
Circle centre (0,0),
radius 6
οƒ  To start with, make z the subject
𝑀 = 3𝑧
𝑀
=𝑧
3
Divide by 3
𝑀
= 𝑧
3
𝑀
=2
3
|z|= 2
Split the modulus up
Modulus of
both sides
𝑧1
𝑧1
=
𝑧2
𝑧2
|3|=3 so multiply by 3
𝑀 =6
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The point P represents the complex
number z on an Argand diagram where
|z| = 2.
T2 represents a transformation from
the z plane, where z = x + iy, to the wplane where w = u + iv.
Describe the locus of P under the
transformation T3, when T3 is given by:
1
𝑇3 : 𝑀 = 𝑧 + 𝑖
2
οƒ  We will work out the new set of
points algebraically…
The z-plane
y
The w-plane
v
x
Circle centre
(0,0), radius 2
u
Circle centre (0,1),
radius 1
οƒ  To start with, make z the subject
1
𝑧+𝑖
2
1
π‘€βˆ’π‘– = 𝑧
2
𝑀=
1
π‘€βˆ’π‘– = 𝑧
2
1
π‘€βˆ’π‘– =
𝑧
2
1
π‘€βˆ’π‘– =
2
2
Subtract i
Leaving z like this can make
the problem easier! (rather
than rearranging
completely)
Modulus of both sides
You can split the
modulus on the right
𝑧1 𝑧2 = 𝑧1 𝑧2
|z| = 2
Simplify the right side
π‘€βˆ’π‘– =1
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
For the transformation w = z2, where
z = x + iy and w = u + iv, find the locus of
w when z lies on a circle with equation
x2 + y2 = 16
οƒ  It is very important for this topic
that you draw information on z or
|z| from the question
The z-plane
y
The w-plane
x
Circle centre
(0,0), radius 4
u
Circle centre (0,0),
radius 16
𝑀 = 𝑧2
𝑀 = 𝑧2
οƒ  The equation x2 + y2 = 16 is a circle,
centre (0,0) and radius 4
𝑀 = 𝑧 𝑧
οƒ  Therefore |z| = 4
𝑀 =4×4
οƒ  We now proceed as before, by
writing the equation linking w and z
in such a way that |z| can be
replaced
v
Modulus of both sides
Split the modulus up
Replace |z| with 4
Calculate
𝑀 = 16
Circle, centre (0,0) and radius 16
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The transformation T from the z-plane,
where z = x + iy, to the w-plane, where
w = u + iv, is given by:
𝑀=
5𝑖𝑧 + 𝑖
𝑧+1
Show that the image, under T, of the
circle |z| = 1 in the z-plane, is a line l in
the w-plane. Sketch l on an Argand
diagram.
οƒ  Make z the subject!
οƒ  Now eliminate z using what we
know…
𝑀=
5𝑖𝑧 + 𝑖
𝑧+1
Multiply by (z + 1)
𝑀(𝑧 + 1) = 5𝑖𝑧 + 𝑖
Expand the bracket
𝑀𝑧 + 𝑀 = 5𝑖𝑧 + 𝑖
𝑀𝑧 βˆ’ 5𝑖𝑧 = 𝑖 βˆ’ 𝑀
Subtract 5iz and
subtract w
Factorise the left side
𝑧(𝑀 βˆ’ 5𝑖) = 𝑖 βˆ’ 𝑀
π‘–βˆ’π‘€
𝑧=
𝑀 βˆ’ 5𝑖
𝑧 =
1=
π‘–βˆ’π‘€
𝑀 βˆ’ 5𝑖
π‘–βˆ’π‘€
𝑀 βˆ’ 5𝑖
Divide by (w – 5i)
Modulus of both sides
|z| = 1
Multiply by |w – 5i|
𝑀 βˆ’ 5𝑖 = 𝑖 βˆ’ 𝑀
𝑀 βˆ’ 5𝑖 = 𝑀 βˆ’ 𝑖
|i - w| = |w – i|
3H
Further complex numbers
Transformation T
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The transformation T from the z-plane,
where z = x + iy, to the w-plane, where
w = u + iv, is given by:
𝑀=
5𝑖𝑧 + 𝑖
𝑧+1
Show that the image, under T, of the
circle |z| = 1 in the z-plane, is a line l in
the w-plane. Sketch l on an Argand
diagram.
𝑀 βˆ’ 5𝑖 = 𝑀 βˆ’ 𝑖
𝑧 =1
Circle centre
(0,0), radius 1
The z-plane
Perpendicular bisector
between (0,1) and (0,5)
οƒ  The line v = 3
y
The w-plane
v
x
u
So a circle can be transformed into a
straight line!
3H
Test Your Understanding
FP2 June 2009 Q6
A transformation 𝑇 from the 𝑧-plane to the 𝑀-plane is given by
𝑧
𝑀=
,
𝑧 β‰  βˆ’π‘–
𝑧+𝑖
The circle with equation 𝑧 = 3 is mapped by 𝑇 onto the curve 𝐢.
(a) Show that 𝐢 is a circle and find its centre and radius. (8)
(b) The region 𝑧 < 3 in the 𝑧-plane is mapped by 𝑇 onto the region 𝑅
in the 𝑀-plane. Shaded the region 𝑅 on an Argand diagram. (2)
(Hint: be careful and don’t guess! Try a value of 𝑧 where you know that 𝑧 < 3, and
then transform it to see where it ends up.)
?
?
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The transformation T from the z-plane,
where z = x + iy, to the w-plane, where
w = u + iv, is given by:
𝑀=
3𝑧 βˆ’ 2
𝑧+1
𝑀 𝑧 + 1 = 3𝑧 βˆ’ 2
Expand the bracket
𝑀𝑧 + 𝑀 = 3𝑧 βˆ’ 2
Subtract wz and add 2
𝑀 + 2 = 3𝑧 βˆ’ 𝑀𝑧
Factorise the right side
𝑀 + 2 = 𝑧(3 βˆ’ 𝑀)
3𝑧 βˆ’ 2
𝑀=
𝑧+1
𝑀+2
=𝑧
3βˆ’π‘€
Show that the image, under T, of the
circle with equation x2 + y2 = 4 in the
z-plane, is a different circle C in the
w-plane.
𝑀+2
= 𝑧
3βˆ’π‘€
State the centre and radius of C.
Multiply by (z + 1)
𝑀+2
=2
3βˆ’π‘€
Divide by (3 – w)
Modulus of each side
Split up the modulus
|z| = 2
Multiply by |3 - w|
𝑀+2 =2 3βˆ’π‘€
|3 - w| = |w - 3|
οƒ  Remember that x2 + y2 = 4 is the same
as |z| = 2
𝑀+2 =2 π‘€βˆ’3
We now need to find what the equation of this will be!
3H
We will find the equation as we did in the early part of section 3F!
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The transformation T from the z-plane,
where z = x + iy, to the w-plane, where
w = u + iv, is given by:
𝑀=
3𝑧 βˆ’ 2
𝑧+1
Show that the image, under T, of the
circle with equation x2 + y2 = 4 in the
z-plane, is a different circle C in the
w-plane.
State the centre and radius of C.
x2
y2
οƒ  Remember that
+
= 4 is the same
as |z| = 2
𝑀+2 =2 π‘€βˆ’3
Replace w with β€˜u + iv’
𝑒 + 𝑖𝑣 + 2 = 2 𝑒 + 𝑖𝑣 βˆ’ 3
Group real/imaginary
terms
𝑒 + 2 + 𝑖𝑣 = 2 (𝑒 βˆ’ 3) + 𝑖𝑣
Remove the modulus
𝑒+2
2
2
+𝑣 = 4 π‘’βˆ’3
2
+𝑣
2
Expand brackets
𝑒2 + 4𝑒 + 4 + 𝑣 2 = 4 𝑒2 βˆ’ 6𝑒 + 9 + 𝑣 2
𝑒2 + 4𝑒 + 4 + 𝑣 2 = 4𝑒2 βˆ’ 24𝑒 + 36 + 4𝑣 2
0 = 3𝑒2 βˆ’ 28𝑒 + 3𝑣 2 + 32
0 = 𝑒2 βˆ’
2
100
14
= π‘’βˆ’
9
3
2
14
βˆ’
3
Move all to
one side
Divide by 3
28
32
𝑒 + 𝑣2 +
3
3
14
0= π‘’βˆ’
3
Expand more
brackets!
2
+ 𝑣2 +
+ 𝑣2
32
3
Use
completing
the square
Move the
number terms
across
Circle, centre (14/3,0), radius 10/3
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
The transformation T from the z-plane,
where z = x + iy, to the w-plane, where
w = u + iv, is given by:
𝑀=
3𝑧 βˆ’ 2
𝑧+1
Show that the image, under T, of the
circle with equation x2 + y2 = 4 in the
z-plane, is a different circle C in the
w-plane.
𝑧 =2
2
Transformation T
14
π‘’βˆ’
3
2
π‘₯ +𝑦 =4
Circle centre
(0,0), radius 2
The z-plane
𝑀+2 =2 π‘€βˆ’3
2
+ 𝑣2 =
100
9
Circle, centre (14/3,0),
radius 10/3
y
The w-plane
x
v
u
State the centre and radius of C.
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
A transformation T of the z-plane to
the w-plane is given by:
𝑀=
𝑖𝑧 βˆ’ 2
1βˆ’π‘§
Show that as z lies on the real axis in
the z-plane, then w lies on a line l in the
w-plane. Find the equation of l and
sketch it on an Argand diagram.
οƒ  Start by rearranging to make z the
subject β€˜as usual’
𝑀=
𝑖𝑧 βˆ’ 2
1βˆ’π‘§
𝑀 1 βˆ’ 𝑧 = 𝑖𝑧 βˆ’ 2
𝑀 βˆ’ 𝑀𝑧 = 𝑖𝑧 βˆ’ 2
𝑀 + 2 = 𝑖𝑧 + 𝑀𝑧
Multiply by (1 – z)
Expand the bracket
Add 2, Add wz
Factorise the right side
𝑀 + 2 = 𝑧(𝑖 + 𝑀)
𝑀+2
=𝑧
𝑖+𝑀
𝑧=
𝑀+2
𝑖+𝑀
𝑀+2
𝑧=
𝑀+𝑖
Divide by (i + w)
Write the other way round (if
you feel it is easier!)
i+w=w+i
At this point we have a problem, as we do not know anything about |z|
οƒ  However, as z lies on the β€˜real’ axis, we know that y = 0
οƒ  Replace z with β€˜x + iy’
π‘₯ + 𝑖𝑦 =
𝑀+2
𝑀+𝑖
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
A transformation T of the z-plane to
the w-plane is given by:
𝑀=
𝑖𝑧 βˆ’ 2
1βˆ’π‘§
Show that as z lies on the real axis in
the z-plane, then w lies on a line l in the
w-plane. Find the equation of l and
sketch it on an Argand diagram.
οƒ  Now, you need to rewrite the right
side so you can separate all the real
and imaginary terms
οƒ  You must be extremely careful with
positives and negatives here!
π‘₯ + 𝑖𝑦 =
π‘₯ + 𝑖𝑦 =
𝑀+2
𝑀+𝑖
𝑒 + 𝑖𝑣 + 2
𝑒 + 𝑖𝑣 + 𝑖
Replace w with u + iv
Group real and imaginary terms
π‘₯ + 𝑖𝑦 =
𝑒 + 2 + 𝑖𝑣
𝑒 + 𝑖(𝑣 + 1)
π‘₯ + 𝑖𝑦 =
𝑒 + 2 + 𝑖𝑣 𝑒 βˆ’ 𝑖(𝑣 + 1)
×
𝑒 + 𝑖(𝑣 + 1) 𝑒 βˆ’ 𝑖(𝑣 + 1)
π‘₯ + 𝑖𝑦 =
𝑒(𝑒 + 2) βˆ’ 𝑖(𝑒 + 2)(𝑣 + 1) + 𝑖𝑒𝑣 βˆ’ 𝑖 2 𝑣(𝑣 + 1)
𝑒2 βˆ’ 𝑖𝑒(𝑣 + 1) + 𝑖𝑒(𝑣 + 1) βˆ’ 𝑖 2 (𝑣 + 1)2
π‘₯ + 𝑖𝑦 =
π‘₯ + 𝑖𝑦 =
Multiply by the
denominator but with the
opposite sign (this will
cancel β€˜i’ terms on the
bottom
𝑒(𝑒 + 2) + 𝑣(𝑣 + 1) + 𝑖𝑒𝑣 βˆ’ 𝑖(𝑒 + 2)(𝑣 + 1)
𝑒2 + (𝑣 + 1)2
𝑒𝑣 βˆ’ (𝑒 + 2)(𝑣 + 1)
𝑒 𝑒 + 2 + 𝑣(𝑣 + 1)
𝑖
+
𝑒2 + 𝑣 + 1 2
𝑒2 + 𝑣 + 1 2
Simplify
i2 = -1
Separate
real and
β€˜i’ terms
As z lies on the x-axis, we know y = 0
οƒ  Therefore, the imaginary part on the right side must
also equal 0
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
A transformation T of the z-plane to
the w-plane is given by:
𝑀=
𝑖𝑧 βˆ’ 2
1βˆ’π‘§
Show that as z lies on the real axis in
the z-plane, then w lies on a line l in the
w-plane. Find the equation of l and
sketch it on an Argand diagram.
π‘₯ + 𝑖𝑦 =
𝑒𝑣 βˆ’ (𝑒 + 2)(𝑣 + 1)
𝑒 𝑒 + 2 + 𝑣(𝑣 + 1)
𝑖
+
𝑒2 + 𝑣 + 1 2
𝑒2 + 𝑣 + 1 2
οƒ  Set the imaginary part equal to 0
𝑒𝑣 βˆ’ (𝑒 + 2)(𝑣 + 1)
=0
𝑒2 + 𝑣 + 1 2
𝑒𝑣 βˆ’ (𝑒 + 2)(𝑣 + 1) = 0
Multiply by (u2 + (v + 1)2)
(you will be left with the
numerator)
Multiply out the double bracket
𝑒𝑣 βˆ’ (𝑒𝑣 + 2𝑣 + 𝑒 + 2) = 0
Subtract all these terms
𝑒𝑣 βˆ’ 𝑒𝑣 βˆ’ 2𝑣 βˆ’ 𝑒 βˆ’ 2 = 0
The β€˜uv’ terms cancel out
βˆ’2𝑣 βˆ’ 𝑒 βˆ’ 2 = 0
Make v the subject
2𝑣 = βˆ’π‘’ βˆ’ 2
οƒ  You can now find an equation for the
line in the w-plane
1
𝑣 =βˆ’ π‘’βˆ’1
2
Divide by 2
So the transformation has created this line in the w-plane
(remember v is essentially β€˜y’ and u is essentially β€˜x’)
3H
Further complex numbers
You can apply transformations that
map points on the z-plane to points on
the w-plane by applying a formula
relating to z = x + iy to w = u + iv
Transformation T
𝑦=0
(z lies on the
real axis)
1
𝑣 =βˆ’ π‘’βˆ’1
2
Straight line, gradient is
1/ and y-intercept at
2
(0,-1)
A transformation T of the z-plane to
the w-plane is given by:
𝑖𝑧 βˆ’ 2
𝑀=
1βˆ’π‘§
The z-plane
y
v
The w-plane
Show that as z lies on the real axis in
the z-plane, then w lies on a line l in the
w-plane. Find the equation of l and
sketch it on an Argand diagram.
x
π’š=𝟎
-2
u
-1
𝟏
𝒗=βˆ’ π’–βˆ’πŸ
𝟐
3H
Summary
β€’ You have learnt a lot in this chapter!!
β€’ You have seen proofs of and uses of De
Moivre’s theorem
β€’ You have found real and complex roots of
powers
β€’ You have see how to plot Loci and perform
transformations of complex functions