I'm reading a complex analysis book. In this book, the author establishes the following statement
If $a,b \in \mathbb{C}$, then $|a + b| = |a| + |b| \iff \left(a\overline{b}\in \mathbb{R}\right) \wedge \left(a\overline{b}\ge 0\right)$
This statement didn't seem intuitive to me, so I decided to try to prove it. I denoted the complex numbers $a$ and $b$ as $a = \alpha + i \beta$ and $b = \gamma + i \delta$. Using this, I get that $a\overline{b} = (\alpha \gamma + \beta\delta) + i(\beta \gamma – \alpha\delta)$, which tells us that
$$
\left(a\overline{b}\in \mathbb{R}\right) \wedge \left(a\overline{b}\ge 0\right) \iff (\alpha \gamma + \beta \delta \ge 0) \ \ \wedge \ \ (\alpha\delta= \beta \gamma )
$$
From here, I do the following
\begin{align}
&2(\alpha\delta)^2 = 2(\alpha\delta)^2 \iff 2(\alpha\delta)(\alpha\delta) = (\alpha\delta)^2 + (\alpha\delta)^2 \iff 2\alpha\delta\beta \gamma = (\alpha\delta)^2 + (\beta \gamma)^2 \notag \\
\iff& (\alpha\gamma)^2 + 2\alpha\gamma\beta \delta + (\beta \delta)^2 =(\alpha\gamma)^2 + (\alpha\delta)^2 + (\beta \gamma)^2 + (\beta \delta)^2 \iff (\alpha\gamma + \beta \delta)^2 = \left(\alpha^2 + \beta^2\right)\left(\gamma^2 + \delta^2\right) \notag \\
\iff& 2(\alpha\gamma + \beta \delta) = 2\sqrt{\left(\alpha^2 + \beta^2\right)\left(\gamma^2 + \delta^2\right)} \qquad \ \text{(here using the hypothesis that $\alpha \gamma + \beta \delta \ge 0$)} \notag \\
\iff & \alpha^2 + \beta^2 + \gamma^2 + \delta^2 + 2(\alpha\gamma + \beta \delta) = \alpha^2 + \beta^2 + \gamma^2 + \delta^2 +2\sqrt{\left(\alpha^2 + \beta^2\right)\left(\gamma^2 + \delta^2\right)}\notag\\
\iff& \left(\alpha^2 +2\alpha\gamma + \gamma^2 \right)+ \left(\beta^2 +2 \beta \delta+ \delta^2\right) = \left(\sqrt{\alpha^2 + \beta^2}\right)^2 +2\sqrt{\alpha^2 + \beta^2}\sqrt{\gamma^2 + \delta^2} + \left(\sqrt{\gamma^2 + \delta^2}\right)^2\notag\\
\iff& (\alpha + \gamma)^2 + (\beta + \delta)^2 = \left(\sqrt{\alpha^2 + \beta^2} +\sqrt{\gamma^2 + \delta^2}\right)^2 \iff |a+ b|^2 = \left(|a| + |b|\right)^2 \iff |a+ b| = |a| + |b|
\end{align}
where in the last equivalence I used the fact that $|z|\ge 0, \ \forall z \in \mathbb{C}$.
Is my proof correct? And also, does anyone know a different (possibly shorter) method of proving the above statement? Any and all help would be greatly appreciated. Thank you!
Best Answer
Here's a geometric approach. Consider $a$ and $b$ as vectors in the complex plane and use the representation $a = \alpha e^{i\theta}$, $b = \beta e^{i\phi}$, for $\alpha,\beta$ real and positive. Then it should be geometrically clear that $|a|+|b| = |a+b|$ iff $a$ and $b$ have the same direction, i.e., $\theta = \phi$; this is also easy to show algebraically.
On the other hand, $a\overline{b} = \alpha\beta e^{i(\theta-\phi)}$, which is positive iff $\theta = \phi$.