|z1 + z2 | < = |z1 | + |z2 |


By Niranjan Srinivas on Friday, June 29, 2001 - 01:44 pm :

We have just been introdued to the fascinating manipulations of Complex Numbers and hence I know the basics only. Please give me the solution without reference to higher concepts to the problem.
Prove that
|z1 + z2 | < = |z1 | + |z2 |
where zi E C and |a| represents the magnitude / modulus of the complex number a.


By Michael Doré on Friday, June 29, 2001 - 02:17 pm :

I'll start off by giving a horrible algebraic proof. At the end I'll give you a hint about the geometrical method, which actually shows intuitively why the inequality is true.

Define:

z1 = x1 + iy1
z2 = x2 + iy2

where x1 ,x2 ,y1 ,y2 are real then:

|z1 + z2 | = |(x1 + x2 ) + i(y1 + y2 )|
= sqrt((x1 + x2 )2 + (y1 + y2 )2 )

and

|z1 | = sqrt(x1 2 + y1 2 )
|z2 | = sqrt(x2 2 + y2 2 )

So we have to show:

sqrt((x1 + x2 )2 + (y1 + y2 )2 ) < = sqrt(x1 2 + y1 2 ) + sqrt(x2 2 + y2 2 ) (*)

This can be done as follows. We know:

(y1 x2 - x1 y2 )2 > = 0

Expanding:

y1 2 x2 2 + x1 2 y2 2 > = 2x1 y1 x2 y2

Add x1 2 x2 2 + y1 2 y2 2 to each side and factorise:

(x1 2 + y1 2 )(x2 2 + y2 2 ) > = (x1 x2 + y1 y2 )2

Since each factor on the right hand side is positive we can take the square root:

sqrt(x1 2 + y1 2 )sqrt(x2 2 + y2 2 ) > = x1 x2 + y1 y2

Double this inequality, add x1 2 + x2 2 + y1 2 + y2 2 to each side and then factorise:

(sqrt(x1 2 + y1 2 ) + sqrt(x2 2 + y2 2 ))2 > = (x1 + x2 )2 + (y1 + y2 )2

and (*) then follows upon taking square root.

If you want an intuitive idea for why the inequality is true, try drawing the points represented by z1 , z2 and z1 + z2 on an Argand diagram. Then use the fact that |z| means the length of the line between 0 and z on the Argand diagram (for any complex number z) and the required inequality follows by geometry.


By Niranjan Srinivas on Friday, June 29, 2001 - 05:07 pm :

I already know the geometric method, I was looking for the purely algebraic one !
It is just a simple application of the relations (inequalities ) between the sides of a triangle and is therefore called the triangle inequality. But I wanted to have the purely algebraic proof as I was interested.