ThmDex – An index of mathematical definitions, results, and conjectures.
F13415
Formulation 0
Let $z = (x, y) \in \mathbb{C}$ be a D1207: Complex number such that
(i) \begin{equation} z \neq (0, 0) \end{equation}
(ii) \begin{equation} w : = \frac{(x, -y)}{x^2 + y^2} \end{equation}
Then \begin{equation} z w = w z = 1 \end{equation}