Professional Documents
Culture Documents
Complex Numbers XI XII Study Materials PDF
Complex Numbers XI XII Study Materials PDF
Complex Numbers
CONCEPT NO
TES
NOTES
01.
Introduction
02.
Arithmetic Operations in !
03.
04.
Eulers Form
05.
Rotation
06.
07.
LOCUS
Complex Numbers
Section - 1
INTRODUCTION
The concept of complex numbers is fundamentally important to many sciences and engineering branches and is a
powerful tool to solve a diverse array of problems. However, this concept is a radical departure from the concept
of numbers that students generally have in mind before they first encounter complex numbers. Therefore, this
section is devoted to an intuitive introduction to complex numbers, why they are required at all, and what their
actual significance is. For this section in particular, you are urged to really think and reflect deeply on the statements
and concepts that will be presented here.
You must all be familiar by now with the various number systems, starting from the natural numbers, to the real
numbers.
Natural Numbers "
1, 2, 3.......
Whole numbers W
0, 1, 2, 3.......
3, 2, 1, 0, 1, 2, 3 ........
Rational numbers Q
Integers
Real numbers
p
, q 0,
q
p, q #
x+3= 2
Has no solution in W
Has a solution in # {x = 1}
3x = 2
Has no solution in #
x2 = 2
Has a solution in Q x =
3
Has no solution in Q
Has a solution in $ x = 2
Maths / CompIex Numbers
LOCUS
Therefore, we see that each successive set in this sequence is an improvement or extension over the previous set,
because it has more scope than its predecessor in terms of solvability of equations.
The question that now arises is, can $ be improved or extended? That is, are there equations which have no
solutions in $ ? Yes; consider the following equation:
x2 + 1 = 0
This has obviously no solution in $ since the LHS is always greater than or equal to 1. This means that $ is
insufficient, for there do exist equations having no solution in $ . So, for example, from the equation above, there
is no real number whose square is 1.
However, being mathematicians, nothing stops us from defining a number whose square is 1. Though such a
number does not exist according to us, let us still go ahead and define such a number; we will (due to the
convention followed) call this self-defined number as iota, written as i. And since i does not exist, let us call it
an imaginary number.
i2 +1 = 0
or
i 2 = 1
We can now say with satisfaction that even the equation x 2 + 1 = 0 has a solution, namely i, though it is not real
(i $ ). Now, the next question that arises is, is such a definition (which we seemed to have made out of our own
free will) justified? If yes, what significance do we attach to i ? Is it even useful? Will we be able to do useful
mathematics with i or is it just a useless mathematical construction on our part? We can associate real numbers
with geometric lengths. What do we associate i with? The answers to these questions will soon become clear. Let
us first try to give a graphical (or geometrical) significance to i.
Draw the real number line:
0
Fig - 1
Since i $, we cannot locate i anywhere on this real line. However, what we can do is draw another line
perpendicular to the real line, passing through 0, and associate i with one unit of length on this new line, which we
can term as the imaginary line:
y
i
One
imaginary
unit
x
1
One real
unit
Fig - 2
Maths / CompIex Numbers
LOCUS
What representation would then be given to a point on the imaginary line 5 units above 0? Answer : 5i. What
about 2 units below 0? Answer: 2 i .
Does this make sense? It turns out that this way of associating real numbers with the (horizontal) real line and
imaginary numbers (of the form ki, where k is itself real and represents the displacement of that number from 0,
on the vertical line) with the (vertical) imaginary line is extremely powerful and useful. A little thought will show you
that using this representation, any point on the entire plane can be assigned a unique number.
For example, the point with co-ordinates (2, 3) can be represented by the number 2 + 3 i.
y
2+3i
x
2
Fig - 3
Observe that every real numbers x ! , since x can be written as x + i0 . Therefore, ! is a superset of $ .
From all this discussion, it does seem after all that i is a valid mathematical entity (albeit with no physical significance).
Associating i with a unit length on the y-axis gives us a number system ! capable of representing the entire plane
and hence ! seems to be a valid improvement or extension over $ . However it is not just sufficient to define a
number system and give it some geometrical significance ourselves. We must also show that the various operations
that we use in other number systems, like addition, subtraction, multiplication, and division can also somehow be
Maths / CompIex Numbers
LOCUS
applied in the set ! , in a consistent manner. Apart from this, we must also show that these operations are
consistent with the geometrical significance that we have given to complex numbers.
This is the subject of the next two sections. As a conclusion to this section, you might find it satisfying to know that
any polynomial equation of degree n is solvable in ! , and has n roots lying in ! . For example:
x2 + 1 = 0
x3 + 1 = 0
Thus, the complex number system ensures the complete solvability of any polynomial equation, which was not
possible with just the real number set.
ARITHMETIC OPERATIONS IN !
Section - 2
We will first define two useful quantities related to an arbitrary complex number z = x + iy.
(a)
Modulus:
The modulus, which can be interchangeably represented by z or r, is the distance of the point z from the
origin, so that its numerical value is given by z = r = x 2 + y 2
y
z = x + iy
r=
Fig - 4
(b)
Argument: arg ( z )
The argument of z, represented interchangeably by arg(z) or , is the angle that the line joining z to the
origin makes with the positive direction of the real axis. The argument of z can have infinite possible values;
this is because if is an argument of z, then 2n + is also a valid argument.
To be more specific, we define a unique value called the principal argument of z. The convention that is
used to determine the principal argument for the four different quadrants in which z can lie, is depicted
below:
LOCUS
y
z
x
z lies in the fourth
quadrant
Fig - 5
Notice that Principal arg ( z ) ( , ] . For z above or on the real axis, principal arg (z) [0, ] ; it is
non-negative and measured in the anti-clockwise direction from the positive real axis. For z below the real
axis, principal arg ( z ) ( , 0 ) ; it is negative and measured in a clockwise direction from the positive
real axis.
From now on, arg(z) will be considered to mean Principal arg(z).
Observe now that we have two ways to specify an arbitrary complex number; one is the standard way
(x, y) which is referred to as the Cartesian form of the point. The second is by specifying the modulus
and argument of z, instead of its x and y components i.e, in the form ( r , ) . This is referred to as the
Polar form of the point.
z (x,y) or (x+iy)
(r, )
Cartesian
form
Polar
form
LOCUS
Example 1
Plot the following points on a plane and evaluate their polar forms:
(b) z = 1 + 2i
(a) z = 1 + i
(c) z = 3 3i
(d) z = 3 4i
(e) z = 2i
(f) z = 3
(g) z = 4
(h) z = 5i
Solution:
Observe the figures drawn for each of these parts carefully to determine how ( r , ) is evaluated
(a)
z = 12 + 12 = 2
z=1+i
1
arg ( z ) = tan 1 = 45 or
4
1
1
45
z = 1 + i 2,
4
1
Fig - 6
y
z =
(b)
z=-1+2i
( 1) + ( 2)
2
= 5
2
= tan 1 = tan 1 2
1
arg ( z ) = = tan 1 2
-1
z = 1 + zi
5, tan 1 2
Fig - 7
y
-3
(c)
-3
Fig - 8
Maths / CompIex Numbers
( 3) + ( 3)
2
3
= tan 1 =
3 4
3 2
z=-3-3i
z =
=3 2
arg ( z ) = =
4
3
=
4
3
z = 3 3i 3 2,
LOCUS
(d)
3
z =
(3) + ( 4 )
2
=5
arg ( z ) = = tan 1
4
3
z = 3 4i 5, tan 1
3
-4
z=3-4i
Fig - 9
distance of z
z =2
(e)
z=2i
arg ( z ) = =
z = 2i 2,
2
Fig - 10
(f)
z =3
arg ( z ) = 0
z = 3 (3, 0 )
x
z=3
Fig - 11
z =4
(g)
arg ( z ) = =
z=-4
Fig - 12
Maths / CompIex Numbers
z = 4 ( 4, )
LOCUS
z =5
(h)
x
arg ( z ) = =
z = 5i 5,
2
z=-5i
Fig - 13
Parts (f) and (g) above were included particularly so that you develop a tendency of thinking of even purely real
numbers as points on the plane, and realise the fact that the real set $ is just a subset of ! .
Before moving to arithmetic operations on complex numbers, observe one more important relation between the
cartesian and polar form of a complex number. You have seen how to write the polar form from the cartesian form.
How do we do the reverse? This is quite straightforward:
y
C
z = (r, )
Fig - 14
z = r (cos + i sin )
is extremely useful, as we will soon see.
LOCUS
10
ADDITION / SUBTRACTION
Consider two numbers z1 = x1 + i y1 and z2 = x2 + i y2 which we have to add/subtract.
For any complex number, since the real and imaginary components are along mutually perpendicular directions,
this suggests that to add/subtract two complex numbers, we add/subtract their real and imaginary components
separately.
That is,
z1 z2 = ( x1 + x2 ) i ( y1 + y2 )
...(1)
(2)
y
y
z2
z2
Treat z1 and
z2 as vectors
z1
z1
You have to
evaluate z1 + z2
z1+z2
(3)
z2 +
z1
z2
The resultant
gives the 'vector'
z1 + z2 ; its tip
gives the point
z1 + z2
z1
x
Fig - 15
Maths / CompIex Numbers
LOCUS
11
Subtraction ( z1 z2 )
(1)
(2)
z2
y
z2
Treat z1 and
z2 as vectors
z1
z1
x
Reverse the
'vector' z2
(4)
(3)
z1
z1
Add the 'vectors'
x
z 1-
z2
z2 as vectors
-z2
-z2
Fig - 16
Notice that we have made a distinction between, for example, the vector z1 + z2 and the point z1 + z2 ; similarly,
a distinction has been made between the vector z1 z2 and the point z1 z2 .
You must understand this distinction.
A vector is a free entity. It will remain the same as long as it is translated without rotation anywhere in the plane. So,
z2
for example, the vector z1 + z2 , as long as it maintains its magnitude and direction, can lie anywhere in the plane;
y
it will still remain the vector z1 + z2 :
Fig - 17
Maths / CompIex Numbers
z2
+
z1
z2
x
+
z1
z1
z2
z1
z2
z1
A z1 + z2
LOCUS
12
However, to determine the point z1 + z2 in the plane, we must make the tail end-point of the vector z1 + z2
%%%&
co-incide with the origin; the tip of this vector then gives the point z1 + z2 . For example, the tip A of the vector OA
in the figure above gives the point z1 + z2 .
This distinction will mean that the triangle law when applied to the subtraction problem will give us the vector
z1 z2 and not the point z1 z2 . To determine the point z1 z2 , we make the tail end point of the vector
z1 z2 co-incide with the origin.
The vector z1 - z2 as
obtained by the triangle
law; translate this vector
so that the tail end-point
coincides with the origin
y
z2
z1
-z
z1
x
z1
-z
The point z1 - z2
Fig - 18
Before concluding, observe that z1 z2 will represent the length of the vector z1 z2 or the distance between
the points z1 and z2.
Example 2
Evaluate the expression for z1 z2 using the polar forms for z1 and z2.
2
Solution:
Let
z1 = r1 cos 1 + i r1 sin 1
and
z2 = r2 cos 2 + i r2 sin 2
LOCUS
13
Example 3
Carry out the following operations graphically:
(a)
( 2 + i ) + (3 i )
(b)
( 2 2i ) + ( 2 + 3i )
(c)
(3 i ) ( 2 i )
(d)
(3) (5 + 2i )
Solution:
Observe carefully how the parallelogram law is applied to each of the four parts:
y
(a)
2+i
2
-i
3-i
Fig - 19
y
(b)
-2+3i
3i
i
2
-2
2-2i
-2i
Fig - 20
LOCUS
14
(c)
-2+i
i
1
-2
-1
-i
2-i
3-i
Fig - 21
sds
(d)
y
2i
5+2i
i
-5
-2
x
5
-i
-5-2i
-2i
-2-2i
Fig - 22
Example 4
Prove the Triangle Inequality:
For any two arbitrary complex numbers z1 and z2,
z1 z2 z1 + z2 z1 + z2
sds
LOCUS
15
Solution:
Now, 1 cos (1 2 ) 1
r12 + r22 2r1 r2 z1 + z2
( r1 r2 ) z1 + z2 ( r1 + r2 )
2
or ( z1 z2
z1 + z2 ( z1 + z 2
2
Taking the square root for all the three terms, we get:
z1 z2 z1 + z2 z1 + z2
sds
MULTIPLICATION:
Consider two numbers z1 = x1 + i y1 and z2 = x2 + i y2 which we have to multiply. Intuition suggests that we should
simply apply the distributive law to accomplish this task.
z1 z2 = ( x1 + i y1 ) ( x2 + i y2 )
= x1 x2 + i x1 y2 + i x2 y1 + i 2 y1 y2
= ( x1 x2 y1 y2 ) + i ( x1 y2 + x2 y1 )
...(2)
For example:
(3 + i )( 2 + 2i ) = 4 + 8 i
(5 i )(5 + i ) = 26
etc
The product that we have obtained in the RHS of (2) is not very illuminating graphically. It does not give us an
indication as to where z1 z2 will lie. To determine that, we evaluate the product in polar form.
Let z1 = r1 cos 1 + ir1 sin 1 and z2 = r2 cos 2 + i r2 sin 2
= r1r2 cos 1 cos 2 + i r1r2 cos 1 sin 2 +i r1r2 sin 1 cos 2 + i 2 sin 1 sin 2
= r1r2 {( cos 1 cos 2 sin 1 sin 2 ) + i (sin 1 cos 2 + cos 1 cos 2 )}
= r1r2 ( cos (1 + 2 ) + i sin (1 + 2 ))
= r ( cos + i sin )
where
r = r1r2 and = 1 + 2
LOCUS
16
This result is now much more illuminating! It says that the result z obtained by multiplying z1 and z2 will have a
modulus equal to the product of z1 and z2 and an argument equal to the sum of arg(z1) and arg (z2)
(z) = ,
, when multiplied
2
y
zi
z
r
r
x
Fig - 23
DIVISION
Consider two numbers z1 = x1 + i y1 and z2 = x2 + iy2 ; we want to find
z1 x1 + i y 1
=
z 2 x2 + i y 2
z1
:
z2
How do we reduce this expression to the standard form of a complex number a + i b? For that, we need to make
the denominator real. How can this be done?
Observe the product (5 i) (5 + i) that we obtained earlier as 26; this gives us the hint; multiplication of x + iy by
x iy results in a real number x 2 + y 2 :
z1 x1 + iy1 x2 iy2
=
z2 x2 + iy2 x2 iy2
=
which is in the standard form a + ib.
( x1 x2 + y1 y2 ) + i ( x2 y1 x1 y2 )
x22 + y22
x22 + y 2
LOCUS
17
As with multiplication, we now repeat the division process with polar forms for z1 and z2.
z=
z1 r1 (cos 1 + i sin 1 )
=
z2 r2 ( cos 2 + i sin 2 )
=
r1
{cos (1 2 ) + i sin (1 2 )}
r2
= r ( cos + i sin )
where
r=
r1
and = 1 2
r2
arg ( z ) = arg = arg ( z ) arg (i ) = . Geometrically, the vector z retains the same length but
2
i
r
x
r
z
i
Fig - 24
LOCUS
18
The entire preceding discussion shows that arithmetic operations can be applied legitimately and consistently to
complex numbers, establishing the validity of our mathematical construction of i.
In higher science and engineering courses, the reader will realise that complex numbers are indispensable.
Example 5
Show the following operations graphically:
(a)
(1 + i ) (1 i )
3 4
(c)
13 13
(e)
12
i 1 +
5
3 + 4i
2
(b)
( 2 ) (3 + 4i )
(d)
2+i
2i
(f)
4 + 3i
3 + 4i
y
Solution:
(a)
z1 = 1 + i = 2
arg ( z1 ) =
z1=1+i
z2 = 1 i = 2
/4
arg ( z2 ) =
4
/4
2
z = z1z2
=2
z = z1 z2 = 2
z2 = 1-i
sds
Fig - 25
(b)
z1 = 2 = 2
8i
arg ( z1 ) = 0
z2 = 3 + 4i = 5
arg ( z2 ) = tan 1
4
3
z = z1 z2 = 10
arg ( z ) = arg ( z1 ) + arg ( zi )
4
= tan 1
3
Maths / CompIex Numbers
4i
tan-1 4/3
x
3
Fig - 26
LOCUS
19
(c)
3 4i
5
z1 =
=
13 13 13
z 2= 1 +
12 i
5
3 4i
4
arg ( z1 ) = arg = tan 1
13 13
3
z2 = 1 +
12
13
i =
5
5
12i
1 12
arg ( z2 ) = arg 1 +
= tan
5
13
5
z1 z2
-1
tan 12
5
1
tan-1 12 -tan-1 4
5
3
z = z1 z2 = 1
arg ( z ) = arg ( z1 ) + arg ( z2 )
-tan-1 4
3
5
13
12
4
= tan
tan 1
5
3
1
z1 =
3
4
i
13 13
sds
Fig - 27
(d)
z1 = 2 + i = 5
1
2
arg ( z1 ) = tan 1
z2 = 2 i = 5
1
arg ( z2 ) = tan
2
1
z =
z1
=1
z2
tan-1
-tan-1
-i
-1
2 tan
z1=2+i
z1 / z2
1
2
z2=2-i
Fig - 28
sds
LOCUS
20
z1 = 3 + 4i = 5
(e)
arg ( z1 ) = tan 1
3+4i
8i
4
3
z2 = 2
4i
arg ( z2 ) = 0
z =
-1 4
tan 3
z1 5
=
z2 2
x
3
3+4i
2
Fig - 29
(f)
4 + 3i
=i
3 + 4i
z2=3+4i
sds
z1=-4+3i
z1
z2 i
Fig - 30
CONJUGATION
Consider a complex number z = x + iy . Where do you think will the number x iy lie? A little thinking will show
that it will be the exact mirror image of the point z, in the x-axis mirror.
z = x + iy
Fig. 31
Maths / CompIex Numbers
LOCUS
21
Such a number is given a special name. It is called the conjugate of z and represented as z . Therefore,
if z = x + iy, then z = x iy .
It turns out the notion of a conjugate is, though simple, very useful. We will put the conjugate to a lot of use in this
chapter.
Let us now see some of the properties of the conjugate.
(1)
The validity of these two relations should be obvious from the figure below:
y
r=
|z|
r=
|z|
z
Fig.32
(2)
z1 z2 = z1 z2
These relations mean that the operation of conjugation is distributive over addition (and subtraction).
You are urged to verify this by considering two arbitrary complex numbers z1 = x1 + iy1 and z2 = x2 + iy2 .
(3)
z z
z1 z2 = z1 z2 ; 1 = 1
z2 z2
These relations imply that conjugation is distributive over multiplication and division too. Lets prove this
for multiplication.
Let z1 = x1 + iy1 and z2 = x2 + iy2 .
Then,
z1 z2 = ( x1 + iy1 )( x2 + iy2 )
= ( x1 x2 y1 y2 ) + i ( x1 y2 + x2 y1 )
= ( x1 x2 y1 y2 ) i ( x1 y2 + x2 y1 )
Now,
z1 z2 = ( x1 + iy1 ) ( x2 + iy2 )
= ( x1 iy1 )( x2 iy2 )
= ( x1 x2 y1 y2 ) i ( x1 y2 + x2 y1 )
We see that z1 z2 = z1 z2
The proof for division is similar.
Maths / CompIex Numbers
LOCUS
(4)
22
z = zz
2
This is one of the most important relations to be used in this chapter. The proof is very straightforward. Let
z = x + iy.
zz = ( x + iy )( x iy )
= x2 i2 y 2
= x2 + y 2
= ( x 2 + y 2 )2
= z
(5)
z + z = 2 Re( z ); z z = 2i Im( z ) . Re( z ) denotes the real part of z and Im(z) denotes the imaginary part of
z.
This property is again obvious; just consider z = x + iy to deduce it.
Example 6
Simply the following
(a)
z1 z2
(b)
z1 + z2 + z 1 z2
(property 4)
= ( z1 + z2 )( z1 + z2 )
(property 2)
= z1 z1 + z2 z2 + z1 z2 + z1 z2
= z1 + z2 + z1 z2 + z1 z2
2
Similarly,
z1 z2 = z1 + z2 2 Re( z1 z2 )
2
sds
sds
(b) The solution to this part is obtained by simply adding the two expressions obtained in part (a):
z1 + z2 + z1 z2 = 2( z1 + z2 )
2
sds
LOCUS
23
Example 7
If z1 , z2 , z3 represent the vertices of an equilateral triangle, show that
1
1
1
+
+
=0.
z1 z2 z2 z3 z3 z1
z1
Solution:
z2
z3
l
Fig. 33
We know that the sides of an equilateral triangle are equal. Using this for the triangle above, we get:
z1 z2 = z2 z3 = z3 z1 = l
or
( z1 z2 )( z1 z2 ) = ( z2 z3 )( z2 z3 ) = ( z3 z1 )( z3 z1 ) = l 2
z z
z z
1
z z
1
1
= 1 2 2;
= 2 2 3;
= 3 2 1
z1 z2
l
z2 z3
l
z3 z1
l
(properties 5 and 2)
s sdsaasds
Example 8
Prove that if the sum and product of two non-real complex numbers are real, they must be the conjugates of each
other.
Solution: Let z1 = x1 + iy1 and z2 = x2 + iy2
where y1 , y2 0 .
y1 + y2 = 0 and x1 y2 + x2 y1 = 0
y1 = y2 and x1 y2 x2 y2 = 0
x1 = x2
s sdsaasds
LOCUS
24
Example 9
If z1 + z2 2 = z1 2 + z2 2 for two arbitrary non-zero complex numbers, show that
z1
is purely imaginary.
z2
z1 + z2 + 2 Re( z1 z2 ) = z1 + z2
Re( z1 z2 ) = 0
Since the real part of z1 z2 is 0 , it must be purely imaginary. This means that it lies on the imaginary axis
or its argument must be or
.
2
Arg ( z1 z2 ) =
Arg ( z1 ) + Arg( z2 ) =
Arg( z1 ) Arg( z2 ) =
Arg 1 =
2
z2
z1
lies on the imaginary axis; therefore, it is purely imaginary.
z2
s sdsaasds
Example 10
If z1 , z2 ....zn are complex numbers and z1 = z2 = ... = zn = 1, show that
z1 + z2 + ... + zn =
1 1
1
+ + ... +
z1 z2
zn
Solution: The information that all the moduli are 1 and the form of the expression we need to obtain hint that we
should consider the term zi 2 :
zi = zi zi = 1
2
zi =
n
1 1
=
zi zi
1
i =1 i
n
z = z
i =1
s sdsaasds
LOCUS
25
n 1
=
i =1 zi
n
z
i =1
n 1
=
i =1 zi
n 1
=
i =1 zi
z = z
s sdsaasds
z w w z = z w
2
Solution:
z 1+ z
=
w 1+ w 2
2
...(1)
z
is purely real.
w
Let, z = kw , where k $ . Substituting for z in (1), we get
2
kw 1 + k w
=
2
w
1+ w
k + k w =1+ k2 w
k 1 = k w (k 1)
(k w 1)(k 1) = 0
k = 1 or k =
z
z
1
1
= 1 or = 2 =
w
w w
ww
1
w
z = w or zw = 1
Example 12
If z1 and z2 are complex numbers such that z1 < 1 < z2 , prove that
1 z1 z2
<1
z1 z2
Maths / CompIex Numbers
s sdsaasds
LOCUS
26
Solution: We can equivalently show that 1 z1 z2 < z1 z2 or 1 z1 z2 < z1 z2 . This is convenient because
2
1 z1 z2 z1 z2
2
{1 + z
}{
z2 2Re( z1 z2 ) z1 + z2 2Re( z1 z2 )
2
= 1+ z1 2 z2 2 z1 2 z2 2
(1 z1 )(1 z2 ) < 0
2
1 z1 z2 < z1 z2
2
2
s sdsaasds
Example 13
If z
4
= 2, find max ( z ) and min ( z ) .
z
4
z
4
4
4
z z +
z
z
z
4
4
2 z +
z
z
The right side of this inequality is always satisfied (verify). We therefore, use the left side of this
inequality:
z
4
2
z
4
2
z
2 z
z + 2 z 4 0 and z 2 z 4 0
z 1 + 5 and z 1 + 5
5 1 z 5 +1
s sdsaasds
LOCUS
27
Example 14
If
1 iz
= 1 , show that z is purely real.
z i
Re(iz ) = Re(i z )
Re(i( x + iy )) = Re(i( x iy ))
y = y
y=0
z is purely real.
s sdsaasds
Example 15
Find all non-zero complex numbers z satisfying z = iz 2 .
Solution: We let z = x + iy . Using the given relation, we get
x iy = i( x + iy) 2
= i ( x 2 y 2 + 2ixy )
= 2 xy + i( x 2 y 2 )
and
x2 y 2 = y
From the first equation, we get
x(1 + 2 y ) = 0
x = 0 or y = 1/ 2
2
2 2 2
Since we want a non-zero solution, we neglect the solution (0, 0). The valid solutions are (in the form
x + iy):
i,
Maths / CompIex Numbers
3 1
i
2 2
s sdsaasds
LOCUS
28
TRY YOURSELF - I
Q. 1
Plot the following points on the complex plane and evaluate their modulii and arguments:
(a) z = 1 + 3i
i 1
(c) z =
i +1
Q. 2
Q. 3
(b) z = 6 7i
3
(d) z = 1 7i
(b) z = (6 + 2i ) (2 + 6i)
i
(c) z = (2 + 3i )
13
(d) z =
2 + 5i
2 5i
z1 2 z2
is unimodular, while z2 is not unimodular.
2 z1 z2
Find z1 .
Q. 4
Prove that if z1 and z2 are two complex numbers and > 0 , then
2
2
1
z1 + z2 (1 + c ) z1 + 1 + z2
c
Q.5
Q. 6
z1 + z2 = z1 + z2 z1 z2 is purely imaginary.
2
Q. 7
Q. 8
z1 + z2 = z1 + z2
(b)
z1 + z2 = z1 z2
1 = 1 = (1)(1) = 1 1 = i i = 1
LOCUS
29
Section - 3
This section will give you more experience in dealing with complex numbers from a geometrical perspective. We
will use the knowledge gained upto this point to interpret equations and inequations involving complex numbers
geometrically. In particular, we will draw regions corresponding to equations and inequations on the complex
plane; what this means will become quite clear in the following examples.
Example 16
Intrepret the equation z = 1 geometrically.
Solution: z is a (variable) complex number whose modulus is 1. This means that no matter what the direction in
which z lies (i.e. no matter what its argument), the distance of z from the origin is always 1. Therefore,
what path can z possibly trace out on the complex plane or in other words, what is the locus of z?
Obviously, a circle of radius 1 centred at the origin.
y
|z|
Fig - 34
s sdsaasds
Example 17
Plot the regions that z represents if:
(a)
z <1
(b)
z >2
LOCUS
30
Solution: (a) z < 1 means that the distance of z from the origin must be less than 1. Therefore, z must lie
(anywhere) inside a circle of radius 1 centred at the origin.
y
s sdsaasds
Fig - 35
(b) z > 2 means that the distance of z from the origin must be greater than 2. Therefore, z must lie
(anywhere) outside a circle of radius 2 centred at the origin.
z can lie anywhere
inside the shaded region
2
x
s sdsaasds
Fig - 36
(c) 1 < z < 2 means geometrically that z must lie outside a circle of radius 1, but inside a circle of
radius 2, both the circles being centred at the origin.
y
z can lie anywhere
inside the shaded region
1
2
x
Fig - 37
Maths / CompIex Numbers
s sdsaasds
LOCUS
31
Example 18
Plot the region represented by z if z satisfies
arg( z ) <
z <3
with one edge making an angle and the other edge making an angle
with the x-axis. Also, the
6
6
distance of z from the origin must be less than 3. Thus, z lies in a region that is in the shape of a sector
of a circle:
y
3
/6
-/6
Fig - 38
s sdsaasds
Example 19
Plot the region/locus represented by z if z satisfies:
(a)
z 1 = z +1
(b)
z 1+ i = z +1 i
(c)
(d)
z i + z +i =3
Solution: (a) As mentioned earlier, we must look for a geometrical interpretations of equations involving complex
numbers. This equation, in particular, says that the distance of z from 1 (you must learn to view
every number as a point on the complex plane; for example, 1 is a point which lies on the real
axis!) must be equal to the distance of z from 1, because
z 1 = z (1)
From plane geometry, z must lie on the perpendicular bisector of 1 and 1, or equivalently z must
lie anywhere on the imaginary axis.
Maths / CompIex Numbers
LOCUS
32
y
z
z lies anywhere on
the imaginary axis
x
-1
Fig - 39
s sdsaasds
means that z is equidistant from 1i and 1+i, i.e., z lies on the perpendicular bisector of these two
points:
y
-1+i
s sdsaasds
Fig - 40
(c) Since 2 < Re ( z ) < 3, z lies anywhere in the region between the vertical lines x = 2 and x = 3.
Also, since 2 < Im ( z ) < 3, z must also lie in the region between the horizontal lines y = 2 and
y = 3.
y
z lies anywhere in
this square region
y=3
y=2
x
x=2
Fig - 41
Maths / CompIex Numbers
x=3
s sdsaasds
LOCUS
33
(d) To solve this part, a little knowledge of co-ordinate geometry would be helpful. The given equation
says that the sum of the distances of z from i and from i must equal 3. z would therefore trace out
an elliptical path in the plane with i and i as its two focii, as shown in the figure below:
y
i
x
-i
Fig - 42
For those not conversant with co-ordinate geometry, heres an explanation. Suppose that you fix
two pegs at the points i and i and tie a 3-unit long string between the two pegs.
y
This string is
3 units long
-i
Fig - 43
Now, with a pen, pull this string to away from the pegs so that it becomes taut, and then,
keeping the string taut, trace out a complete revolution on the plane with the tip of the pen (the taut
string will automatically guide the pen)
Move the pen while
keeping the string taut
The pen traces
out an 'ellipse'
s sdsaasds
Fig - 44
Maths / CompIex Numbers
LOCUS
34
Example 20
z 1
Plot the locus of z if z satisfies arg
=
z +1 2
Solution: We have,
z 1
arg
=
2
z +1
... (1)
2
z 1 is the vector drawn from the point 1 to the point z. Similarly, z + 1 is the vectron from 1 to z.
arg ( z 1) arg ( z + 1) =
x
1
-1
Fig - 45
Since the angle in a semicircle is a right angle, z can lie anywhere on a circle with 1 and 1 as the
end-points of a diameter. (1 and 1 themselves cannot lie on this circle because either z 1 or z + 1
becomes a zero vector if z = 1 or 1, and the argument of a zero vector cannot be uniquely defined)
y
z can lie any where
on this circle
-1
-i
Fig - 46
s sdsaasds
LOCUS
35
TRY YOURSELF - II
(b)
z 1 + z +1 = 4
(d)
(f)
z 2 + z + 2i = 5
z 1
(g) arg
=
z +1 6
(h)
z <2
z <3
LOCUS
36
Section - 4
EULERS FORM
The Eulers form of a complex number is important enough to deserve a separate section. It is an extremely
convenient representation that leads to simplifications in a lot of calculations. Eulers representation tells us that we
can write cos + i sin as ei
ei = cos + i sin
where e is the natural base introduced in the unit on Functions e is actually lim (1 + x )
1/ x
x 0
This representation might seem confusing at first. What sense does it make to raise a real number to an imaginary
number? However, you may rest assured that a valid justification for this relation exists, and we (might) encounter
it in the unit on exponential series. For the time being, you may take the truth of this relation(and the fact that Euler
was smart enough to get it right!) for granted.
Let us now use this relation.
*
z = 1 can be written as ei
Any arbitrary complex number z can be written as r (cos + i sin ) or rei where r is the
modulus and the argument of z.
Multiplication and division become a whole lot easier
Let
i +2 )
This result is in agreement with the fact that moduli multiply and arguments add
upon multiplication
z1 r1ei1 r1 i(1 2 )
=
= e
z2 r2 ei2 r2
LOCUS
37
Before concluding, we would like to, for the sake of emphasis, repeat this important fact about Eulers
representation again: ei , which is cos + i sin , represents a unit vector making an angle with the
positive x-axis; rei represents a vector of magnitude r at an angle with the positive x-axis.
rei
e
Fig - 47
Therefore, you should view rei as the multiplication of a vector ei , by a scalar r, which has the effect
of modifying the magnitude of the vector while preserving its direction
Section - 5
ROTATION
Rotation is a convenient method that is used to relate complex numbers and angles that they make; this method
will be widely used subsequently. However, you will realise that the method involves no new concept.
Consider a configuration of complex numbers as shown below:
z3
z1
z2
Fig - 48
We know the angle . Our purpose is to write down an expression that relates all the four quantities z1 , z2 , z3
and .
Consider the vector z3 z2 . Let its argument be 1. Similarly, let the argument of the vector z1 z2 be 2 .
Now, a little thought will show you that is simply 1 2 .
z3
z2
Fig - 49
Maths / CompIex Numbers
z1
real direction
LOCUS
38
z3 z2 = z3 z2 ei1
... (1)
z1 z2 = z1 z2 ei2
... (2)
... (2)
This is the relation we were looking for. It relates all the four terms z1 , z2 , z3 and .
You might have wondered why this method is called rotation. Well, you can think of this method in this way:
z3
z1
z2
Fig - 50
You are given the vector z1 z2 . You need to modify it into the vector z3 z2 . How can you do it? Obviously,
there will be a change in modulus. Apart from that, you need to rotate the vector z1 z2 anticlockwise by angle
too. This is where the term rotation comes from. Viewing the process in this way we obtain the relation (3) as
follows
* Write down the unit vector in the direction of the original vector, the one that you need to rotate. In our
case, it will be
z1 z2
z1 z2
* To rotate this unit vector by an angle (anticlockwise; for clockwise, it will be ), we multiply it by
ei . For the current case, this turns the unit vector into a new unit vector along the direction of the
vector z3 z2 :
z1 z2 i
e
z1 z2
*
Finally, to turn this unit vector into the final vector that we need to obtain after rotation, we multiply the
unit vector by the appropriate magnitude. Thus we obtain the required final vector after rotation
z3 z2 = z3 z2
This is the same relation that we obtained in (3)
Maths / CompIex Numbers
z1 z2 i
e
z1 z2
LOCUS
39
Using this same approach, suppose that we now wish to relate four complex numbers in the following
configuration
z1
z3
z4
z2
Fig 51
z 4 z3
z 4 z3
z1 z2 direction
(Final unit vector)
z1 z2
z1 z2
z4 z3 direction
(Initial unit vector)
Unit vector along
z z
z1 z2
= 4 3 ei
z1 z2
z4 z3
Prove that if the complex numbers z1 , z2 and the origin form an equilateral triangle, then z12 + z22 z1 z2 = 0 .
Solution:
l
z1
z2
60
Origin
Fig - 52
Maths / CompIex Numbers
LOCUS
40
We can assume the configuration drawn above for z1 and z2 . Observe that the vector z1 can be
obtained from the vector z2 through rotation.
z1 z2 i / 3
= e
l
l
z1
= ei / 3 = cos + i sin
3
3
z2
=
1
3
+i
2
2
z12 1 3 1
= + i 3
z22 4 4 2
1
3
= +i
2
2
1
3
= 1 + + i
2
2
= 1 +
z1
z2
z12 = z22 + z1 z2
z12 + z22 z1 z2 = 0
s sdsaasds
Example 22
Find the vertices of a regular polygon of n sides if its centre is at the origin and one of its vertices is known to
be z1.
Solution:
z2
z1
z3
2/n
z4
Fig - 53
Maths / CompIex Numbers
LOCUS
41
From the figure, it should be clear that all the vertices of the polygon (other than z1) can be obtained from
z1 through successive rotations, each of angle 2 / n .
z2 = z1ei 2 / n
z3 = z2 ei 2 / n = z1ei 4 / n
zn = zn 1ei 2 / n = z1ei 2( n 1) / n
If we let ei 2 / n be , then
z2 = z1 , z3 = 2 z1........., zn = n 1 z1 .
Thus, all the vertices become known.
s sdsaasds
Example 23
Let z1 and z2 be roots of the equation z 2 + pz + q = 0, where the coefficients p and q may be complex. Let A
and B represent z1 and z2 in the complex plane. If AOB = 0 and OA = OB, where O is the origin, prove
that p 2 = 4q cos 2 / 2 .
Solution: The situation described in the question is graphically sketched below:
y
B ( z2 )
A ( z1)
x
Fig - 54
z2 OB i
=
e = ei = cos + i sin
z1 OA
... (1)
Adding 1 to both sides of (1) (it will soon become clear why), we get
z2
+ 1 = 1 + cos + i sin
z1
i / 2
e
2
... (2)
LOCUS
42
z1 + z2 = p
... (3)
z1 z2 = q
Substituting (3) in (2) and then squaring, we get
... (4)
p2
= 4 cos 2 ei
2
z1
2
= 4 cos 2
p 2 = 4 cos 2
z2
2 z1
(From (1))
z1 z2
2
= 4q cos 2 / 2
(From (4))
Example 24
If z = 1, show that
i (1 z )
arg ( z )
= tan
1+ z
2
Solution: We will solve this using both an analytical and a geometrical approach.
ANALYTICAL APPROACH
Let
(since r = 1)
z = rei = ei
i (1 z ) i (1 e
=
1+ z
1 + ei
i (1 cos i sin )
1 + cos + i sin
sin + i (1 cos )
1 + cos + i sin
2sin
2 + 2 cos
= tan
arg ( z )
= tan
2
Maths / CompIex Numbers
s sdsaasds
LOCUS
43
GEOMETRICAL APPROACH
Let z lie anywhere on a unit circle centred at the origin
y
B(z)
A
-1
= arg (z)
Also, = 2 (Why?)
C
1
Fig - 55
Applying rotation ( AB BC ) ,
z 1 BC i / 2 BC
=
=
e
i = i tan
z + 1 AB
AB
1 z 1 i (1 z )
tan =
=
i z +1
1+ z
Since =
, we get
2
tan
i (1 z )
=
2
1+ z
Example 25
Let A1 , A2 .... An be the vertices of an n-sided regular polygon such that
1
1
1
=
+
A1 A2 A1 A3 A1 A4
Find the value of n.
s sdsaasds
LOCUS
44
Solution: Referring to Fig - 53 we let the vertices be represented by z1 , z2 ......zn . As in example 22,
z2 = z1ei 2 / n
z3 = z1ei 4 / n
z4 = z1ei 6 / n
A1 A2 = z1 z1ei 2 / n = z1 1 ei 2 / n
2
2
= z1 1 cos
i sin
n
n
= 2 z1 sin
Similarly,
A1 A3 = z1 z1ei 4 / n = 2 z1 sin
2
n
A1 A4 = z1 z1ei 6 / n = 2 z1 sin
3
n
Writing sin
1
1
+
2
3
sin
sin
n
n
2
3
2
3
= sin sin
+ sin sin
sin
n
n
n
n
n
n
2
as 2sin cos and cancelling out sin from both sides, we get
n
n
n
n
2 cos
sin
4
3
= sin
n
n
4
3
=
n
n
n=7
3
2
3
= sin
+ sin
sin
n
n
n
n
(why ?)
s sdsaasds
LOCUS
Section - 6
45
Given z, suppose you have to evaluate z n where n is a rational number. How do we evaluate this power is the
subject of this section.
Let us write z in polar (Euler) form:
z = rei
Suppose n is an integer. Then z is straightforward to evaluate
z n = ( rei ) n
n
= r n ein
Now, consider the case when n is a non-integer rational number. Let us take n =
might wonder, what is the problem in following the same approach for n =
z n = z1/ k
1
, where k is an integer. You
k
1
as we did when n was an integer:
k
= (rei )1/ k
i
k
...(1)
=r e
The problem is that the value that we have obtained in (1) is just one of the values for z n ; there are other values
too. To be precise, in this case, for example, the nth power of z, which is actually the k th root of z, will have k
different values, the value in (1) being just one of those k values.
1
How? Consider z = ei and n = . How many values does z1/ 4 = (ei )1/ 4 have? ei / 4 will be one of those values.
4
To actually show that we can obtain other values, we write ei as:
1/ k
ei = ei (2 p + )
p #
=e
Let us give different integer values to p and see what we obtain
p = 0 z1/0 4 = ei / 4
i +
4
p = 1 z11/ 4 = e 2
i +
4
p = 2 z1/2 4 = e
p =3 z
1/ 4
3
=e
3
i +
2 4
p = 4 z1/4 4 = e (
i 2 + / 4 )
= e i 2 e i / 4
= ei / 4
= z1/0 4
and so on
Maths / CompIex Numbers
LOCUS
46
1/ 4
1
=e
i +
2 4
=e
i 2 + +
2 4
3
i +
2 4
= e i 2 e
= z31/ 4
p = 2 z1/24 = z1/2 4
Similarly,
'
and so on
We see that there are precisely 4 unique values of z1/ 4 , given by any four consecutive integer values of p. For
example, we could take p from {0, 1, 2, 3} or {7, 8, 9,10} or whatever you wish. The important thing to
remember is that the four values of p should be consecutive (the value of the root follows a cycle of 4, p and p+4
will give the same value for the root). Also, this discussion shows that the fourth root of a complex number has four
unique values. What about the nth root? n different values.
Before proceeding to the nth roots of a complex number, let us encounter De-Moivres theorem, which is a formal
statement of what weve studied upto this point in the current section.
DE - MOIVRES THEOREM
Let z = rei
(a)
(b)
z = ( re )
n
=r
p/q
p
,
q
p
q
ip
q
= r p / q (cos
p
p
+ i sin
)
q
q
is one of the values of z n . There will be actually multiple values of z n . (How to obtain those multiple
values will be discussed subsequently).
We will now discuss how to evaluate the nth roots of an arbitrary complex number in the manner described
above.
Let z = rei = rei (2 p + )
1
z n = {rei (2 p + ) }n
2 p +
i
=r e
This will have n unique values given by n successive integral values of p. We take p from the set{0, 1, 2...(n1)}.
1/ n
LOCUS
47
i
n
1/ n
r e ,r e
2
i
+
n n
1/ n
,r e
4
i
+
n n
1/ n
..., r e
2 p
i
+
n
n
1/ n
...r e
2( n 1)
i
+
n
n
These n values of z1/ n are termed the nth roots of z. How will they lie on a plane? Notice that the angle between
2
any two successive roots zi and zi +1 is
. Thus, the nth roots will lie on a circle of radius r1/ n and will be
n
2
.
evenly spaced out; the angle between any two successive roots being
n
y
z2
z3
z4
z1
1/n
= r 1/
Circle of radius r
|z |
z
x
Fig - 56
th
Now we consider a special case, the n roots of unity (1). In other words, we want the solutions to the equation:
zn = 1
The Eulers form of 1 is ei 0 . Therefore,
z=e
=e
(2 p + 0)
n
i 2 p
n
1, e
i 2
n
,e
i 4
n
..., e
i 2( n 1)
n
2/n
1
n - 1
Fig - 57
Maths / CompIex Numbers
LOCUS
48
From symmetry, notice that the sum of these n roots (vectors) will be 0.
1 + + 2 + ... + n 1 = 0
n =1
n 1 = 0
( 1)( n 1 + n 2 + ... + + 1) = 0
Since 1 , we get:
n 1 + n 2 + ... + + 1 = 0
Now we evaluate the product of these n roots:
P = 1 2 ... n 1
= 1+ 2+3+...+ n 1
=
i 2 / n
n ( n 1)
2
i 2 n ( n 1)
n 2
Since = e
= ei ( n 1) .
,P = e
Now observe that if n is odd, P is 1 while if n is even, P is 1:
1 if n is odd
P=
1 if n is even
Lets apply this discussion to some particular values of n:
(i)
n=2
Solutions to z = 1.
-1
Fig - 58
Maths / CompIex Numbers
LOCUS
(ii)
49
n=3
We want to solve
z3 = 1
One of the roots is 1. The other roots can be placed symmetrically if they are at angles
shown below:
2
4
, as
and
3
3
120
120
2
Fig - 59
(iii)
n=4
We want to solve
z4 = 1
The four roots can be symmetrically placed as shown below:
y
The fourth roots
of unity.
-1
-i
Fig - 60
Maths / CompIex Numbers
LOCUS
50
240
x
Fig - 61
If you cube , you are essentially rotating this vector. The argument of 2 is 240; when you cube 2 ,
2
you will rotate 2 by 240 (for 2 2 ) + another 240(for 2 2 2 ) . Hence, 2 , when cubed,
will become the vector 1.
22
nd
(2 position)
240
22 2 =1
(Final position)
2
(Initial)
Fig - 62
Thus,
( 2 )3 = 1
Similarly, observe one of the fourth roots of unity, say i. The argument of i is 90. When you raise i to
power 4, you are essentially rotating the vector i by 90(for i i) + 90(for i i i) + 90(for iiii).
Therefore, i when raised to power four will become the vector 1.
LOCUS
51
i (initial position)
ii
(2 position)
i i i i=1
(Final position)
nd
ii i
rd
(3 position)
Fig - 63
Thus,
i4 = 1
This discussion should make you realise that when looking for the nth roots of unity, you are looking for
vectors which when rotated by a certain fixed angle (2 n) a particular number (n 1) of times, give the
vector 1.
Example 26
Find the square roots and the cube roots of i.
Solution: First write i in its Eulers form.
i
i=e2
Square roots:
z =e
2
i / 2
=e
i 2 p +
2
i p +
4
z=e
The two roots are given by two consecutive values of p, say p = 0, 1
z1 = ei / 4 , z2 = ei 5 / 4
Cube roots:
z =e
3
z=e
i 2 p +
2
2 p
i
+
6
3
s sdsaasds
LOCUS
52
Example 27
If 1, 1 , 2 ..., n 1 are the nth roots of unity, find the value of (1 + 1 )(1 + 2 )...(1 + n1 ) .
Solution: Since x n 1 = 0 has n roots (that have been specified in the question), we can write
(by factor theorem):
x n 1 = ( x 1)( x 1 )...( x n 1 )
xn 1
= ( x 1 )( x 2 )...( x n 1 )
x 1
...(1)
The form of the expression whose value we need to obtain hints that we should substitute x = 1
in (1):
(1) n 1
= (1 1 )(1 2 )...(1 n 1 )
(1) 1
= ( 1) n 1 (1 + 1 )(1 + 2 )...(1 + n 1 )
If n is even the left hand side is 0 so that the value of the expression becomes 0. If n is odd, the
expression becomes
2
= ( 1) n 1 (1 + 1 )(1 + 2 )...(1 + n 1 )
2
(1 + 1 )(1 + 2 )...(1 + n 1 ) = 1
Thus, the expression takes the value 0 or 1 depending on whether n is even or odd respectively.
s sdsaasds
Example 28
Let , 2 be the complex cube roots of unity. Let z1, z2 , z3 be complex numbers such that
z1 + z2 + z3 = A
z1 + z2 + 2 z3 = B
z1 + 2 z2 + z3 = C
3z1 = A + B + C
LOCUS
53
z1 =
A+ B+C
3
A + B 2 + C
3
A + B + C 2
z3 =
3
These were the values we were looking for.
s sdsaasds
Example 29
Let a complex number , 1 be a root of z p + q z p z q + 1 = 0, where p and q are distinct primes. Show that
either 1 + + 2 + ... + p 1 = 0 or 1 + + 2 + ... + q 1 = 0 , but not both together.
Solution: The given equation can be written as
( z p 1)( z q 1) = 0
Therefore, is a root of either z p 1 = 0 or z q 1 = 0 . In other words, is either a p th or a q th
root of unity.
Now,
z p 1 = ( z 1)( z p 1 + z p 2 + .... + z + 1)
Substituting z = gives
0 = ( 1)( p 1 + p 2 + ..... + + 1)
Since 1, we get
1 + + 2 + .... + p 1 = 0
...(1)
Similarly, if z q 1 = 0, we get
1 + + 2 + ..... + q 1 = 0
...(2)
We now need to show that (1) and (2) cannot hold simultaneously. In other words, cannot be a pth
and a qth root of unity at the same time (given the condition that p and q are distinct primes). This is
easy to prove:
LOCUS
54
=e
2 m
p
...(3)
2 n
q
...(4)
=e
m
Observe the right hand sides of (3) and (4) carefully. The terms in the exponents,
(where m < p)
p
n
and (where n < q) can never be equal. Why? Lets assume they are equal
q
m n
=
p q
pn = mq
Since p is a prime, different from q, it cannot have m and q and factors. Since n < q, n cannot have q
as a factor. Thus pn cannot have m or q as factors which is a contradiction.
Example 30
Find all the roots of the equation z12 56 z 6 512 = 0 whose imaginary parts are non-negative
Solution: We let z 6 = x so that the given equation reduces to a quadratic.
x 2 56 x 512 = 0
( x 64)( x + 8) = 0
x = 64, 8
z 6 = 64, 8
(a) z 6 = 64
z 6 = 64 = 26 ei (2 p +0)
z = 2e
2 p + 0
i
s sdsaasds
LOCUS
55
(b) z 6 = 8
z 6 = 8 = 23 ei = 23 ei (2 p + )
z=2 e
1/2
2 p +
i
s sdsaasds
Q. 1
Q. 2
Q. 3
If ABC is an equilateral triangle having vertices z1 , z2 and z3 (in the anti-clockwise direction), prove that
z1 + z2 + 2 z3 = 0
Q. 4
Q. 5
(a)
z
1 arg( z )
z
(b)
z 1 z 1 + z arg( z )
LOCUS
56
Section - 7
In this section, well put complex numbers to more geometrical use. We will write down equations of straight lines
and circles, among other things, in the complex plane. Readers who are familiar with co-ordinate geometry an
vectors will find this section very easy. Before proceeding, pay attention to the following facts necessary to do
geometry with complex numbers.
| z1 z2 | should be interpreted as the distance between the points z1 and z2, or equivalently, the
length of the vector z1 z2.
You must know the difference between the point z and the vector z. Suppose we talk about the
point 1 + i. This has a fixed location in the plane, as you know, in the first quadrant. Theres also
the vector 1 + i, which has an x-component of 1 and a y-component of 1, but this vector is not
fixed. It is free vector. We can move the vector 1 + i anywhere around the plane as we wish, as
long as we dont change its magnitude and direction
z2
z
z1
Fig - 64
We want to find a point z on the line segment joining z1 and z2 such that this point divides the line
segment in the ratio m : n. z will be given by
mz + nz1
z= 2
m+n
How?
LOCUS
57
n
z
m
z1
Fig . 65
m
( z2 z1 )
m+n
z=
mz2 + nz1
m+n
(verify this)
Such a point z is said to divide the line segment joining z1 and z2 internally in the ratio m:n. We
could also have an external division as follows.
C (z)
B (z2)
A
(z1)
Fig - 66
Here, z divides the line segment joining z1 and z2 externally in the ratio m : n, i.e.,
AC m
=
CB n
mz2 nz1
mn
Now we apply our knowledge of complex numbers along with these facts to actual geometric problems,
in the following examples.
Maths / CompIex Numbers
LOCUS
58
Example 31
(a)
(b)
Solution: (a) Let z be a variable complex number representing the required locus (circle). We want that the
distance of z from 1 + i must always equal 1.
| z (1 + i ) | = 1
(b) The required condition can be easily translated into a mathematical form:
(Distance of z from 1) <
(Distance of z from i)
| z 1| < | z i |
s sdsaasds
Example 32
If z1, z2 and z3 represent the vertices of an arbitrary triangle, find its centroid.
Solution: Let ABC be the triangle, and let G be its centroid. Let D be the mid point of BC.
A(z1)
G(z)
B(z2)
C(z3)
Fig. 67
z 2 + z3
. From plane
2
geometry, we also know that the centroid divides any median in the ratio 2 : 1. Thus,
AG : GD = 2 : 1
This implies that G is given by
z +z
2 2 3 + 1( z1 )
2
z=
2 +1
=
z1 + z2 + z3
3
s sdsaasds
LOCUS
59
Example 33
Find the equation of the straight line joining the points A(z1) and B(z2).
Solution: The situation is sketched in the figure below:
z
B (z2)
A (z1)
z is an arbitrary point
on the line; we need to
determine the relation
that z must satisfy .
Fig - 68
Observe from the figure that the vectors z z1 and z z2 are either in the same direction (wherever z
lies out side the line segment AB) or they are antiparallel (whenever z lies between A and B). Thus, the
vector z z1 can be obtained by multiplying the vector z z2 with a scalar (a real number) in all cases:
z z1 = s( z z2 )
s!
z sz = z1 sz2
z=
1
s
z1
z2
1 s
1 s
= tz1 + (1 t ) z2 , where t =
1
$.
1 s
Thus, we vary t over all real numbers in the relation above and well therefore obtain all the corresponding
points on the required line.
This is the equation of the straight line in parametric form.
We can also write the required equation without involving any parameter. Since z z2 is a scalar
(real) multiple of z1 z2,
z z2
z1 z2 is purely real
z z2
z z2
=
z1 z2 z1 z2
z ( z1 z2 ) z ( z1 z2 ) + z1 z2 z1 z2 = 0
...(1)
This is the required equation in non-parametric form. How do we measure the slope of this line from
the expression in (1)? Observe that the required slope is tan = tan ( arg( z1 z2 ) ) .
Maths / CompIex Numbers
LOCUS
60
| z1 z2 | ei
z1 z2
= e 2i , we do get a measure of . Thus, we
If we evaluate
, which is actually ,
i
| z1 z2 | e
z1 z2
z1 z2
can use z z as some form of slope. Lets call it the complex slope of the line given by (1).
1
2
Now, (1) can be simplified further. Notice that z1 z2 z1 z2 can be written as z1 z2 z1 z2 which is
equal to 2i Im( z1 z2 ).
Therefore, (1) becomes
z ( z1 z2 ) z ( z1 z2 ) + 2i Im( z1 z2 ) = 0
Multiplying both sides by i, we get
z (i ( z1 z2 ) ) z (i ( z1 z2 ) ) 2 Im( z1z2 ) = 0
az + a z + b = 0
where a = i ( z1 z2 )
so that a = i ( z1 z2 )
and b is real
a coefficient of z
. This is the equation of a straight line in its
a coefficient of z
most general (complex form). From this equation try to write down the condition for the collinearity
of three points in determinant form
s sdsaasds
Example 34
If s1 and s2 be the complex slopes of two lines, find the condition on them so that the lines are
(a) parallel
(b) perpendicular
1 = 2 . Therefore,
s1 = s2
s sdsaasds
LOCUS
61
2(1 2 ) =
ei 2(1 2 ) = ei = 1
s1 s21 = 1
s1 + s2 = 0
s sdsaasds
Example 35
Find the equation of a line perpendicular to the line az + a z + b = 0, passing through z1 .
Solution: The complex slope of the original line is
a
a
The complex slope of the perpendicular line will be
s1 =
s2 =
z z1
z z1
z z1 a
=0
z z1 a
a( z z1 ) a ( z z1 ) = 0
az a z (az1 a z1 ) = 0
az a z 2i Im(az1 ) = 0
s sdsaasds
Example 36
Let A( z1 ) and B( z2 ) be arbitrary points in the complex plane. Find the equation of the circle having AB as a
diameter.
Solution: Let P(z)be an arbitrary point lying on the required circle as shown in the figure below
LOCUS
62
P(z)
A(z1)
B(z2)
Fig - 69
| z z1 |2 + | z z2 |2 = | z1 z2 |2
s sdsaasds
This is a possible equation of the required circle. All points lying on the circle will satisfy this
equation
%%%&
%%%&
(ii) Applying rotation ( PA
PB), we get
z2 z | z2 z | i / 2
=
= ik ,
e
z1 z | z1 z |
k $
z2 z
is purely imaginary
z1 z
z z2 z z 2
+
=0
z z1 z z1
( z z1 )( z z2 ) + ( z z1 )( z z2 ) = 0
s sdsaasds
LOCUS
63
| z z0 |2 = r 2
( z z0 )( z z0 ) = r 2
zz zz0 zz0 + z0 z0 r 2 = 0
| z |2 + a z + a z + k = 0
where a = z0 and k =| z0 |2 r 2
This is the general equation that we required. Given this form, we can easily deduce that the centre will
be a and the radius will be | z0 |2 k .
s sdsaasds
Example 38
If z1 and z2 are fixed and z satisfies
| z z1 |2 + | z z2 |2 = k ,
| z |2 Re ( z ( z1 + z2 ) ) =
1
k | z1 |2 | z2 |2
2
Careful thinking will show that the left hand side can be transformed into a perfect square with the
following manipulation.
introduction of
a new term
z +z
1
z +z
| z | Re (z ( z1 + z 2 ) ) + 1 2 = ( k | z1 |2 | z2 |2 ) + 1 2
2
2
2
2
z +z
z 1 2
2
1
| z1 z2 |2
= k
2
2
1
2k | z1 z2 |2
4
LOCUS
64
z1 + z2
1
and the radius is
2k | z1 z2 |2 . For the radius to be defined
2
2
the condition that k must satisfy is
k>
1
| z1 z2 |2
2
s sdsaasds
Example 39
Let bz + bz = c, b 1 be a line in the complex plane. If a point z1 is the reflection of a point z2 through the line,
show that c = z1b + z2b ,
Solution:
A( z1 )
bz + bz = c
B( z2 )
Fig - 70
z1 + z2
should
2
satisfy the equation of the line. Also, AB must be perpendicular to the given line, i.e the complex
slopes of AB and the given line must add to 0.
From the figure, it is obvious that the midpoint of AB must lie on the given line, i.e,
z +z z +z
b 1 2 + b 1 2 = c
2 2
and
z1 z2 b
+ = 0
z1 z2 b
b ( z1 z2 ) b ( z1 z2 ) = 0
2 (1) ( 2 ) gives us the required relation.
... (1)
... (2)
s sdsaasds
LOCUS
65
Example 40
Find the circumcentre of the triangle whose vertices are given by the complex numbers z1, z2 and z3.
Solution:
P(z1)
O(z)
R(z3)
Q(z2)
Fig - 71
We have to find z, the circumcentre O of triangle PQR. By virtue of being the circumcentre, z is
equidistant from z1, z2 and z3. Therefore,
z z1 = z z2 = z z3
( z z1 )( z z1 ) = ( z z2 )( z z2 ) = ( z z3 )( z z3 )
()*)+
()*)+
Equality A
Equality B
From the first two terms in the equality above (Equality A) we get:
z z zz1 z1 z + z1 z1 = z z zz2 z2 z + z2 z2
z ( z2 z1 ) = z ( z1 z2 ) + z2 z1
2
...(1)
...(2)
s sdsaasds
LOCUS
66
TRY YOURSELF - IV
Q. 1
C is the centre of a circle z c = r . A is a point represented by the complex number a inside the circle
and B is a point represented by the complex number b outside the circle, such that C, A, B lie in a straight
line and CA.CB = r2. Show that
r2
b =c+
a c
Q. 2
A is a point given by 8 + 4i. If 0 is the origin and P is the perpendicular bisector of OA, such that
OPA = 120 , find P.
Q. 3
Points D( z1 ), E ( z2 ) and F ( z3 ) lie on a circle centred at the origin 0. The tangents to the circle at D, E
and F intersect at A, B and C; A, B, C are opposite to D, E, F respectively. Show that A is given
by
Q. 4
2z2 z3
z +z z
. Also show that the point of intersection X of AO and DE is given by ( 1 2 ) 3 .
z 2 + z3
z1 + z3
A square whose one vertex is 2 + i 3 circumscribes the circle z 1 = 2 . Find the other three vertices.
LOCUS
67
SOLVED EXAMPLES
Example 1
Show that if
1
1
1
+
+
= 0, z1 , z2 and z3 represent the vertices of an equilateral triangle.
z1 z2 z2 z3 z3 z1
Solution: Let z1 , z2 and z3 represent the vertices A, B and C of the triangle ABC. We need to show that ABC
is equilateral.
A(z1 )
B(z2 )
C(z3 )
Fig - 72
z3 z1 z2 z1
+
=0
z1 z2 z 2 z3
z3 z1 z1 z2
=
z2 z1 z3 z2
z z
z z
Arg 3 1 = Arg 1 2
z3 z2
z2 z1
A = B
s sdsaasds
LOCUS
68
Solution: Assume some arbitrary values for z and w, and plot them on the plane (both z and w will lie inside the
unit circle)
Note that:
A(z)
OA = |z|
OB = |w|
AB = |z w|
B(w)
Fig - 73
z w = z + w 2 z w cos
2
= ( z w ) + 2 z w 2 z w cos
2
= ( z w ) + 2 z w (1 cos )
2
= ( z w ) + 4 z w sin 2
2
( z w ) + 2
2
2
because z 1, w 1 and
2
sin so that sin 2
2 2
2 4
|z+
w|
A(z)
OA = BC = |z|
OB = |w|
OC = |z + w|
B(w)
0
AOB =
OBC =
Fig - 74
Maths / CompIex Numbers
LOCUS
69
= ( z + w ) 2 z w (1 cos )
2
= ( z + w ) 4 z w sin 2
2
( z + w ) 2
2
2
2
part, 4 z w sin
s sdsaasds
Example 3
Two different non-parallel lines meet the circle z = r in the points a, b and c, d respectively. Prove that these lines
meet in the point z given by
z=
a 1 + b 1 c 1 d 1
.
a 1b 1 c 1d 1
Solution: The situation given in the question is sketched in the figure below:
a
b
d
c
|z| = r
Fig - 75
a = b = c = d =r
aa = bb = cc = dd = r 2
Now, a, b and z are collinear z b = (b a )
z b
is purely real
ba
z b z b
=
ba b a
(b a ) z (b a ) z + ab ab = 0
Maths / CompIex Numbers
...(1)
LOCUS
70
(b a ) z + ab ab
ba
Similarly, since c, d and z are collinear,
...(2)
(d c ) z + cd cd
d c
...(3)
z=
z=
From (2) and (3)
(b a ) z + ab ab = (d c ) z + cd cd
ba
d c
...(4)
z
+
z
+
a
b
d c
c
d
b a
=
ba
d c
z b + a z d + c
+
=
+
ab
ab
cd
cd
1 b+a d +c
1
z =
ab
cd
ab cd
=
1 1 1 1
+
a b c d
= a 1 + b 1 c 1 d 1
a 1 + b 1 c 1 d 1
z=
a 1b 1 c 1d 1
s sdsaasds
Example 4
If z1 , z2 and z3 represent the complex numbers A, B, C respectively and ABC = ACB =
prove that ( z2 z3 ) 2 = 4( z3 z1 )( z1 z2 ) sin 2 / 2 .
Solution: Since ABC = ACB , the triangle ABC is isosceles
A(z1 )
A = 2 . 1 ( )
2
=
AB = AC
1 ( )
2
1 ( )
2
B(z2 )
C(z3 )
Fig - 76
1
( ) ,
2
LOCUS
71
%%%& %%%&
Applying rotation about z1 ( AB AC ) :
z3 z1
= ei = cos + i sin
z2 z1
...(1)
Since the final result we would like to obtain contains / 2 , we subtract 1 from both sides of (1)
z3 z1
1 = 1 + cos + i sin
z2 z1
z3 z 2
sin i cos
2
2
2
= 2i sin
cos + i sin
2
2
2
= 2i sin
i / 2
e
2
( z3 z2 )
2
( z2 z1 )
= 4sin 2
i
e
2
= 4sin 2
z3 z1
2 z2 z1
s sdsaasds
Example 5
Prove that if p # the sum of the pth powers of the nth roots of unity is 0, unless p is a multiple of n. What is the
sum in that case?
Solution: Let the nth roots of unity be
1, , 2 .......... n 1
where = ei 2 /n
...(1)
LOCUS
72
( p ) n 1
p 1
... (2)
If p is not a multiple of n, p 1 so that the expression for S p is defined in (2). The numerator of S p
is ( p ) n 1 = ( n ) p 1 = 1p 1 = 0. Thus, S p = 0.
Suppose now that p is a multiple of n. In that case, p = 1, so that S p is directly obtainable from (1).
S p = 1 + 1 + 1 + ....... + 1 (n times)
=n
S p = 0,
n,
Thus,
if p is not a multiple of n
if p is a multiple of n
s sdsaasds
Example 6
If arg( z1/3 ) =
1
arg( z 2 + zz1/3 ), find | z |. (z is a non real complex number).
2
Solution: Since the given relation contains only arguments, we can use the properties that arguments satisfy, to
simplify this relation:
2 arg( z1/3 ) = arg( z 2 + zz1/3 )
z 2 + zz1/3
arg
=0
2/3
z
z 4/3 +
z
z
1/3
= z 4/3 +
z
z
1/3
because if arg (z ) = 0,
z is purely real
z= z
LOCUS
73
z 4/3 z 4/3 .
Therefore,
z
2/3
=1
| z | = 1.
s sdsaasds
Example 7
If | z 25i | 15, find max(arg( z )) and min(arg( z )).
Solution: From the given relation, it is clear that z must lie inside (or on) a circle of radius 15 centred at 25i. To
obtain max(arg( z )) and min(arg(( z )), what we can do is draw two tangents to the circle from the
origin:
y
P 25i
B(z2)
A(z1)
0
Fig. 77
OP = 25,
Now,
AP = 15
15
3
POA = sin 1 = sin 1 = POB
25
5
1 3
arg( z1 ) = sin
Therefore,
2
5
3
and
arg( z2 ) = + sin 1
2
5
These are the minimum and maximum values respectively.
s sdsaasds
LOCUS
74
Example 8
If sin + 2 sin + 3sin = 0 and cos + 2 cos + 3cos = 0, find:
(a) cos 3 + 8 cos 3 + 27 cos 3
(b) sin( + ) + 2sin( + ) + 3sin( + )
Solution: Construct three complex number z1 , z2 and z3 , such that
z1 = cos + i sin ; z2 = cos + i sin ;
Note that
z3 = cos + i sin
| z1 | = | z 2 | = | z3 | = 1
and
z1 + 2 z2 + 3z3 = 0
... (1)
1 2 3
+ + =0
z1 z2 z3
...(2)
1
because zi = ; i = 1, 2, 3
zi
ei ( + ) + 2ei ( + ) + 3ei ( + ) = 0
LOCUS
75
Example 9
Find the orthocentre of the triangle whose vertices are z1 , z2 and z3
Solution: Let z be the required orthocentre
z1
z3
z2
Fig 78
z
z
3 2 2
Similarly,
z1 z
z3 z2 is purely imaginary
z1 z
z z
+ 1
=0
z3 z2 z3 z2
z z1 =
( z3 z2 )( z1 z )
z3 z 2
...(1)
z z
arg 2
=
z1 z3 2
( z1 z3 )( z2 z )
z1 z3
Subtracting (2) from (1), we obtain
z z2 =
z2 z1 =
...(2)
( z3 z2 )( z1 z ) ( z1 z3 )( z2 z )
z3 z2
z1 z3
...(3)
A sequence of (lengthy and tedious !) manipulations to separate z in terms of the other constants in (3)
will give
2
| z1 |2 ( z2 z3 )+ | z2 |2 ( z3 z1 ) + z3 ( z1 z2 ) + z1 ( z2 z3 ) + z2 ( z3 z1 ) + z3 ( z1 z2 )
z=
( z1 z2 z1 z2 ) + ( z2 z3 z2 z3 ) + ( z3 z1 z3 z1 )
s sdsaasds
LOCUS
76
Example 10
If is the nth roots of unity given by = ei 2 / n and z1 and z2 are any two complex numbers, show that
n 1
z1 + p z2
p =0
= n | z1 |2 + | z2 |2
| z1 + p z2 |2 = z1 + p z2
Solution:
)( z + z )
p
=| z1 |2 + | z2 |2 + p z1 z2 + p z1 z2
n 1
Now,
p = 0
p =0
n 1
p = 0
p =0
Thus,
n 1
n 1
n 1
p =0
p =0
| z1 + p z2 |2 = n | z1 |2 + | z2 |2 + z1z2 p + z1z2 p
p =1
= n | z1 |2 + | z 2 |2
s sdsaasds
Example 11
If both and 2 (non-real cube roots of unity) satisfy the equation
1
1
1
1
2
+
+
+
=
a+ x b+ x c+ x d + x x
and 2 are roots of this equation. Let and be the other two roots.
+ 2 + + =
(a + b + c + d )
2
+ = 1
Maths / CompIex Numbers
(a + b + c + d )
2
...(1)
LOCUS
77
+ + 2 + + 2 + 3 = 0
+ 1 = 0
( 1)( 1) = 0
= 1 or = 1
s sdsaasds
Example 12
If | an |< 2 for 1 n k , show that the equation
1 + a1 z + a2 z 2 + ...... + ak z k = 0
1
cannot be satisfied by any z whose modulus is less than
3
1
Solution: Assume that | z | < . We will use this assumption to arrive at a contradiction, proving the assumption
3
wrong.
Let
p = a1 z + a2 z 2 + .... + ak z k
| p | =| a1 z + a2 z 2 + .... + ak z k |
| a1 z | + | a2 z 2 | +.....+ | ak z k |
< 2 | z | + | z |2 +......+ | z |k
(Triangle inequality)
( | an |< 2 V n )
1
1 1
< 2 + 2 + ...... + k
3
3 3
Thus,
1 k
1
3
= 2
3 1 1
1
= 1 k
3
<1
| p |< 1 or 1 < p < 1
1 + p can never be 0, or the given equation can never
1
be satisfied if | z | < .
3
1
Our assumption | z | < is wrong. Thus,
3
1
| z | <|
3
s sdsaasds
LOCUS
78
Example 13
s sdsaasds
(e z ) = e z
(b)
(ln z ) = ln z
(c)
(cos z ) = cos z
(d)
( z1z2 ) = z1 2 .
z
= e x iy
= ez
s sdsaasds
You might find the operation of raising a real number to an arbitrary complex number sort of
strange. But with time, you will realise that what we are doing is mathematically consistent and
therefore makes sense. For example, we can even determine sines and cosines of complex
numbers! (as in part -c below)
(b) (ln z ) = ln(rei ) = (ln r + ln ei )
= ln r + i
= ln r i
= ln r + ln e i
= ln re i
= ln z
eiz + e iz
2
eiz + e iz e iz + eiz
cos z =
=
2
2
= cos z
z2
1
z2 ln z1
( z1z2 ) = (e z2 ln z1 ) = e z2 ln z1 = e z2 (ln z1 ) = e z2 ln z1 = z1 2
z
s sdsaasds
LOCUS
79
Example 14
Find the largest and the smallest value of |z| if z satisfies
z+
1
=a
z
1
:
z
1
1
z
z
z
Ineq A
-./
1
a z a
z
(*+
Ineq B
z + a z 1 0
2
Ineq A :
a a 2 + 1
4
a + a 2 + 1
z
4
z z 1 0
2
Ineq B :
a a2 + 1
The roots of this quadratic expression are
4
a + a2 + 1
4
Thus,
a + a 2 + 1
a + a2 + 1
z
4
4
These are the required largest and smallest values, between which |z| can lie.
s sdsaasds
LOCUS
80
Example 15
Assume that Ai (i = 1, 2...n) are the vertices of a regular polygon inscribed in a circle of radius unity. Find the value
of A1 A2 + A1 A3 + ... + A1 An
2
Solution : There is no loss of generality in assuming that one of the vertex, say Al, lies at the point 1.
y
A4
i4 /n
A3 = e
i2/n
A2 = e
2/n
A1 = 1
An = ei2(n-1)/n
Fig - 79
Thus, A1 A2 = 1 ei 2 / n = 1 cos
= 2sin 2
= 2sin
2
2
i sin
n
n
2i sin cos
n
n
n
sin i cos
n
n
n
= 2 sin / n
Similarly, A1 Ar = 1 ei 2( r 1) / n = 2 sin
Now,
( r 1)
n
A1 A2 + A1 A3 + ... + A1 An
2
= 4sin 2
2
( n 1)
+ 4 sin 2
+ ... + 4sin 2
n
n
n
2
= 2 1 cos
n
4
+ 1 cos
n
2(n 1)
+ ... + 1 cos
n
LOCUS
81
2
4
2 (n 1)
= 2 (n 1) cos
+ cos
+ ...cos
n
n
n
n 1
Why?
Because
e i 2 r / n = 0
r =0
n 1
ei 2 r / n = 1
r =1
n 1
Re ei 2 r / n = 1
r =1
= 2 {(n 1) (1)}
= 2n
s sdsaasds
Example 16
If n is a positive integer, prove that Im( z n ) n Im( z ) z
Im( z n ) =
Solution:
Im( z ) =
Similarly,
n 1
zn zn zn z n
=
2i
2i
zz
2i
Im( z n )
zn z n
=
Im( z )
zz
n
= z
n 1
= z
n 1
n 1
= z
n 1
z
1
z
z
1
z
n 1
+ n 2 + ... + 1
Triangle inequality
Im( z n ) n Im( z ) z
we let =
z
n 1 + n 2 + ...1
n 1
= 1)
s sdsaasds
LOCUS
82
Example 17
Show that the triangles whose vertices are z1 , z2 , z3 and Z1 , Z 2 , Z 3 are directly similar if
z1
z2
z3
Z1 1
Z2 1 = 0
Z3 1
z1
Solution:
z1
z3
z2
z3
z2
Fig . 80
Since the triangles are directly similar, the vector z1 z2 will be a scalar multiple of Z1 Z 2 ; the
vector z2 z3 will be the (same) scalar multiple of Z 2 Z3 and so on:
z1 z2 = ( Z1 Z 2 )
z 2 z3 = ( Z 2 Z 3 )
z1 z2 Z1 Z 2
=
z 2 z3 Z 2 Z 3
z1 ( Z 2 Z 3 ) + z2 ( Z 3 Z1 ) + z3 ( Z1 Z 2 ) = 0
z1
z2
z3
Z1 1
Z2 1 = 0
Z3 1
Example 18
Show that the perpendicular distance of a point z0 from the line az + az + b = 0 (b $ ) is
az0 + az0 + b
2a
s sdsaasds
LOCUS
83
Solution:
z0
az + az + b = 0
z1
Fig - 81
Let z1 be the foot of the perpendicular dropped from z0 onto the given line. We need to evaluate
z0 z1 .
Now, since z1 lies on the given line, we have
az1 + az1 + b = 0
Also, the complex slopes of the given line and the perpendicular must add to 0:
...(1)
a z0 z1
+
=0
a z0 z1
a ( z0 z1 ) + a ( z0 z1 ) = 0
az0 + az0 + az1 az1 = 0
...(2)
az0 az0 b
2a
z1 z0 =
az0 az0 b
2a
z1 z0 =
az0 + az0 + b
2a
s sdsaasds
Example 19
Find all a $ if these exists one z which satisfies z = 3, z (a(1 + i ) i) 3 and z + 2a ( a + 1)i > 3
simultaneously.
Solution: Since z = 3, z must lie on a circle of radius 3 centred at the origin. Now, the distance of z from
a(1 + i) i must not be greater than 3, i.e., z must lie inside a circle of radius 3 centred at
a(1 + i) i. Thus, the |z| = 3 circle and the latter circle must intersect (or at least touch) in order that
both the relations |z| = 3 and z (a(1 + i) 1) 3 are satisfied. This means that the distance between
the centres of the two circles must be less than the sum of the radii, i.e., 6
Maths / CompIex Numbers
LOCUS
84
a(1 + i) 1 6
(a 1) + ai 6
(a 1) 2 + a 2 36
2a 2 2a 35 0
1 71
1 + 71
a
2
2
...(1)
By an analogous argument, for the relation z + 2a ( a + 1)i > 3 to be satisfied simultaneously, z must
lie outside a circle of radius 3 centred at 2a ( a + 1)i . Thus, the distance between the two centres of
the two circles z = 3 and this circle must be greater than the sum of the radii.
2a (a + 1)i > 6
5a 2 + 2a + 1 > 36
a<
1 4 11
1 + 4 11
or a >
5
5
...(2)
5
5
2
2
s sdsaasds
Example 20
Plot the fifth roots of 16( 3 + i ) on the plane
Solution: We first write z = 16( 3 + i ) in its Euler form.
z = 16( 3 + i ) = 32ei 5 / 6
5
i 2 p +
= 32e
, p#
2 p
i
+
6
5
z = 2e
, p#
To obtain the roots , we let p take on five consecutive integral values, say p = 0, 1, 2, 3, 4. The roots
obtained are:
1/ 5
LOCUS
85
These five roots will lie evenly spaced out at angles of 72 between any two consecutive roots. The
first root is at an angle of 30.
2e e
i /6 i2/5
2ei/6
2e e
i /6 i4/5
2
5
r=2
=
6
2e e
i /6 i8 /5
2e e
i /6 i6/5
s sdsaasds
Fig . 82
Example 21
Prove that
z z1
= k represents a circle if k 1 and a line if k = 1.
z z2
| z z1 | = | z z2 |
which implies that z lies on the perpendicular bisector of the line segment joining z1 and z2 .
Let us now consider the case when k 1 .
P(z)
A(z1)
B(z2)
Fig - 83
LOCUS
86
Assuming k > 1, we let I be the point of internal division and E the point of external division of the
segment AB in the ratio k : 1.
A(z1)
B(z2)
Fig- 84
Thus,
AI AE
=
= k.
IB EB
kz2 + z1
kz z
while E is given by 2 1
k +1
k 1
Now, we need the points z which satisfy
I is given by
| z z1 | = k | z z2 |
(k 2 1) | z |2 z (k 2 z2 z1 ) z (k 2 z2 z1 ) + k 2 | z 2 |2 | z1 |2 = 0
| z |2 z
| z |2
(k 2 z2 z1 )
(k 2 z2 z1 ) k 2 | z2 |2 | z1 |2
z
+
=0
k 2 1
k 2 1
k 2 1
z (k 2 z2 z1 ) z (k 2 z2 z1 ) | k 2 z2 z1 |2 | k 2 z2 z1 |2 k 2 | z 2 |2 | z1 |2
+
=
(k 2 1) 2
( k 2 1) 2
k 2 1
k 2 1
k 2 1
0
k 2z z
k 2 (| z1 |2 + | z2 |2 z1 z2 z1 z2 ) k 2 | z1 z2 |2
z 22 1 =
=
(k 2 1) 2
k 1
(k 2 1)2
k 2 z2 z1 k | z1 z2 |
z 2
=
k 1
k 2 1
LOCUS
87
k | z1 z2 |
k 2 z2 z1
and radius
. Note that the mid
2
k 2 1
k 1
1 kz2 + z1 kz2 z1
+
2 k +1
k 1
k 2 z2 z1
k 2 1
Thus, the centre of this circle is actually the mid-point of IE and the radius is
k
times the original
k 1
2
line-segment AB.
s sdsaasds
Example 22
Find the complex numbers which simultaneously satisfy
z 12 5
z4
= and
=1
z 8i 3
z 8
Solution: Readers whove followed the previous example will realise that the first equation is that of a circle
while the second is that of a straight line which is the perpendicular bisector of 4 and 8, i.e., from the
second equation, we know that z is of the form z = 6 + xi.
Using this in the first equation, we get
6 + xi
5
=
6 + ( x 8)i 3
Thus,
9(62 + x 2 ) = 25 62 + ( x 8) 2 = 25(100 + x 2 16 x)
16 x 2 400 x + 2176 = 0
x 2 25 x + 136 = 0
( x 8)( x 17) = 0
x = 8 or 17
z = 6 + 8i or 6 + 17i
s sdsaasds
Example 23
If the points z1 , z2 ,.........zn all lie on the same side of a line passing through the origin, show that the points
1 1
1
, ,......,
z1 z 2
zn also lie on the same side of another line passing through the origin.
Maths / CompIex Numbers
LOCUS
88
All the points zi lie on the same side of this line, i.e.,
azi + a zi > 0 V i or < 0 V i
Dividing by | zi |2 = zi zi on both sides of the inequality, we obtain
a a
+ >0
zi zi
V i or < 0 V i
1
a
zi
> 0 V i or < 0 V i
1
+ a
zi
s sdsaasds
Example 24
10
2q
2q
i cos
Evaluate (3 p + 2) sin
11
11
p =1
q =1
32
Solution: Although the expression is enormous, the alert reader will quickly realise that this expression can be
expressed in terms of the eleventh roots of unity.
2q
2q
2q
2q
i cos
+ i sin
sin
= i cos
11
11
11
11
= i q where = cos
10
Thus,
sin
q =1
2q
2q
i cos
11
11
2
2
+ i sin
= ei 2 /11
11
11
10
q
= (i )
q =1
10
= i q
q 1
= i 1
= i
(1 + + ...
10
= 0)
LOCUS
89
S = (3 p + 2)i p
p =1
32
32
P =1
P =1
= 3 pi P + 2 i P
32
is obviously 0. Therefore
P =1
s sdsaasds
Example 25
If =
8
, find the value of cos + cos 2 + cos 3 + cos 4 + cos 5 .
11
Solution: Consider the eleventh roots of unity, i.e., the solutions to the equation
z11 1 = 0 .
The roots are ei 2 k /11 , k = 0, 1...10 .
The roots can also be expressed in terms of ei 8 k /11 , i. e., if we let = ei 8 k /11 and take 11 consecutive
values of k, we will still be able to list down all the roots (Think about why this should happen carefully.
Take = ei 2 k /11 and take 11 consecutive values of k; and then take = ei 8 k /11 and again take 11
consecutive values of k. You will get the same set of 11 (eleventh roots of unity) values).
Thus, we let = ei 8 k /11 and let k take the values 5, 4, ... 4, 5 (eleven consecutive values)
i 8 k /11
=0
i 8 k /11
= 1
k =5
k =5
k 0
i
i
2(cos + cos 2 + cos 3 + cos 4 + cos 5 ) = 1 (e + e = 2 cos )
1
2