Polar Form of Complex Number/Examples/-1 + root 3 i

Example of Polar Form of Complex Number
The complex number $-1 + \sqrt 3 i$ can be expressed as a complex number in polar form as $\polar {2, \dfrac {2 \pi} 3}$.

Proof
Then:

Hence:
 * $\map \arg {-1 + \sqrt 3 i} = \dfrac {2 \pi} 3$

and hence the result.