ThmDex – An index of mathematical definitions, results, and conjectures.
F11916
Formulation 0
Let $z \in \mathbb{C}$ be a D1207: Complex number such that
(i) $z = r e^{i \theta}$ is a D3949: Complex number polar representation for $z$
Then \begin{equation} \overline{z} = r e^{- i \theta} \end{equation}