Proposition: Absolute Value of Complex Conjugate

For all $z\in\mathbb C$, the absolute value of the complex conjugate $z^*$ equals the absolute value of $z$, formally $$|z^*|=|z|=\sqrt{\Re(z)^2+\Im(z)^2}.$$

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs