Sei \(z=a+bi\) eine Einheit und \(z^{-1}=y=c+di\) ihr Inverses, so dass also
\(z\cdot y=1\). Dann gilt \(\bar{z}\cdot \bar{y} =\overline {zy}=1\).
Das Prodiukt der Gleichungen liefert
\(z\bar{z}\cdot y\bar{y}=1\), also \((a^2+b^2)(c^2+d^2)=1\),
d.h. \(a^2+b^2=1\), folglich \(((a=\pm 1)\wedge (b=0))\vee (( a=0)\wedge (b=\pm 1))\),
also \(z\in \{\pm1,\pm i\}\)