Triangle Inequality/Complex Numbers/Proof 2

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

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

Hence the result.