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.
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.
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.