Difference of Complex Number with Conjugate

From ProofWiki
Jump to navigation Jump to search

Theorem

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

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

Let $\map \Im z$ be the imaginary part of $z$.


Then

$z - \overline z = 2 i \, \map \Im z$


Proof

Let $z = x + i y$.

Then:

\(\ds z - \overline z\) \(=\) \(\ds \paren {x + i y} - \paren {x - i y}\) Definition of Complex Conjugate
\(\ds \) \(=\) \(\ds x + i y - x + i y\)
\(\ds \) \(=\) \(\ds 2 i y\)
\(\ds \) \(=\) \(\ds 2 i \, \map \Im z\) Definition of Imaginary Part

$\blacksquare$


Also defined as

This result is also reported as:

$\map \Im z = \dfrac {z - \overline z} {2 i}$


Sources