I Version Complex Numbers
I Version Complex Numbers
N = {1, 2, 3, 4, . . .}
which are the standard counting numbers. Using these numbers we can solve some equations:
x+2=7
x + 8 = 5.
We can’t solve this last equation, because its solution requires a negative number, and our
starting set N doesn’t have negative numbers. So what we need to do is to enlarge our set to
include negative numbers. Our new set is the set of integers:
and now we can certainly solve more equations. But not all! What about
3x + 4 = 9?
Well, to solve this equation we need fractions. So—enlarge the set yet again, to obtain the set
of rational numbers:
p
Q= , p, q ∈ Z, q 6= 0 .
q
Even with this new set, we still can’t solve all equations; for example:
x2 − 2 = 0.
√
The solution for this is x = 2, and it can be shown that this is not a rational number. So we
need the irrationals as well, and the new set which includes all the rationals and irrationals is
the set of real numbers. We can think of the real numbers as all possible numbers which can be
expressed as finite or infinite decimals.
The real numbers are a fine and dandy set of numbers, and we need them for lots of things
in our mathematical lives. But are they good enough for solving equations? For example:
x2 + 4 = 0.
x2 = −4
and the real numbers have the property that all squares are positive.
You know the drill now—if we can’t solve an equation with the numbers we have, enlarge
the set to include some more numbers to help us. The trouble is that we’ve gone as far as we
can using the symbols 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. So if we are to have any new numbers, we’re going
to have some new symbols for them. In fact we only need one new number, denoted i
and which satisfies
i2 = −1.
1
You see why we need a new symbol—no real number can satisfy this property, and the real
numbers already use all the digit symbols. So here is a new number.
We now define the complex numbers to be
C = {a + bi, a, b ∈ R}.
z = x + yi
x = Re(z).
y = Im(z).
For example, if
z = 3 + 5i
then
Re(z) = 3, Im(z) = 5.
Equality
Two complex numbers are equal if and only if both their real parts and imaginary parts are
equals. In symbols:
2
Complex conjugate
For any complex number
z = a + bi
z = a − bi.
z = 4 + 7i
then
z = 4 − 7i.
And if
z = 8 − 3i
then
z = 8 + 3i.
Notice that if you add a number and its complex conjugate, the imaginary parts cancel out and
you end up with a real number.
and
Arithmetic: multiplication
To multiply two complex numbers, just multiply out the brackets, and at the end substitute −1
for i2 :
3
Arithmetic: division
We have noted above the that the sum of a complex number z and its complex conjugate z is
real. But what about their product? Let’s try an example:
Note that the i’s again cancel out. To prove that this always happens, try the same thing with
symbols:
We have just shown that for any complex number z, that zz is real. We use this fact to perform
division; given
w
z
multiply both top and bottom by z. Here’s an example:
13 − 18i (13 − 18i)(2 + 5i)
=
2 − 5i (2 − 5i)(2 + 5i)
116 + 29i
=
29
= 4 + i.
z = 16 + 30i.
w = x + yi.
4
Then
x2 − y 2 = 16
2xy = 30.
−1 + 3i
3i
2i 3 + 2i
x
−4 −3 −2 −1 1 2 3 4
−i
−2i
−2 − 2i
−3i
2 − 3i
5
Such a picture, of numbers plotted on the complex plane, is also called an Argand diagram1
Given a plot of complex numbers, we can introduce the polar form, which involves the
distance from the origin, and the angle to the positive x-axis:
x + yi
In order to obtain relationships between the values x, y, r and θ, first redraw the above diagram
as a right-angled triangle:
r
y
x
By Pythagoras’ theorem, we have
r 2 = x2 + y 2
so that
p
r= x2 + y 2 .
x = r cos θ
y = r sin θ
tan θ = y/x
The value r is called the absolute value or the modulus of the complex number z = x + yi and
is denoted |z|. The value θ is called the argument of z, and is denoted arg(z).
From the above equations, we can write
x + yi = r cos θ + ri sin θ
= r(cos θ + i sin θ)
This last expression is the polar form of the complex number z = x + yi. The original “x + yi”
form is called the Cartesian form of z. Because the expression cos θ + i sin θ occurs so often in
discussing complex numbers, it is often abbreviated to cis θ, so the polar form can be written as
r cis θ.
1
Named after the French mathematician Jean-Robert Argand (1768–1822).
6
There is another way of writing the complex number in polar form. And this is because cis θ
is an exponential function. In fact (see 5.2 Euler formula):
z = reiθ
where r and θ are the modulus and argument, as before. This “new form” of a complex num-
ber is sometimes called its exponential form. In fact, it isn’t really a new form, it’s just a new
way of writing the polar form, but using an exponential function instead of the abbreviation cis θ.
If we consider the complex number z = −1, which has r = 1 and θ = π, the exponential
form produces
eiπ + 1 = 0
which is known as Euler’s formula.
From now on we shall use the exponential version of the form, alternative usage of cis θ is
shown in the appendix.
We have seen that the number can be represented in a polar form as z = (r, θ) and written
as
z = reiθ .
θ is the principal argument z - the unique value of the argument that is in the range −π < θ ≤ π
sometimes denoted as Arg z
And now:
p
r = |z| = x2 + y 2
y
Let β = arctan
x
Then θ value depends on a quadrant of z.
β for z in the first quadrant
π − β for z in the second quadrant
θ=
β − π for z in the third quadrant
−β for z in the fourth quadrant
z = −2 + 2i.
Then
p √ √ √
r= (−1)2 + (2)2 = 4 + 4 = 8 = 2 2.
−1
2 π
β = tan − 2 = 4
7
Since x < 0 and y > 0 then z is located in the second quadrant (You can check this by
drawing a diagram.)
π 3π
θ=π− = .
4 4
Thus:
3π
√ i
z= reiθ = 2 2e 4
Example
Show that:
√ π
1. If z1 = 1 + i then z1 = 2ei 4
√ 3π
2. If z2 = −1 − i then z2 = 2e−i 4
√ 2π
3. if z3 = −1 + 3 then z3 = 2ei 3
√ √ π
4. If z4 = 2 − i 2 then z3 = 2e−i 4
Solution:
1.
z1 = 1 + i, x = 1 and y = 1
p p √
r = x2 + y 2 = 12 + 1 2 = 2
y π
arctan =
x 4
π
As z1 is located in the first quadrant θ =
π 4
i π4 ◦
z1 = e 1, or (1, 45 )
4
2.
z2 = −1 − i, x = −1 and y = −1
p q √
r = x + y = (−1)2 + (−1)2 = 2
2 2
y π
arctan =
x 4
π 3π
As z2 is located in the third quadrant θ = − π = −
4 4
√ −i 3π √ √
3π
z3 = 2e 4 2, − or 2, −150◦
4
3.
√ √
z3 = −1 + i 3, x = −1 and y = 3
√ 2 √
p q
r = x + y = (−1)2 + ( 3) = 4 = 2
2 2
y π
arctan =
x 3
π 2π
As z3 is located in the second quadrant θ = π - =
3 3
2π 2π
z3 = 2ei 3 2,
3
8
4.
√ √ √ √
z4 = 2 − i 2, x = 2 and y = − 2
√ 2 √ 2 √
p q
2 2
r = x + y = ( 2) + (− 2) = 2 + 2 = 2
y π
arctan =
x 4
π
As z4 is located in the fourth quadrant θ = -
4
−i π4
π
z4 = 2e 2, −
4
For example:
3π 3π 3π 27π
ei 4 = ei( 4
+2π·3)
= ei( 4
+6π)
= ei 4
3π 27π
Both ei 4 and ei 4 refer to the same point −0.707 + 0.707i on the Argand diagram.
Example
77π
Find the principle argument for ei 3
Solution
9
Try it by yourself
Find the principle argument for:
177π
ei 5
and
317π
e−i 4
This means that the product of two complex numbers can be obtained (in polar form) by mul-
tiplying their moduli, and adding their arguments.
10
Powers with polar forms
z = reiθ
z n = (reiθ )n = rn einθ
Example
−99
1+i
Express √
2
in a Cartesian x + iy form.
√ π
From previous example we know that:1 + i = 2ei 4
1+i π
z= √ = ei 4
2
π −99 99π 3π 3π
z −99
= ei 4 = e−i 4 = ei(− 4 −2π·12) = e−i 4
Example
Express
4
√
9
3 + 43 i
3
z= √ √ 19
2−i 2
in a Cartesian x + iy form.
11
Combining the answers, we have:
27 iπ
2 −2
z1 9 e 28 − iπ +i 3π 28 i π
z= = 3 = e 2 4 = e 4
z2 2
3π
19 e−i( 4 ) 39 39
√ √
28 2 2
z = 9( + i) ≈ 0.009(1 + i)
3 2 2
z = rei(θ+k2π) (k = 0, 1, 2, . . . , n − 1)
1 1
z n = (rei(θ+k2π) ) n
1 1 θ+2kπ
z n = r n ei n (k = 0, 1, 2, . . . , n − 1)
Example
Find all cube roots of 8
We will be looking for 3 solutions. Convert 8 to polar form. It’s principle argument is 0.
z = 8 = 8ei(0) = 8ei(0+2kπ) , (k = 0, 1, 2)
1 1 2kπ
z 3 = 8 3 ei 3
1
(8) 3 ei(0) = 2, k = 0
1
1 (0+2kπ) 2π √
(8) 3 ei 3 = 2ei 3 = 2 cos 2π + sin 2π
z3 = 3 3 = −1 + i 3, k = 1
1 (0+2·2π) 4π 2π √
(8) 3 ei 3 = 2ei 3 = 2e−i 3 = 2 cos − 2π 2π
3 + sin − 3 = −1 − i 3, k = 2
12
Im z
k=1
k=0
1 Re z
k=2
Example
Find all roots of
1
−1 − i 5
√
2
−1 − i 3π 3π
5
z = √ = e−i 4 = e−i( 4
+2kπ ) , k = 0, 1, 2, 3, 4
2
1 3π
1 3+8k
z 5 = e−i( 4 +2kπ) = e−iπ( 20 ) , k = 0, 1, 2, 3, 4
5
3
e−iπ 20 = cos − 3π 3π
20 + i sin − 20 = 0.89 − 0.45i, k = 0
−iπ ( 3+8·1
20 ) = e
11
−iπ ( 20 ) = −0.15 − 0.98i, k = 1
e
1
3+8·2 19
z5 = e−iπ( 20 ) = e−iπ( 20 ) = −0.98 − 0.15i, k = 2
3+8·3 27 13
e−iπ( 20 ) = e−iπ( 20 ) = eiπ( 20 ) = −0.45 + 0.89i, k = 3
3+8·4 35 5
e−iπ( 20 ) = e−iπ( 20 ) = eiπ( 20 ) = 0.71 + 0.71i, k = 4
13
Im z
k=3 i
k=4
1 Re z
k=2
k=0
k=1
14
This is the solution we require.
The same can be achieved by the completion of the square method.
z 2 + 6z + 13 = 0
(z + 3)2 − 9 + 13 = 0
(z + 3)2 = −4
√
z + 3 = ± −4 = ±2i
z = −3 ± 2i
There’s nothing in the formula which requires the coefficients a, b and c to be real. We can
use the formula to solve equations such as:
x2 − (1 + 7i)x + (11i − 16) = 0.
We can apply the quadratic formula to this, using
a=1
b = −1 − 7i
c = 11i − 16
Here’s the formula:
p
1 + 7i ± (−1 − 7i)2 − 4(1)(11i − 16)
x=
√ 2
1 + 7i ± −48 + 14i − 44i + 64
=
√ 2
1 + 7i ± 16 − 30i
=
2
Using the method presented earlier, we can find that
√
16 − 30i = 5 − 3i.
Then the solution can be continued as
1 + 7i ± (5 − 3i)
x=
2
1 + 7i + (5 − 3i) 1 + 7i − (5 − 3i)
= ,
2 2
6 + 4i −4 + 10i
= ,
2 2
= 3 + 2i, −2 + 5i.
15
Circles
Complex numbers provide a very neat way of describing such curves. Since for any complex
number z, its modulus |z| is its distance from the origin, then the distance between any two
points w and z on the Argand plane is given by |w − z|.
Suppose w = a + bi. Then the circle with centre w and radius r consists of all complex
numbers z for which
|z − w| = r.
As for any z = x + iy we have:
|z − w| = r
q
|x + iy − a − bi| = |(x − a) + i (y − b)| = (x − a)2 + (y − b)2
q
(x − a)2 + (y − b)2 = r
(x − a)2 + (y − b)2 = r2
Lines
Example
What is represented by all z satisfying Im(z(2 − i))?
Example
z +i
z − 3 = 1
|z + i| = |z − 3|
|x + i(1 + y)| = |(x − 3) + iy|
q q
x2 + (1 + y)2 = (x − 3)2 + y 2
x2 + 1 + 2y + y 2 = x2 − 6x + 9 + y 2
2y = −6x + 8
y = −3x + 4
yi
16
Try by yourself
Determine the shape of:
z + i
z − i = 2
Ellipses (Optional)
An ellipse can be described by two points, called foci, such that the sum of the distance to the
foci is constant. For example, suppose we have the ellipse
x2 y 2
+ = 1.
9 4
√ √
It can be shown that the foci are at points (− 5, 0) and ( 5, 0), and the common distance sum
to these foci is 6:
a
b
a+b=6
This ellipse can be described in the Argand plane as being the locus of all points z for which
√ √
|z − 5| + |z + 5| = 6.
That can be proven algebraically, although it is very tedious. The following outlines the
major steps for those who would like to follow.
√ √
|x − 5 + iy| + |x + 5 + iy| = 6.
17
q √ q √
(x − 5) + y + (x + 5)2 + y 2 = 6.
2 2
q √ q √
(x − 5) + y = 6 − (x + 5)2 + y 2 .
2 2
p 2 2
√ 2 2
q √
5 − 2x (5) + x + y = 41 + 2 5x + x + y − 12 (x + 5)2 + y 2 )
4x2 + 9y 2 = 36
The nice thing about this approach is that we can draw ellipses at all sorts of angles. For
example:
|z − (1 + j)| + |z + i| = 3
1+i
−i
|z − w| + |z − v| = s
18
where w and v are complex numbers, and s is a real number. First, draw w and v on an Argand
plane and draw a line through them. Find the midpoint (w + v)/2 and draw a perpendicular
line through it. These lines will be the axes of the ellipse. Determine f = |w − v| which is the
distance between w and v. Then determine the values
a = s/2
p
b = ( s2 − f 2 )/2
These are the lengths of the ellipse in the directions of the focal line and perependicular line.
One more example:
√
10
−1 + 2i
2+i
Next find the middle point m = (w + v)/2 = 0.5 + 1.5i and draw a perpendicular line through
it:
−1 + 2i
m
2+i
Now compute
a = s/2 = 2.5,
p √ √
b = ( s2 − f 2 )/2 = ( 25 − 10)/2 = 15/2 ≈ 1.936.
19
So we measure 2.5 from the centre along the focal line, and 1.936 in each direction along the
perpendicular line:
1.936
2.5
2.5
w
1.936
Finally, draw the ellipse to fit the four new outer points:
20
Trigonometric identities
Recall from earlier that we used the identities:
to establish that multiplying in polar form corresponded to adding the arguments. We can go
the other way, and use the polar form of complex numbers to establish trigonometric identites.
For example, we have
by de Moivre’s formula. We can expand the right hand side using the binomial theorem:
(cos θ + i sin θ)3 = cos3 θ + 3i cos2 θ sin θ + 3i2 cos θ sin2 θ + i3 sin3 θ
and simplify:
(cos θ + i sin θ)3 = (cos3 θ − 3 cos θ sin2 θ) + i(3 cos2 θ sin θ − 3 sin3 θ).
Clearly this approach can be used to generate identities for cos nθ and sin nθ for any n.
We can also perform what’s called power reduction, in which a power of a trigonometric
function can be represented as a sum of cos kθ and sin kθ for various values of k. For example,
let’s see if we can express sin4 θ as a sum.
Start with
eiθ − e−iθ
sin θ =
2i
and if we add them we obtain:
eiθ + e−iθ
cos θ = .
2
Raising the sin θ expression to the fourth power, and expanding the right hand side using the
binomial theorem produces
eiθ e−iθ = 1
the huge numerator above can be first simplified by removing all powers of eiθ e−iθ , to produce:
21
Collecting like terms produces:
2 cos 4θ − 8 cos 2θ + 6.
Integration
Prove that:
eax
Z
I= eax cos(bx)dx = (a cos(bx) + b sin(bx))
a2 + b2
This could be done by integration by parts, twice, but is messy and fiddly. Here’s a way with
complex numbers. Main idea:
cos(bx) = Re(eibx )
Z Z Z Z
ax ax ibx ax ibx x(a+ib)
I = e cos(bx)dx = e Re(e )dx = Re e e dx = Re e dx
eax
I= (a cos(bx) + b sin(bx)) + C
a2 + b2
Example
Evaluate the integral
Z
e3x sin 4x dx.
22
Then the integral is
Z Z
(3+4i)x
Im(e ) = Im e(3+4i)x dx
1
= Im e(3+4i)x + C .
3 + 4i
(3 − 4i)(e(3+4i)x )
32 + 42
for which the imaginary part (which is all we want) is
1
(3e3x sin 4x − 4e3x cos 4x).
25
So we have found that
Z
1
e3x sin 4x dx = (3e3x sin 4x − 4e3x cos 4x) + C.
25
Exercises
1. Compute the complex number corresponding to each of the following:
(i) (3 + 4j) + (6 − 3j) (ii) 3(5 − j) − 2(−1 + 2j) (iii) (2 + j)(3 − 2j)
(iv) (4 − 3j)(−2 + 5j) (v) (17 + 6j)/(4 − 3j) (vi) (1 + j)/(2 − 5j)
2. Compute each of the following:
(i) (1 − 2j)2 , (1 + 2j)2 (ii) (4 + 3j)2 , (4 − 3j)2 (iii) (5 − 3j)2 , (5 + 3j)2
Can you guess at a general rule about squares and squares of conjugates? Can you prove
your rule?
5. Using the polar forms from the previous questions, compute the following powers:
14
√
1 1
(i) (−1 + j)7 (ii) (1 − 3j)6 (iii) √ −√ j
√ 2 2
(iv) ( 3 + j)9 (v) (−3 − 3j)5 (vi) (−4)2
6. Find
(i) all the cube roots of −2 + 2j, (ii) all the fourth roots of −4.
In each case sketch all roots on an Argand diagram.
23
iπ
8. Let w = e 4 . Find all solutions to z 3 = w2019 . Give the answer in polar form.
11. (Optional) Express the following trigonometric expressions as powers of sin θ and cos θ:
(i) sin 4θ (ii) cos 4θ (iii) sin 2θ cos 2θ
(iv) sin 3θ cos 3θ (v) sin 4θ cos 2θ (vi) sin 2θ cos 4θ
Answers
1. (i) 9 + j, (ii) 17 − 7j, (iii) 8 − j, (iv) 7 + 26j, (v) 2 + 3j, (vi) −(3/29) + (7/29)j
5. (i) −8 − 8j, (ii) 64, (iii) j, (iv) −512j, (v) 972 + 972j, (vi) 16
√ √ √ √
1+ 3 1+ 3 1 + 3 −1 + 3
6. (i) − − j, − + j, 1 + j, (ii) ±1 ± j
2 2 2 2
√ √ 1+i −1−i
7. (i) 3, 23 (−1 + i 3), 23 (−1 − i 3) (ii) 2, 2i, −2, −2i, (iii) −2, 1 ± i (3), (iv) √
p
, √ , (v)
(2) (2)
p
1 + i, −1.366 + 0.366i, 0.366 − 1.366i, (vi) ±(sqrt(3) + i), ±(1 − i )
5π 17π 9π
8. e−i 33 , ei 33 , e−i 11
0.5
0 0.5
0
-1
-1 -0.5
-1.5
-1.5 -1
-2
-2.5 -2 -1.5
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2 -2 -1.5 -1 -0.5 0 0.5 1 -1.5 -1 -0.5 0 0.5 1 1.5
x x x
11. (i) 4 cos3 θ sin θ − 4 cos θ sin3 θ, (ii) sin4 θ − 6 cos2 θ sin2 θ + cos4 θ, (iii) 2 cos3 θ sin θ −
2 cos θ sin3 θ, (iv) 3 cos θ sin5 θ−10 cos3 θ sin3 θ+3 cos5 θ sin θ, (v) 4 cos θ sin5 θ−8 cos3 θ sin3 θ+
4 cos5 θ sin θ,
(vi) 2 cos θ sin5 θ − 12 cos3 θ sin3 θ + 2 cos5 θ sin θ
24
12. (i) (cos(4 θ) + 4 cos(2 θ) + 3)/8, (ii) (1 − cos(4 θ))/8,
(iii) (sin(5 θ) + 3 sin(3 θ) + 2 sin θ)/16, (iv) (− cos(5 θ) − cos(3 θ) + 2 cos θ)/16,
(v) (− sin(5 θ) + sin(3 θ) + 2 sin θ)/16, (vi) (cos(5 θ) + 5 cos(3 θ) + 10 cos θ)/16
25
5 Appendix
5.1 Arithmetic: square roots
Square roots are one of those things we can’t perform always within the set of real numbers, since
all squares of real numbers are positive, we “can’t take the square root of a negative number”.
(In fact we can, we just need the complex number to do it!). But there are no such restrictions
on complex numbers, and every complex number has a square root which is another complex
number. Calculating square roots requires a bit of algebraic fiddling, and solving some quadratic
equations. Here’s an example; to find the square root of
z = 16 + 30i.
w = x + yi.
Then
x2 − y 2 = 16
2xy = 30.
From the last equation we have y = 15/x which can be substituted into the first equation to
obtain
2
2 15
x − = 16.
x
x4 − 225 = 16x2
or
x4 − 16x2 − 225 = 0
Solving this using the quadratic formula produces two possible solutions
x2 = −9, x2 = 25.
Since both x and y have to be real, we can discard the first value, and obtain
x = ±5
which produces
y = ±3.
w = 5 + 3i, w = −5 − 3i.
26
5.2 Euler Formula
Euler formula (via series expansion)
We know that:
∞
x2 x3 x4 x5 X xn
ex = 1 + x + + + + + ··· =
2! 3! 4! 5! n!
n=0
Therefore:
(iθ)2 (iθ)3 (iθ)4 (iθ)5 (iθ)6 (iθ)7
eiθ = 1 + (iθ) + + + + + + + ...
2! 3! 4! 5! 6! 7!
i1 = i; i2 = −1; i3 = −i; i4 = 1; i5 = i; . . .
θ2 iθ3 θ4 iθ5 θ6 iθ7
eiθ = 1 + iθ − − + + − − + ...
2! 3! 4! 5! 6! 7!
cos x
z }| {
θ 2 θ 4 θ 6 x2 x4 x6
eiθ = 1 − + − + ... cos(x) = 1 − + − + ...
2! 4! 6! 2! 4! 6!
θ3 θ5 θ7 x3 x5 x7
+i θ − + − + ... sin(x) = x − + −
3! 5! 7! 3! 5! 7!
| {z }
sin x
z = x + yi = r(cos θ + i sin θ)
w = u + vi = s(cos φ + i sin φ)
You may recognize the expressions in the last bracket as the addition formulas for cos and sin.
Thus:
This means that the product of two complex numbers can be obtained (in polar form) by
multiplying their moduli, and adding their arguments.
For example, let’s try to compute
27
√
The first number has modulus 8 and argument 3π/4, so that its polar form is
√
3π 3π
8 cos + i sin
4 4
It is easy to work out that the polar form of the second number is
√ π
2 cis .
4
So their product is
√ 3π √ π √ √
3π π
8 cis 2 cis = 8 2 cis +
4 4 4 4
√
= 16 cis(π)
= 4(−1 + 0i)
= −4.
28
n-th roots with polar forms
The first thing to note is that every complex number z has n distinct n-th roots. So z will have
two square roots, three distinct cube roots, and so on.
Here is a formula for generating all the n-th roots, starting with
z = r cis θ.
Then:
1/n 1/n θ + 2kπ
z =r cis for k = 0, 1, 2, . . . , n − 1.
n
For example, let’s try to calculate all the cube roots of 8i. We start with its polar form, which
can be easily found to be
π
8 cis .
2
Applying the formula above produces
π
1/3 1/3 2 + 2kπ
(8i) = 8 cis for k = 0, 1, 2.
3
We can now see what happens for each different value of k on the right hand side of this formula.
Putting k = 0 produces
π
2 + 0kπ
π
1/3
8 cis = 2 cis
3 6
π π
= 2 cos + i sin
6 ! 6
√
3 1
=2 +i
2 2
√
= 3 + i.
Now put k = 1:
π
1/3 2 + 2π 5π
8 cis = 2 cis
3 6
5π 5π
= 2 cos + i sin
6 6
√ !
3 1
=2 − +i
2 2
√
= − 3 + i.
And finally k = 2:
π
1/3 2 + 4kπ 3π
8 cis = 2 cis
3 2
3π 3π
= 2 cos + i sin
2 2
= 2(0 − i)
= −2i.
29
If we draw all these numbers on an Argand diagram:
√ √
− 3+i 3+i
−2i
we see that they are all evenly distributed around circle with radius 2. And this is the case for
any group of n-th roots—they are always evenly distributed around a circle.
One more example,the fifth roots of 1 + i, can be found to have approximate values
1.0586 + 0.168i, 0.168 + 1.059i, −0.955 + 0.487i, −0.758 − 0.758i, 0.487 − 0.955i
−0.955 + 0.487i
1.0586 + 0.168i
−0.758 − 0.758i
0.487 − 0.955i
30
5.4 Geometry
Here are two simple example of geometry with complex numbers. First, if z, w and t are three
complex numbers, then the area of that triangle in the Argand plane is given by
1
Im (z − w)(z − t)
2
We saw an example when we were looking at determinants: the triangle with vertices (1, 3),
(2, −1) and (−3, −2). Now we have three complex numbers:
z = 1 + 3i, w = 2 − i, t = −3 − 2i.
Then:
The absolute value of the imaginary part is 21, and so the triangle has area
1
21 = 10.5.
2
Second, we can rotate any obiect in the Argand plane by an angle θ by multiplying all points
(considered as complex numbers), by cos θ + i sin θ. Again, use the example from matrices,
and the house with vertices at (1, 0), (3, 0), (3, 1), (2, 2) and (1, 1) rotated through 60◦ . Using
complex numbers:
1 0.5 + 0.866i
3 1.5 + 2.598i
(0.5 + 0.866i) 3 + i = 0.634 + 3.098i
2 + 2i −0.732 + 2.732i
1+i −0.366 + 1.366i
These final numbers are the vertices of the rotated house in the complex plane.
x3 + 3px + 2q = 0.
(It is possible to transform any cubic equation to remove the x2 term, so this class of equation
isn’t as restrictive as it looks.) Anyway, compute
p 1/3
A = −q + q 2 + p3
p 1/3
B = −q − q 2 + p3
31
For example:
x3 − 6x − 6 = 0.
21/3 + 41/3 .
x5 + x2 − 1 = 0
X 2 − Y 2 = (X − Y )(X + Y ).
A2 + B 2 = A2 − (−B 2 )
= A2 − (iB)2
= (A − iB)(A + iB).
32
Since we want A2 + B 2 = C 2 , we have:
C 2 = (A − iB)(A + iB).
Since the expressions on the right hand side are different, but their product is a square, this
must mean that each one is a square itself. In other words, we can write
A + iB = (x + iy)2
A + iB = (x2 − y 2 ) + i(2xy)
or
A = x2 − y 2
B = 2xy.
Then
A2 + B 2 = (x2 − y 2 )2 + (2xy)2
= (x4 − 2x2 y 2 + y 4 ) + 4x2 y 2
= x4 + 2x2 y 2 + y 4
= (x2 + y 2 )2 .
What we have shown is that for any integers x and y, the values
A = x2 − y 2
B = 2xy
C = x2 + y 2
form a Pythagorean triple: A2 + B 2 = C 2 . Here’s some values of x and y and the values of A,
B and C they generate:
x y A B C
2 1 3 4 5
3 1 8 6 10
3 2 5 12 13
4 1 15 8 17
4 3 7 24 25
33