Nuestro objetivo final en este problema es demostrar la desigualdad triangular con números complejos.
(a) Demuestra que para todo $z \in \mathbb{C}$,
$|Re(z)| \leq |z|$ y $|Im(z)| \leq |z|$.
(b) Dados $z$, $w \in \mathbb{C}$, demuestra que
$|z+w|^2 = |z|^2 + |w|^2 + 2Re(zw^{'})$.
(c) Usando las partes (a) y (b), demuestra la desigualdad triangular
$|z + w| \leq |z| + |w|$.
Esto es lo que obtuve.
(a) Por definición, para un número complejo $z = x + yi$,
$$|z|^2 = x^2 + y^2 = Re(z)^2 + Im(z)^2$$
A partir de aquí,
$$|z|^2 \leq Re(z)^2 \text{ y } |z|^2 \leq Im(z)^2$$
Y, finalmente,
$$|z| \leq |Re(z)| \text{ y } |z| \leq |Im(z)|$$
(b) $|z + w|^2 = (z + w)\cdot(z + w)^{*}$
$$= (z + w)\cdot[z^{*} + w^{*}]$$
$$= zz^{*} + [zw^{*} + z^{*}w] + ww^{*}$$
$$= |z|^2 + 2Re[zw^{*}] + |w|^2$$
$$ |z|^2 + 2|zw^{*}| + |w|^2$$
$$= |z|^2 + 2|z||w| + |w|^2$$
$$= (|z| + |w|)^2.$$
(c) Dado que tanto $|z+w|$ como $|z| + |w|$ son no negativos,
$$|z + w| \leq |z| + |w|$$