Polar Form of Complex Number/Examples/root 2 i

Example of Polar Form of Complex Number
The imaginary number $\sqrt 2 i$ can be expressed in polar form as $\polar {\sqrt 2, \dfrac \pi 2}$.

Proof
Then:

Hence:
 * $\map \arg {\sqrt 2 i} = \dfrac \pi 2$

and hence the result.