MathLabs
TheoremProved

De Moivre's formula

Statement

For any real θ\theta and integer nn, (cos⁡θ+isin⁡θ)n=cos⁡(nθ)+isin⁡(nθ)(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta).

Why is it true?

cos⁡θ+isin⁡θ\cos\theta+i\sin\theta is just the point on the unit circle at angle θ\theta. Multiplying two such points together adds their angles — that is what complex multiplication does geometrically — so raising one point to the nn-th power spins it around nn times as fast, landing exactly at angle nθn\theta.

Proof sketch

Induction on n≥0n\ge 0 using the angle-addition identities cos⁡(a+b)=cos⁡acos⁡b−sin⁡asin⁡b\cos(a+b)=\cos a\cos b - \sin a\sin b and sin⁡(a+b)=sin⁡acos⁡b+cos⁡asin⁡b\sin(a+b)=\sin a\cos b+\cos a\sin b to show (cos⁡θ+isin⁡θ)k+1=(cos⁡θ+isin⁡θ)k(cos⁡θ+isin⁡θ)(\cos\theta+i\sin\theta)^{k+1}=(\cos\theta+i\sin\theta)^k(\cos\theta+i\sin\theta) simplifies to cos⁡((k+1)θ)+isin⁡((k+1)θ)\cos((k+1)\theta)+i\sin((k+1)\theta); negative nn follows from (cos⁡θ+isin⁡θ)−1=cos⁡θ−isin⁡θ=cos⁡(−θ)+isin⁡(−θ)(\cos\theta+i\sin\theta)^{-1}=\cos\theta - i\sin\theta = \cos(-\theta)+i\sin(-\theta).

Topics that use this theorem

Related theorems

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. John Stillwell (2010). Mathematics and Its History