Modulus Larger than Real Part and Imaginary Part

Theorem
Let $z \in \C$ be a complex number.

Then:


 * $\left\vert{z}\right\vert \ge \left\vert{\operatorname{Re} \left({z}\right) }\right\vert$

and:


 * $\left\vert{z}\right\vert \ge \left\vert{\operatorname{Im} \left({z}\right) }\right\vert$

Here, $\operatorname{Re} \left({z}\right) $ denotes the real part of $z$, and $\operatorname{Im} \left({z}\right) $ denotes the imaginary part of $z$.

Proof
By the definition of a complex number, we have $z = \operatorname{Re} \left({z}\right) + i \operatorname{Im} \left({z}\right)$.

Then:

and: