Sum of Complex Number with Conjugate

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

Let $\overline z$ be the complex conjugate of $z$.

Let $\operatorname{Re} \left({z}\right)$ be the real part of $z$.

Then:
 * $z + \overline z = 2 \operatorname{Re} \left({z}\right)$

Proof
Let $z = x + i y$.

Then:

Also defined as
This result is also reported as:
 * $\operatorname{Re} \left({z}\right) = \dfrac {z + \overline z} 2$