El teorema de Moivre establece que para números complejos z = r(cosa + isina) y z' = r'(cosa' + isina'):
1) z·z' = (r·r')(cos(a+a') + isin(a+a'))
2) z/z' = (r/r')(cos(a-a') + isin(a-a'))
Se demuestra utilizando las identidades trigonométricas de suma y resta de ángulos. El teorema es útil para expresar números complejos en forma polar.