Prove equality in triangle inequality for complex numbers

Solution 1:

Let $z_1=a_1+ib_1$ and $z_2=a_2+ib_2$ for $a_1,a_2,b_1,b_2\in\mathbb{R}$. By simplification the equation $$\sqrt{(a_1+a_2)^2+(b_1+b_2)^2}=\sqrt{a_1^2+b_1^2}+\sqrt{a_2^2+b_2^2},$$ you will get $$\frac{a_1}{a_2}=\frac{b_1}{b_2}.$$ What does it tell about arguments?

Solution 2:

Suppose $z_1,z_2\ne0$ (otherwise, it's trivial). Then $$\begin{align}|z_1+z_2|^2 &= (z_1+z_2)\overline{(z_1+z_2)}\\ &= (z_1+z_2)\left(\overline{z_1}+\overline{z_2}\right)\\ &= z_1\overline{z_1}+z_1\overline{z_2}+\overline{z_1}z_2+z_2\overline{z_2}\\ &= |z_1|^2+z_1\overline{z_2}+\overline{z_1\overline{z_2}}+|z_2|^2\\ &=|z_1|^2+2\Re(z_1\overline{z_2})+|z_2|^2\\ &= \bigl(|z_1|+|z_2|\bigr)^2+2\Re(z_1\overline{z_2})-2|z_1||z_2|.\end{align}$$ Thus, you must show that $\Re(z_1\overline{z_2})=|z_1||z_2|$ if and only if $z_1,z_2$ have the same argument.

Solution 3:

Let's try to solve the equation

$$ |a+b|=|a|+|b| $$

for $a,b\in\mathbb{C}$. It's not restrictive to assume that both $a$ and $b$ are non-zero. We can square it, because both sides are non-negative:

$$ |a+b|^2=(|a|+|b|)^2 $$

so, taking into account that $|z|^2=z\bar{z}$, we get

$$ (a+b)(\bar{a}+\bar{b})=a\bar{a}+2|a|\,|b|+b\bar{b} $$

that simplifies in

$$ \bar{a}b+a\bar{b}=2|a|\,|b| $$

Now, write $a=|a|u$ and $b=|b|v$; the equation becomes

$$ \bar{u}v+u\bar{v}=2 $$

Recall now that $\bar{u}=u^{-1}$, since by hypothesis $|u|=1$. Then …