Unit One : Complex Numbers

1.1 The Geometry of Complex Numbers

Let z = x + iy = (x, y )C , x, y R be a point in the complex plane, or simply z-plane, then Re(z)=x
and Im(z)=y are the projection of z=(x, y) onto the real axis and imaginary axis, respectively. z=(x, y) is
also the cartesian coordinate of the xy plane.

[Definition 1.1.1] The modulus of complex numbers

The modulus, or absolute value, of the complex number z = x + iy is a nonnegative number, denoted

by z , and is defined by z = x 2 + y 2 .

[Property 1.1.1]
1. x = Re(z) z and y = Im(z) z z = zz , z C .

2. z1 z2 = (x1 x2 ) 2 + (y1 y2 )2 , z1 = x1 + iy1 , z2 = x2 + iy2 C .

2
3. z = zz , z C .
4. z1 z2 = z1 z2 , z1 = x1 + iy1 , z2 = x2 + iy2 C .
z1 z
5. = 1 , z1 = x1 + iy1 , z2 = x2 + iy2 C
z2 z2
[Proof]
1. Let the Cartesian coordinates of points O, P, and Q on the complex plane be O = (0, 0) ,
Q = (x, 0)=( Re(z ) ,0) , and P = (x, y)=( Re(z ) , Im(z ) )=z , then the numbers Re(z ) , Im(z ) , and z are
lengths of the sides of the right triangle OPQ. The property is proved.
2. z1 z2 (x1 + iy1 ) (x2 + iy2 ) = (x1 x2 ) + i (y1 y2 ) (x1 x2 ) 2 + (y1 y2 ) 2 .
2 2
3. z x + iy (x 2 + y 2 )=(x + iy )(x iy ) zz .
2 2 2
4. Since z1 z2 (z1 z2 )(z1 z2 ) = (z1 z1 )(z2 z2 ) z1 z2 , we have z1 z2 = z1 z2 .
2
1 11 1 1 z 1 1 z z
5. Since = = 2 and, 1 = z1 z1 , we have 1 = 1 .
z2 z2 z 2 z2 z2 z2 z2 z2 z2 z2 z2

[Theorem 1.1.1] The triangle inequality

z1 + z2 z1 + z2 , z1 = x1 + iy1 , z2 = x2 + iy2 .
[Proof]
2 2 2
Since z1 + z2 (z1 + z2 )(z1 + z2 ) (z1 + z2 )(z1 + z2 )=z1 z1 + z1 z2 + z1 z2 + z2 z2 z1 + z1 z2 + z1 z2 + z2
2 2 2 2 2 2
z1 + 2Re(z1 z2 ) + z2 z1 + 2 z1 z2 + z2 = z1 + 2 z1 z2 + z2 = ( z1 + z2 ) 2 , we have z1 + z2 z1 + z2 .

1
[Corollary 1.1.1]
1. z1 z2 z1 + z2 , z1 = x1 + iy1 , z2 = x2 + iy2
2. z1 z2 z1 + z2 , z1 = x1 + iy1 , z2 = x2 + iy2
3. z1 z2 z1 z2 , z1 = x1 + iy1 , z2 = x2 + iy2
4. z1 + z2 + + zn z1 + z2 + + zn , zk = xk + iyk C , k = 1, 2,, n .
[Proof]
1. Since z1 = (z1 + z2 ) + ( z2 ) z1 + z2 + z2 = z1 + z2 + z2 z1 + z2 z1 z2 , and similarly
z2 = (z2 + z1 ) + ( z1 ) z2 + z1 + z1 = z2 + z1 + z1 z1 + z2 z2 z1 = ( z1 z2 ) z1 z2 z1 + z2 .
we have z1 z2 z1 + z2 .
2. Since z1 + z2 z1 + z2 , we have z1 z2 = z1 + ( z2 ) z1 + z2 = z1 + z2 .
3. Since z1 = (z1 z2 ) + z2 z1 z2 + z2 z1 z2 z1 z2 , and similarly
z2 = (z2 z1 ) + z1 z2 z1 + z1 (z1 z2 ) = z1 z2 z2 z1 = ( z1 z2 ) z1 z2 z1 z2 ,
we have z1 z2 z1 z2 z1 z2 z1 z2 z1 z2 .
4. By mathematical induction, when n=2, we have z1 + z2 z1 + z2 . Assuming
when n=m, z1 + z2 + + zm z1 + z2 + + zm is valid, it must also hold when n=m+1, that is,
(z1 + z2 + + zm ) + zm+1 z1 + z2 + + zm + zm+1 ( z1 + z2 + + zm ) + zm+1 = z1 + z2 + + zm+1 .

Let z = x + iy = (x, y )C , x,y R be a point in the complex plane, the modulus of z be z r R + , and
be the angle that the line from the origin to the complex number z makes the positive x-axis. Then
z = x + iy = (x, y ) = (rcos , rsin )=r (cos + isin ) .

[Definition 1.1.2] The argument and the principal argument of complex numbers
If z C , z 0 , then the argument of a complex number z is defined as arg z = { : z = r (cos + isin )} .
The principal argument of the complex number z is defined as arg z = { : z = r (cos + isin ), < < } .
Note that arg z = Arg z + 2n (n=0, 1, 2,) .

[Example 1.1.1]
Since z =1+ i = 2(cos /4 + isin / 4) , we have
arg (1+ i ) = { /4 + 2n : n is an integer} = { /4 2 , /4 4 , } , and Arg (1+ i) = /4 .

[Theorem 1.1.2] Eulers formula

Let z C , z 0 , then the exponential form of a complex number z is
z = x + iy = (x, y ) = (rcos , rsin )=r (cos + isin ) = rei , where ei = cos + isin = (cos , sin ) is called the
Eulers formula.
[Proof]

2

1 1 1 1 ( 1) k 2 k 1 1 1
Since e = k = 1+ + 2 + 3 +

+ n + , cos = = 1 2 + 4 6 ,
k = 0 k! 2! 3! n! k = 0 (2k )! 2! 4! 6!

( 1) k 2 k +1 1 1 1 1 1 k k 1
and sin = = 3 + 5 7 , we have e = (i ) = i + i k k
i k

k = 0 (2k +1)! 3! 5! 7! k =0 k! k even k! k odd k!

1 2k 2k 1
1
1
= i + i 2 k +1 2 k +1 = ( 1) k 2 k + i ( 1) k 2 k +1 = cos + isin .
k = 0 (2k )! k =0 (2k +1)! k =0 (2k )! k =0 (2k +1)!

[Corollary 1.1.2]
1. Let z = rei , r R + , then z = re i , and z = r , arg z = .

2. Let z = rei , r R + , then z 1 = r 1e i , and z 1 = r 1 , arg z 1 = .

3. Let z1 = r1ei1 , z2 = r2ei2 , r1 , r2 R + , then

z1 z2 = r1r2 ei (1 + 2 ) , and z1 z2 = r1r2 , arg (z1 z2 ) = arg z1 + argz2 .

z1 r1 i (1 2 ) z r z
4. Let z1 = r1ei1 , z2 = r2ei2 , r1 , r2 R + , then = e , and 1 = 1 , arg ( 1 ) = arg z1 argz2 .
z2 r2 z2 r2 z2

5. Let z = rei , r R + , then z n = r n ein , and z n = r n , arg z n = n .

[Example 1.1.2]
Let z1 = r1ei1 , z2 = r2ei2 , r1 , r2 R + , then z1 z2 = r1r2ei (1 2 ) , and z1 z2 = r1r2 , arg (z1 z2 ) = arg z1 argz2 .
Let z1 = r1ei1 , z2 = r2ei2 , r1 , r2 R + , then z1 z2 = r1r2ei ( 2 1 ) , and z1 z2 = r1r2 , arg (z1 z2 ) = arg z2 argz1 .

[Theorem 1.1.3] De Moivres formula (The French mathematician Abraham De Moivre (1667-1754)
(cos + isin ) n = cosn + isinn .
[Proof]
By Eulers formula, we have (cos + isin ) n (ei ) n = ein cosn + isinn .

[Example 1.1.3]
Use De Moivres formula to show that
1. cos2 = cos 2 sin 2 , and sin2 = 2sin cos .
2. cos3 = cos3 3cos sin 2 , and sin3 = 3cos 2 sin sin 3 .
1+ cos 1 cos
3. cos = , and sin = .
2 2 2 2
4.
[Proof]
By Eulers formula, we have
1. cos2 + isin2 ei 2 = (ei )2 = (cos + isin ) 2 = (cos 2 sin 2 ) + i (2sin cos ) , hence,
cos2 = cos 2 sin 2 , and sin2 = 2sin cos .

3
2. Since cos3 + isin3 ei 3 = (ei )3 = (cos + isin )3 = (cos3 3cos sin 2 ) + i(3cos 2 sin sin 3 ) ,
We have cos3 = cos3 3cos sin 2 , and sin3 = 3cos2 sin sin 3 .

3. Since cos + isin ei = (ei /2 ) 2 = (cos + isin ) 2 = (cos 2 sin 2 ) + i(2sin cos ) , we have
2 2 2 2 2 2

cos = cos2 sin 2 , and sin = 2sin cos . It follows from solving the above equations that
2 2 2 2
1+ cos 1 cos
cos = , and sin = .
2 2 2 2

4. Since cos + isin ei = (ei /3 )3 = (cos + isin )3 = (cos3 3cos sin 2 ) + i (3cos2 sin sin 3 ) ,
3 3 3 3 3 3 3 3

We have cos = cos3 3cos sin 2 , and sin = 3cos 2 sin sin 3 . It follows from solving the above
3 3 3 3 3 3
equations that .

1.2 The Algebra of Complex Numbers

[Definition 1.2.1] The set of complex numbers, and their equality
The set of complex numbers is defined as C { z = x + iy = (x, y) : x, y R } .
Let z1 = x1 + iy1 = (x1 , y1 ), z2 = x2 + iy2 = (x2 , y2 )C . Then z1 and z2 are equal iff x1 = x2 , y1 = y2 .

[Definition 1.2.2] The arithmetic operations of complex numbers

Let z1 = x1 + iy1 = (x1 , y1 ), z2 = x2 + iy2 = (x2 , y2 )C . Then
1. the addition of z1 and z2 is defined as z1 + z2 (x1 , y1 ) + (x2 , y2 ) (x1 + x2 , y1 + y2 ) .
2. the subtraction of z1 and z2 is defined as z1 z2 (x1 , y1 ) (x2 , y2 ) (x1 x2 , y1 y2 ) .
3. the multiplication of z1 and z2 is defined as z1 z2 (x1 , y1 )(x2 , y2 ) (x1 x2 y1 y2 , x1 y2 + x2 y1 ) .
z1 (x1 , y1 ) x x + y y x y + x y
4. the division of z1 and z2 is defined as ( 1 22 12 2 , 1 2 2 22 1 ) .
z2 (x2 , y2 ) x2 + y2 x2 + y2
[Definition 1.2.3] The real part, imaginary part, conjugate of complex numbers
Let z = x + iy = (x, y)C . Then
1. The real part of z, denoted Re(z ) , is the real number x, i. e., Re(z ) = x .
2. The imaginary part of z, denoted Im(z ) , is the real number y, i. e., Im(z ) = y .
3. The conjugate part of z, denoted z , is the complex number (x, y ) , i. e., z = x iy .

[Property 1.2.1]
Let z, z1 , and z2 C . Then

1. z = z . [ z = (x, y ) (x, y ) (x, y ) = z ] .

2. z1 + z2 = z1 + z2 .

4
 [ z1 + z2 = (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ) (x1 + x2 , y1 y2 ) = (x1 , y1 ) + (x2 , y2 ) z1 + z2 ]
3. z1 z2 = z1 z2 .
[ z1 z2 = (x1 , y1 )(x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 ) (x1 x2 y1 y2 , x1 y2 x2 y1 ) = (x1 , y1 )(x2 , y2 ) z1 z2 ]

z z z z z (x x + y y , x y + x y ) (x , y1 ) z1
4. 1 = 1 . 1 = 1 2 = 1 2 1 22 22 1 1 2 = 1 = , or
z2 z2 z2 z2 z2 x2 + y2 (x2 , y2 ) z2

z1 = z1 z2 = z1 z22 = z1 z 22 = z1 z2 = z1 .
z2 z2 z2 z2 z2 z2 z 2 z 2

z+z 2 x (x, y ) + (x, y ) z+z
5. Re(z ) = . Re(z ) = x = = .
2 2 2 2
zz 2 yi (x, y ) (x, y ) z z
6. Im(z ) = . Im(z ) = y = =
2i 2i 2i 2i
7. Re(iz ) = Im(z ) . [ Re(iz ) = Re(i (x + iy )) = Re( y + ix) = y = Im(z ) ] .
8. Im(iz )=Re(z ) . [ Im(iz ) = Im(i(x + iy)) = Im( y + ix) = x = Re(z ) ] .

[Property 1.2.2]
1. z1 + z2 + + zn = z1 + z2 + + zn .
2. z1 z2 zn = z1 z2 zn .
[Proof]
1. By mathematical induction, when n=2, we have z1 + z2 = z1 + z2 . Assuming
when n=m, z1 + z2 + + zm = z1 + z2 + + zm is valid, it must also hold when n=m+1, that is,
(z1 + z2 + + zm ) + zm+1 = z1 + z2 + + zm + zm+1 = z1 + z2 + + zm + zm+1 .
2. By mathematical induction, when n=2, we have z1 z2 = z1 z2 . Assuming
when n=m, z1 z2 zm = z1 z2 zm is valid, it must also hold when n=m+1, that is,
z1 z2 zm zm+1 = z1 z2 zm zm+1 = z1 z2 zm zm+1 .

[Theorem 1.2.1] Corollary to the fundamental theorem of algebra

If P(z ) is a polynomial of degree n (n > 0) with complex coefficients, then the equation P(z ) = 0 has
precisely n (not necessarily distinct) solutions.

Two nonzero complex numbers are equal iff their moduli agree and an argument of one equals an
argument of the other to within an integral multiple of 2.
Let z1 = r1ei1 and z2 = r2ei2 , r1 , r2 R + . z1 = z2 , i.e., r1ei1 = r2ei2 iff r1 = r2 and 1 = 2 + 2 k , where k
is an integer.
Consider the equation z n =1 . Let z = rei , then (rei ) n = r n ein =1 =1ei 0 . Thus
2 k
r n =1, and n = 0 + 2 k r =1 and = , where k = 0, 1, 2, is an integer.
n
5
From the Corollary to the fundamental theorem of algebra, there are n distinct solutions to z n =1 . The n
2 k
i 2 k 2 k
distinct solutions can be expressed as zk = re n = cos + isin , for k = 0, 1, 2,, n 1 , which are
n n
called the nth roots of unity.

[Definition 1.2.4] Primitive nth roots of unity

2
i 2 2
For any natural number n, the value n = re n = cos + isin is called the primitive nth roots of
n n
unity.

{
Geometrically, the nth roots of unity expressed as 1, n , n2 ,, nn 1 are equally spaced points that}
lie on the unit circle C1 ( 0 ) {z : z = 1} and form the vertices of a regular polygon with n sides.

Consider the equation z n = c, c C . Let z = rei and c = ei = (cos + isin ) , then

(rei )n = r n ein = ei . Thus r n = , and n = + 2 k , where k = 0, 1, 2, is an integer. As before, we
1 + 2 k 1
i + 2 k + 2 k
get n distinct solutions given by zk = ne n = n cos + isin , for k = 0, 1, 2,, n 1 .
n n
{
Geometrically, the nth roots of unity expressed as , n , n2 ,, nn1 , where, is any particular }
solution to the equation z n = c , are equally spaced points that lie on the unit circle C1/n ( 0 ) {z : z = } 1/n

and form the vertices of a regular polygon with n sides.

[Example 1.1.1]
Solving the following equations:
1. z8 =1 .
2. z 3 = 8i .
[Solution]
2 k
i 2 k 2 k
1. The solutions to z8 =1 are zk = re 8 = cos + isin , for k = 0, 1, 2,, 7 .
8 8
2 +i 2 2 i 2
In Cartesian form, these solutions are 1, i, , . The primitive 8th root of unity
2 2
2
i 2 2 2 2
is 8 = re 8 = cos + isin = +i .
8 8 2 2

2. Since 8i = 8(cos + isin ) , The solutions to z 3 = 8i are
2 2
1 /2 + 2 k
i /2 + 2 k /2 + 2 k
zk = 83 e 3 = 2 cos + isin , for k = 0, 1, 2 . In Cartesian form, these solutions are
3 3
{z 0 = 3 + i, z1 = 3 + i, z2 = 2i . }

6
1.3 The Abstract Algebra of Complex Numbers

1.4 The Topology of Complex Numbers

[Exercise 1.1]
(1) Use mathematical induction to show that when n = 2, 3,
n
, zn = z .
2
(2) Show that a0 + a1 z + a2 z 2 + + an z n a0 + a1 z + a2 z + + an z .
n

[Solution]
(1) when n=2, we have
2
z 2 = (x + iy ) 2 = (x 2 y 2 ) + i (2xy ) = (x 2 y 2 ) 2 + 4 x 2 y 2 = (x 2 + y 2 ) 2 = (x 2 + y 2 ) = z
m
Assuming when n=m, z m = z is valid, it must also hold when n=m+1, that is,
m +1
z m +1 = z m z = z m z = z
m
z=z .

(2) Since z1 + z2 + + zn z1 + z2 + + zn , we have

2
a0 + a1 z + a2 z 2 + + an z n a0 + a1 z + a2 z 2 + + an z n = a0 + a1 z + a2 z + + an z .
n

[Exercise 1.2.a]
2 2
(1) Let z1, z2 C , z1 = a > 0, z2 = b > 0, and Arg(z1 z2 ) = , < . Find z1 + z2 and z1 z2 .
z2
(2) Let z1, z2 C , z1 = r1 > 0, z2 = r2 > 0, and Arg(z1 z21 ) = , < . Find and z1 z2 + z1 z2 .
z1
(3) Let z0 , z1 , and z2 C , z1 z0 = c > 0, z2 z0 = d > 0, and Arg((z1 z0 )(z2 z0 )) = , < .
z 2 z0
Find and z1 z2 .
z1 z0
[Solution]
(1) (i) z1 + z2 = (z1 + z2 )(z1 + z2 ) = (z1 + z2 )(z1 + z2 ) = z1 z1 + z1 z2 + z1 z2 + z2 z2 = z1 + 2Re ( z1 z2 ) + z2
2 2 2

2 2 2 2
= z1 + 2 z1 z2 cos(Arg(z1 z2 )) + z2 = z1 + 2 z1 z2 cos + z2 = a 2 + b 2 + 2abcos .

(ii) z1 z2 = (z1 z2 )(z1 z2 ) = (z1 z2 )(z1 z2 ) = z1 z1 z1 z2 z1 z2 + z2 z2 = z1 2Re ( z1z2 ) + z2

2 2 2

2 2 2 2
= z1 2 z1 z2 cos(Arg(z1 z2 )) + z2 = z1 2 z1 z2 cos + z2 = a 2 + b 2 2abcos .

(2) (i) Since Arg(z1 z21 ) = Arg(z1 ) Arg(z2 ) = , we have Arg(z2 ) Arg(z1 ) = . Thus,
iArg(z2 )
z2 z2 e r r r
= iArg(z1 )
= 2 ei (Arg(z2 )Arg(z1 )) = 2 ei ( ) = 2 ( cos isin ) .
z1 z1 e r1 r1 r1

7
 (ii) Since Arg(z1 z2 ) = Arg(z1 ) + Arg(z2 ) = Arg(z1 ) Arg(z2 ) = Arg(z1 z21 ) = , we have

z1 z2 + z1 z2 = z1 z2 + z1 z2 = z1 z2 + z1 z2 = 2Re(z1 z2 ) = 2 z1 z2 cos(Arg(z1 z2 )) = 2r1r2cos .

(3) (i) Since Arg((z1 z0 )(z2 z0 )) = Arg(z1 z0 ) Arg(z2 z0 ) = , we have Arg(z1 z0 ) Arg(z2 z0 ) = .
iArg(z2 z0 )
z 2 z0 z 2 z 0 e d d d
Thus, = iArg(z1 z0 )
= ei (Arg(z2 z0 )Arg(z1 z0 )) = ei ( ) = ( cos isin ) .
z1 z0 z1 z0 e c c c
2
(ii) z1 z2 = (z1 z2 )(z1 z2 ) = ((z1 z0 ) (z2 z0 ))((z1 z0 ) (z2 z0 ))
= (z1 z0 )(z1 z0 ) (z1 z0 )(z2 z0 ) (z1 z0 )(z2 z0 ) + (z2 z0 )(z2 z0 )
2
(
= z1 z0 2Re (z1 z0 )(z2 z0 ) + z2 z0 ) 2

2 2
= z1 z0 2 z1 z0 z2 z0 cos(Arg((z1 z0 )(z2 z0 ))) + z2 z0 = c 2 + d 2 2cdcos .

[Exercise 1.2.b]
(1) Let z1, z2 . If z1 = a , z 2 = b , and Re( z1 z 2 ) = c , find z1 + z 2 .
(2) Let z1, z2 . If z1 = a , z 2 = b , and z1 + z2 = c , find z1z2 + z1z2 .
z2
(3) Let z1, z2 . If z 2 = r z1 , z1 0 , r and Arg ( z 2 ) Arg ( z1 ) = , < , find .
z1
(4) Let z1, z2 . If z 2 = r z1 , z1 = 1 , r and Arg ( z 2 ) Arg ( z1 ) = , < , find z 2 z1 .
z2
(5) Let z1, z2 , z1 = r1 , z2 = r2 , and Arg(z1 z21 ) = , < , find .
z1
(6) Let z1, z2 , z1 = r1 , z2 = r2 , and Arg(z1 z21 ) = , < . Find z1z2 + z1z2 .

(7) Let z1, z2 , z1 = r1 , z2 = r2 , and Arg(z1 z21 ) = , < . Find z1 + z 2 .

(8) Let z1, z2 , z1 = r1 , z2 = r2 , and Arg(z1 z21 ) = , < . Find z1 z2 .

[Solution]
(1) Since z1 z 2 + z1 z 2 = z1 z 2 + z1 z 2 = 2Re( z1 z 2 ) = 2c , we have
2
( )
z1 + z 2 = ( z1 + z 2 ) z1 + z 2 = ( z1 + z 2 )( z1 + z 2 ) = z1 z1 + z1 z 2 + z1 z 2 + z 2 z 2 = z1 + 2Re( z1 z 2 ) + z 2
2 2

= a 2 + 2c + b 2 .
2
( )
(2) Since z1 + z 2 = ( z1 + z 2 ) z1 + z 2 = ( z1 + z 2 )( z1 + z 2 ) = z1 z1 + z1 z 2 + z1 z 2 + z 2 z 2 = z1 + 2Re( z1 z 2 ) + z 2
2 2

= a 2 + 2Re ( z1z2 ) + b 2 = c 2 2Re ( z1z2 ) = c 2 a 2 b 2 ,

we have, z1z2 + z1z2 = z1z2 + z1z2 = 2Re ( z1z2 ) = c 2 a 2 b 2 .

z2 z2
(3) = [cos( Arg (z 2 ) Arg (z1 )) + isin ( Arg (z 2 ) Arg (z1 ))]= rcos + irsin .
z1 z1
2 2 2
(4) z 2 z1 = z1 + z 2 2 z1 z 2 cos = 1 + r 2 2rcos z 2 z1 = 1 + r 2 2rcos .
(5) Since Arg(z1 z21 ) = Arg(z1 ) Arg(z2 ) = , we have Arg(z2 ) Arg(z1 ) = . Thus,
8
 iArg(z2 )
z2 z2 e r r r
= iArg(z1 )
= 2 ei (Arg(z2 )Arg(z1 )) = 2 ei ( ) = 2 ( cos isin ) .
z1 z1 e r1 r1 r1

(6) Since Arg(z1 z2 ) = Arg(z1 ) + Arg(z2 ) = Arg(z1 ) Arg(z2 ) = Arg(z1 z21 ) = , we have

z1 z2 + z1 z2 = z1 z2 + z1 z2 = z1 z2 + z1 z2 = 2Re(z1 z2 ) = 2 z1 z2 cos(Arg(z1 z2 )) = 2r1r2 cos .

(7) Since Arg(z1 z2 ) = Arg(z1 ) + Arg(z2 ) = Arg(z1 ) Arg(z2 ) = Arg(z1 z21 ) = , we have

z1 z2 + z1 z2 = z1 z2 + z1 z2 = z1 z2 + z1 z2 = 2Re(z1 z2 ) = 2 z1 z2 cos(Arg(z1 z2 )) = 2r1r2 cos . Therefore,

2
( )
z1 + z 2 = ( z1 + z 2 ) z1 + z 2 = ( z1 + z 2 )( z1 + z 2 ) = z1 z1 + z1 z 2 + z1 z 2 + z 2 z 2 = z1 + 2Re( z1 z 2 ) + z 2
2 2

= r12 + 2r1r2cos + r22 z1 + z2 = r12 + 2r1r2cos + r22 .

(8) Since Arg(z1 z2 ) = Arg(z1 ) + Arg(z2 ) = Arg(z1 ) Arg(z2 ) = Arg(z1 z21 ) = , we have

z1 z2 + z1 z2 = z1 z2 + z1 z2 = z1 z2 + z1 z2 = 2Re(z1 z2 ) = 2 z1 z2 cos(Arg(z1 z2 )) = 2r1r2 cos . Therefore,

z1 z2
2
( ) 2
= ( z1 z2 ) z1 z2 = ( z1 + z2 )( z1 z2 ) = z1z1 z1z2 + z1z2 z2 z2 = z1 2Re ( z1z2 ) + z2
2

= r12 2r1r2cos + r22 z1 z2 = r12 2r1r2cos + r22 .

[Exercise 1.3]
z1 + z2 z + z2
(1) Let z3 z4 , show that 1
z3 + z4 z3 z4

z1 z2
(2) Let z1 = a > 0, and z2 = b > 0 , determine the least upper bound of L .
z1 + z2

(3) Let z = 2 , determine the most lower bound and the least upper bound of M 3 zz 2 z 2 z L .

(4) Let z = 2 , determine the most lower bound and the least upper bound of M z 4 4 z 2 + 3 L .
[Solution]
(1) By triangle inequalities, we have z1 + z2 z1 + z2 , and z1 + z2 z1 z2 . Thus,

z1 + z2 z +z z + z2
= 1 2 1 .
z3 + z4 z3 + z4 z3 z4

z1 z2 z1 z2 z1 + z2 a + b
(2) = = L.
z1 + z2 z1 + z2 z1 z2 a b

2 3
(3) 3 zz 2 z 2 z 3 zz 2 z 2 z = 3 z 2 z = 12 16 = 4 = M , and
2 3
3 zz 2 z 2 z 3 zz + 2 z 2 z = 3 z + 2 z = 12 +16 = 30 = L .
9
 2 2
(4) z 4 4 z 2 + 3 = (z 2 1)(z 2 3) = z 2 1 z 2 3 z 2 1 z 2 3 = z 1 z 3 = 3 = M , and
4 2
z 4 4 z 2 + 3 z 4 + 4 z 2 + 3 = z + 4 z + 3 = 35 = L .

[Exercise 1.4]
Solve the following equations:
(1) z 2 + (1+ i )z + 5i = 0
(2) z 2 (3 2i )z + (5 14i ) 4 = 0

(3) z 3 = ( 2 +i 2 ) 2

(4) ( z +1) = z 4
4

(5) ( z + 1)5 = z 5
[Solution]

(1) Since z =
[
(1+ i ) + (1 + i ) 4 5i
2
]
12

=
(1+ i ) + (18i )
12
, and (18i ) = 3 2e i (
12 4 + k )
, k = 0 , 1, that is,
2 2
(18i )1 2 = 3 2e i 4 = 3 3i , for k = 0 , and , (18i )1 2 = 3 2e i 3 4 = 3 + i , for k =1 . Hence,
(1+ i ) + (3 3i ) (1+ i ) + ( 3 + i )
z =
0 =1 2i , and z = 1 = 2 + i .
2 2
(3 2i ) + [(3 2i )2 4(5 14i 4)] (3 2i ) + (2i )
12 12
, and (2i ) = 2e i ( 4 + k )
, k = 0 , 1, that is,
12
(2) Since z = =
2 2
(2i )1 2 = 2e i 4 =1+ i , for k = 0 , and , (2i )1 2 = 2e i 5 4 = 1 i , for k =1 . Hence,

z =
(3 2i ) + (1+ i ) = 2 i 2 , and z = (3 2i ) + (1 i ) =1 3i 2 .
0 1
2 2
2 2
(3) Since 2 + i 2 = 2e i 4 , so that z k = 3 2 2 cos ( 4 + 2k ) + isin ( 4 + 2k ) , k = 0 , 1, 2. Hence,
3 3
z 0 = 3 4 (cos( 6 ) + isin ( 6 )) , z1 = 3 4 (cos(3 2) + isin (3 2)) , z 2 = 3 4 (cos(17 6) + isin (17 6)) , or
z0 = 3 4 (( ) ) ((
3 2 + i (1 2 ) , z1 = 3 4 ( i ) , z 2 = 3 4 3 2 + i (1 2) . ) )
4
1 1 4 1
into the equation of ( z +1) = z 4 , we have
4
(4) Substituting z = + 1 = = . It is
1 1 ( 1) ( 1)
4 4

given that 4 =1 , but 1 . The solutions to the new equation of 4 =1 are = e i 2 k 4 , k=1, 2, 3.
That is, 1 = e i 2 4 = i , 2 = e i = 1 , and 3 = e i 6 4 = i . Back substituting, we have
1 1 1 i 1 1 1 1 1 1 + i
z1 = = = , z2 = = = , and z 3 = = = .
11 i 1 2 2 1 1 1 2 3 1 i 1 2

( z + 1)5 = 1 + 1 5 = 1 . Let 1
(5) Since ( z + 1)5 = z 5 , we have w = 1 + , then w5 = 1, but w 1 .
z5 z z

10
 It follows that w = ei 2k / 5 , k = 1, 2,3, 4 . Therefore,
1 1 1 [cos(2k / 5) 1] i sin(2k / 5)
z= = = = , k = 1, 2,3, 4

w 1 ei 2 k / 5
1 [cos(2k / 5) 1] + i sin(2k / 5) [cos(2k / 5) 1]2 + sin(2k / 5)2

[Exercise 1.5.a]

By using the triangle inequality, z1 + z2 z1 + z2 , z1 = x1 + iy1 , z2 = x2 + iy2 , show that the least

upper bound (L) and the most lower bound (M) of z1 + z2 are M = z1 z2 z1 + z2 z1 + z2 = L .

[Proof]

By the triangle inequality, we have the least upper bound of z1 + z2 as z1 + z2 z1 + z2 = L .

Similarly, we have z1 = (z1 + z2 ) + ( z2 ) z1 + z2 + z2 = z1 + z2 + z2 z1 + z2 z1 z2 , and

z2 = (z2 + z1 ) + ( z1 ) z2 + z1 + z1 = z2 + z1 + z1 z1 + z2 z2 z1 = ( z1 z2 ) z1 z2 z1 + z2 .

Thus, the most lower bound of z1 + z2 is z1 + z2 z1 z2 = M .

[Exercise 1.5.b]

By using the triangle inequality, z1 z2 z1 + z2 , z1 = x1 + iy1 , z2 = x2 + iy2 , show that the least

upper bound (L) and the most lower bound (M) of z1 z2 are M = z1 z2 z1 z2 z1 + z2 = L .

[Proof]

By the triangle inequality, we have the least upper bound of z1 z2 as

z1 z2 = z1 + ( z2 ) z1 + z2 = z1 + z2 = L .

Similarly, we have z1 = (z1 z2 ) + z2 z1 z2 + z2 z1 z2 z1 z2 , and

z2 = (z2 z1 ) + z1 z2 z1 + z1 (z1 z2 ) = z1 z2 z2 z1 = ( z1 z2 ) z1 z2 z1 z2 .

Thus, the most lower bound of z1 z2 is z1 z2 z1 z2 = M .

[Exercise 1.6.a]

(1) Let z1 = a, z2 = b, z3 = c, and z4 = d , determine the most lower bound and the least upper bound of

z1 + z2
M L .
z3 + z4

11
 z 2 + 3Z + 2
(2) Let z = 2 , determine the most lower bound and the least upper bound of M L.
z

[Solution]

z1 z2 z1 + z2 z + z2
(1) Since M = z1 z2 z1 + z2 z1 + z2 = L , we have M = 1 =L.
z3 + z4 z3 + z4 z3 z4

a b z +z a+b
Thus, M = 1 2 =L.
c + d z3 + z4 cd

z 2 + 3z + 2 (z +1)(z + 2) z +1 z + 3 z 1 z 3 1
(2) Since = = = = M , and
z z z z 2

2
z 2 + 3z + 2 z + 3z + 2 z + 3 z + 2 4 + 6 + 2
2
1 z 2 + 3Z + 2
= = =6=M , we have M = L = 6 .
z z z 2 2 z

[Exercise 1.6.b]

(1) Let z1 = a, z2 = b, z3 = c, and z4 = d , determine the most lower bound and the least upper bound of

z1 z2
M L.
z3 z4

z 2 3Z + 2
(2) Let z = 2 , determine the most lower bound and the least upper bound of M L.
z

[Solution]

z1 z2 z1 z2 z + z2
(1) Since M = z1 z2 z1 z2 z1 + z2 = L , we have M = 1 =L.
z3 + z4 z3 z4 z3 z4

a b z +z a+b
Thus, M = 1 2 =L.
c + d z3 + z4 cd

z 2 3z + 2 (z 1)(z 2) z 1 z 3 z 1 z 3 1
(2) Since = = = = M , and
z z z z 2

2
z 2 3 z + 2 z + 3 z + 2 z + 3 z + 2 4 + 6 + 2
2
1 z 2 + 3Z + 2
= = = 6 = M , we have M = L = 6 .
z z z 2 2 z

[Exercise 1.6.c]
12
(1) Let z1 = a, z2 = b, z3 = c, and z4 = d , determine the most lower bound and the least upper bound of

z1 z2
M L .
z3 + z4

(2) Let z1 = a, z2 = b, z3 = c, and z4 = d , determine the most lower bound and the least upper bound of

z1 + z2
M L.
z3 z4

[Solution]

(1) Since M = z1 z2 z1 + z2 z1 + z2 = L and M = z1 z2 z1 z2 z1 + z2 = L ,

z1 z2 z1 z2 z + z2 a b z +z a+b
we have M = 1 = L . Thus, M = 1 2 =L.
z3 + z4 z3 + z4 z3 z4 c + d z3 + z4 cd

(2) Since M = z1 z2 z1 + z2 z1 + z2 = L and M = z1 z2 z1 z2 z1 + z2 = L ,

z1 z2 z1 + z2 z + z2 a b z +z a+b
we have M = 1 = L . Thus, M = 1 2 = L .
z3 + z4 z3 z4 z3 z4 c + d z3 z4 cd

[Exercise 1.7]
n
z n+1 1
(1) Show that if z 1 , then z = k
.
k =0 z 1
n
1 sin[(n +1/2) ]
(2) By using De Moivres formula, show that cos(k ) = 2 +
k =0 2sin( /2)
and
n
sin(n /2)sin[(n +1) /2]
sin(k ) =
k =1 sin( /2)
, where 0 < < 2 .

sin(n /2)
(3) By using De Moivres formula, show that n, ( 0, 2 , 4 ,)
sin( /2)
[Proof]
n
z n+1 1
(1) (z 1)(1+ z + z 2 + + z n ) = z n+1 1 z k = .
k =0 z 1

13