Problem 65
Easy Geometry in the Plane

A complex number a is unimodular if |a|=1 . Show that a is…

A complex number $a$ is unimodular if $|a|=1$. Show that $a$ is unimodular if and only if it can be written as the quotient of two complex conjugate numbers.

Explanation of Method

Prove both directions. For $(\Leftarrow)$, use $|z|=|\bar z|$ directly. For $(\Rightarrow)$, write $a=e^{i\theta}$ and exhibit $z=e^{i\theta/2}$ explicitly so that $z/\bar z=a$.

Direction 1 · If $a=z/\bar z$ for some $z\neq0$, then $|a|=1$

Using $|z_1/z_2|=|z_1|/|z_2|$ and $|\bar z|=|z|$:

$$ |a|=\left|\frac{z}{\bar z}\right|=\frac{|z|}{|\bar z|}=\frac{|z|}{|z|}=1 $$

Direction 2 · If $|a|=1$, then $a=z/\bar z$ for some $z\neq0$

Since $|a|=1$, write $a=e^{i\theta}$ for some real $\theta$. Choose:

$$ z=e^{i\theta/2} \quad\Longrightarrow\quad \bar z=e^{-i\theta/2} $$

Then:

$$ \frac{z}{\bar z}=\frac{e^{i\theta/2}}{e^{-i\theta/2}}=e^{i\theta}=a $$

$$ \boxed{|a|=1 \iff a=\frac{z}{\bar z} \text{ for some } z\in\mathbb{C}^*} $$

Step 3 · Geometric meaning

Writing $z=re^{i\varphi}$ ($r>0$), $\ \dfrac{z}{\bar z}=e^{2i\varphi}$: the map $z\mapsto z/\bar z$ sends every nonzero $z$ to the point on the unit circle at twice the argument of $z$, regardless of $|z|$. So every unimodular number is reached (twice over — by $z$ and by $-z$, and more generally by any $z$ with the right argument mod $\pi$).

Step 4 · Verification examples

$a$Choice of $z$$z/\bar z$
$i$$e^{i\pi/4}=\frac{1}{\sqrt2}+\frac{i}{\sqrt2}$$e^{i\pi/2}=i$ ✓
$-1$$e^{i\pi/2}=i$$i/(-i)=-1$ ✓
(reverse) $z=3+4i$—$\frac{3+4i}{3-4i}=\frac{-7+24i}{25}$, modulus $\frac{\sqrt{49+576}}{25}=1$ ✓

Result

$$ |a|=1 \ \Longleftrightarrow\ a=\frac{z}{\bar z} \ \text{ for some } z\neq0 $$

Concretely, for $a=e^{i\theta}$, take $z=e^{i\theta/2}$: then $z/\bar z=e^{i\theta}=a$. Conversely $|z/\bar z|=|z|/|\bar z|=1$ always.