Triangle Inequality/Complex Numbers

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $z_1, z_2 \in \C$ be complex numbers.

Let $\cmod z$ denote the modulus of $z$.


Then:

$\cmod {z_1 + z_2} \le \cmod {z_1} + \cmod {z_2}$


General Result

Let $z_1, z_2, \dotsc, z_n \in \C$ be complex numbers.

Let $\cmod z$ be the modulus of $z$.


Then:

$\cmod {z_1 + z_2 + \dotsb + z_n} \le \cmod {z_1} + \cmod {z_2} + \dotsb + \cmod {z_n}$


Corollary 1

Let $z_1, z_2 \in \C$ be complex numbers.

Let $\cmod z$ be the modulus of $z$.


Then:

$\cmod {z_1 + z_2} \ge \cmod {z_1} - \cmod {z_2}$


Corollary 2

Let $z_1, z_2 \in \C$ be complex numbers.

Let $\cmod z$ be the modulus of $z$.


Then:

$\cmod {z_1 + z_2} \ge \cmod {\cmod {z_1} - \cmod {z_2} }$


Corollary 3

$\cmod {z_1 - z_2} \le \cmod {z_1} + \cmod {z_2}$


Proof 1

Let $z_1 = a_1 + i a_2, z_2 = b_1 + i b_2$.

Then from the definition of the modulus, the above equation translates into:

$\paren {\paren {a_1 + b_1}^2 + \paren {a_2 + b_2}^2}^{\frac 1 2} \le \paren { {a_1}^2 + {a_2}^2}^{\frac 1 2} + \paren { {b_1}^2 + {b_2}^2}^{\frac 1 2}$

This is a special case of Minkowski's Inequality for Sums, with $n = 2$.

$\blacksquare$


Proof 2

Let $z_1 = a_1 + i a_2, z_2 = b_1 + i b_2$.

\(\ds \cmod {z_1 + z_2}\) \(\le\) \(\ds \cmod {z_1} + \cmod {z_2}\)
\(\ds \leadstoandfrom \ \ \) \(\ds \paren {\paren {a_1 + b_1}^2 + \paren {a_2 + b_2}^2}^{\frac 1 2}\) \(\le\) \(\ds \paren { {a_1}^2 + {a_2}^2}^{\frac 1 2} + \paren { {b_1}^2 + {b_2}^2}^{\frac 1 2}\) Definition of Complex Modulus
\(\ds \leadstoandfrom \ \ \) \(\ds \paren {a_1 + b_1}^2 + \paren {a_2 + b_2}^2\) \(\le\) \(\ds {a_1}^2 + {a_2}^2 + {b_1}^2 + {b_2}^2 + 2 \paren { {a_1}^2 + {a_2}^2}^{\frac 1 2} \paren { {b_1}^2 + {b_2}^2}^{\frac 1 2}\) squaring both sides
\(\ds \leadstoandfrom \ \ \) \(\ds {a_1}^2 + 2 a_1 b_1 + {b_1}^2 + {a_2}^2 + 2 a_2 b_2 + {b_2}^2\) \(\le\) \(\ds {a_1}^2 + {a_2}^2 + {b_1}^2 + {b_2}^2 + 2 \paren { {a_1}^2 + {a_2}^2}^{\frac 1 2} \paren { {b_1}^2 + {b_2}^2}^{\frac 1 2}\) multiplying out
\(\ds \leadstoandfrom \ \ \) \(\ds a_1 b_1 + a_2 b_2\) \(\le\) \(\ds \paren { {a_1}^2 + {a_2}^2}^{\frac 1 2} \paren { {b_1}^2 + {b_2}^2}^{\frac 1 2}\) simplifying
\(\ds \leadstoandfrom \ \ \) \(\ds \paren {a_1 b_1 + a_2 b_2}^2\) \(\le\) \(\ds \paren { {a_1}^2 + {a_2}^2} \paren { {b_1}^2 + {b_2}^2}\) Cauchy's Inequality
\(\ds \leadstoandfrom \ \ \) \(\ds {a_1}^2 {b_1}^2 + 2 a_1 b_1 a_2 b_2 + {a_2}^2 {b_2}^2\) \(\le\) \(\ds {a_1}^2 {b_1}^2 + {a_2}^2 {b_2}^2 + {a_1}^2 {b_2}^2 + {a_2}^2 {b_1}^2\)
\(\ds \leadstoandfrom \ \ \) \(\ds 2 a_1 b_1 a_2 b_2\) \(\le\) \(\ds {a_1}^2 {b_2}^2 + {a_2}^2 {b_1}^2\)
\(\ds \leadstoandfrom \ \ \) \(\ds 0\) \(\le\) \(\ds \paren {a_1 b_2}^2 - 2 \paren {a_1 b_2} \paren {a_2 b_1} + \paren {a_2 b_1}^2\)
\(\ds \leadstoandfrom \ \ \) \(\ds 0\) \(\le\) \(\ds \paren {a_1 b_2 - a_2 b_1}^2\)

The final statement is a tautology, and all implications are reversible.

Hence the result.

$\blacksquare$


Proof 3

Let $z_1$ and $z_2$ be represented by the points $A$ and $B$ respectively in the complex plane.

From Geometrical Interpretation of Complex Addition, we can construct the parallelogram $OACB$ where:

$OA$ and $OB$ represent $z_1$ and $z_2$ respectively
$OC$ represents $z_1 + z_2$.


Triangle-Inequality-Complex.png


As $OACB$ is a parallelogram, we have that $OB = AC$.


The lengths of $OA$, $AC$ and $OC$ are:

\(\ds OA\) \(=\) \(\ds \cmod {z_1}\)
\(\ds AC\) \(=\) \(\ds \cmod {z_2}\)
\(\ds OC\) \(=\) \(\ds \cmod {z_1 + z_2}\)

But $OA$, $OB$ and $OC$ form the sides of a triangle.

The result then follows directly from Sum of Two Sides of Triangle Greater than Third Side.

$\blacksquare$


Proof 4

\(\ds \cmod {z + w}^2\) \(=\) \(\ds \paren {z + w} \paren {\overline z + \overline w}\) Product of Complex Number with Conjugate
\(\ds \) \(=\) \(\ds z \overline z + w \overline w + w \overline z + z \overline w\)
\(\ds \) \(=\) \(\ds \cmod z^2 + \cmod w^2 + w \overline z + z \overline w\) Product of Complex Number with Conjugate
\(\ds \) \(=\) \(\ds \cmod z^2 + \cmod w^2 + w \overline z + \overline {\paren {\overline z} } \overline w\) Complex Conjugation is Involution
\(\ds \) \(=\) \(\ds \cmod z^2 + \cmod w^2 + \overline z w + \overline {\paren {\overline z w} }\) Product of Complex Conjugates and Complex Multiplication is Commutative
\(\ds \) \(=\) \(\ds \cmod z^2 + \cmod w^2 + 2 \map \Re {z \overline w}\) Sum of Complex Number with Conjugate
\(\ds \) \(\le\) \(\ds \cmod z^2 + \cmod w^2 + 2 \cmod {z \overline w}\) Modulus Larger than Real Part
\(\ds \) \(=\) \(\ds \cmod z^2 + \cmod w^2 + 2 \cmod z \cmod {\overline w}\) Complex Modulus of Product of Complex Numbers
\(\ds \) \(=\) \(\ds \cmod z^2 + \cmod w^2 + 2 \cmod z \cmod w\) Complex Modulus equals Complex Modulus of Conjugate
\(\ds \) \(=\) \(\ds \paren {\cmod z + \cmod w}^2\) Square of Sum
\(\ds \leadsto \ \ \) \(\ds \cmod {z + w}\) \(\le\) \(\ds \cmod z + \cmod w\)

$\blacksquare$


Examples

3 Arguments

For all $z_1, z_2, z_3 \in \C$:

$\cmod {z_1 + z_2 + z_3} \le \cmod {z_1} + \cmod {z_2} + \cmod {z_3}$


Sources