de Moivre's Theorem. For any complex number cosθ+isinθ (modulus 1) and any integer n,
(cosθ+isinθ)n=cosnθ+isinnθ.
In Euler form this is simply the exponent law (eiθ)n=einθ. It converts a power of a trigonometric expression into a single trigonometric expression at a multiplied angle — the tool that carries trigonometry "out of geometry and into analysis."
Corollaries (each following by substituting −θ or −n, or both, into the theorem):
(cosθ−isinθ)n=cosnθ−isinnθ
(cosθ+isinθ)−n=cosnθ−isinnθ
(cosθ−isinθ)−n=cosnθ+isinnθ
sinθ+icosθ=i(cosθ−isinθ)
Working method for a general complex number. To raise z=x+iy to a power n: (1) convert z to polar form r(cosθ+isinθ) (find r=∣z∣ and the correct-quadrant θ); (2) apply de Moivre's theorem to get rn(cosnθ+isinnθ); (3) reduce the angle nθ modulo 2π (or 360°) to a standard range and convert back to rectangular form if required.
Common applications:
Simplifying a high power directly, e.g. (1+i)18: convert 1+i to 2cis(π/4), then (1+i)18=29cis(18π/4)=29cis(π/2)=512i. …
Substituting φ=π/2−θ turns the fraction into 1+cosφ+isinφ1+cosφ−isinφ, which half-angle identities reduce to e−iφ; De Moivre's theorem then gives the stated nth-power identity.
Put φ=2π−θ, so that sinθ=cosφ and cosθ=sinφ.
Then 1+sinθ−icosθ=1+cosφ−isinφ and 1+sinθ+icosθ=1+cosφ+isinφ.
Use the half-angle identities 1+cosφ=2cos22φ and sinφ=2sin2φcos2φ.