De Moivre's theorem (source code)

= De Moivre's theorem
{c}

For every <integer> $n$ and real $\theta$,
$$
(\cos\theta+i\sin\theta)^n=\cos(n\theta)+i\sin(n\theta).
$$
It converts powers of a <complex number> in polar form into multiplication of its <complex argument>.