Skip to content

Mathematics · Ch 10 — Complex Numbers

De Moivre's Theorem

10.6

De Moivre's Theorem

De Moivre's Theorem

If z1=r1eiθ1z_1=r_1e^{i\theta_1} and z2=r2eiθ2z_2=r_2e^{i\theta_2}, then

z1⋅z2=(r1eiθ1)(r2eiθ2)=r1r2 ei(θ1+θ2)z_1\cdot z_2=(r_1e^{i\theta_1})(r_2e^{i\theta_2})=r_1r_2\,e^{i(\theta_1+\theta_2)}

That is, if two complex numbers are multiplied, their moduli get multiplied and their arguments get added.

Similarly,

z1z2=r1eiθ1r2eiθ2=r1r2 ei(θ1−θ2)\frac{z_1}{z_2}=\frac{r_1e^{i\theta_1}}{r_2e^{i\theta_2}}=\frac{r_1}{r_2}\,e^{i(\theta_1-\theta_2)}

That is, if one complex number is divided by another, their moduli get divided and their arguments get subtracted.

In 1730, De Moivre proposed the following theorem for finding the power of a complex number z=r(cos⁡θ+isin⁡θ)z=r(\cos\theta+i\sin\theta):

[r(cos⁡θ+isin⁡θ)]n=rn(cos⁡nθ+isin⁡nθ)for any n∈Z[r(\cos\theta+i\sin\theta)]^n=r^n(\cos n\theta+i\sin n\theta)\qquad\text{for any }n\in\mathbb{Z}

The proof of this theorem, for positive integer nn, can be given using the Method of Induction (a technique covered in Chapter 4) — repeatedly applying the multiplication rule above to zz multiplied by itself nn times.

Examples.

  1. (cos⁡θ+isin⁡θ)5=cos⁡5θ+isin⁡5θ(\cos\theta+i\sin\theta)^5=\cos5\theta+i\sin5\theta.
  2. (cos⁡θ+isin⁡θ)−1=cos⁡(−θ)+isin⁡(−θ)(\cos\theta+i\sin\theta)^{-1}=\cos(-\theta)+i\sin(-\theta).
  3. (cos⁡θ+isin⁡θ)2/3=cos⁡2θ3+isin⁡2θ3(\cos\theta+i\sin\theta)^{2/3}=\cos\dfrac{2\theta}{3}+i\sin\dfrac{2\theta}{3}. Worked Example 1: use De Moivre's theorem to simplify (i) (cos⁡π3+isin⁡π3)8\left(\cos\dfrac{\pi}{3}+i\sin\dfrac{\pi}{3}\right)^8 (ii) (cos⁡π10−isin⁡π10)15\left(\cos\dfrac{\pi}{10}-i\sin\dfrac{\pi}{10}\right)^{15} (iii) (cos⁡5θ+isin⁡5θ)2(cos⁡4θ+isin⁡4θ)−3(\cos5\theta+i\sin5\theta)^{2}(\cos4\theta+i\sin4\theta)^{-3}.

(i) (cos⁡π3+isin⁡π3)8=cos⁡(8×π3)+isin⁡(8×π3)=cos⁡8π3+isin⁡8π3\left(\cos\dfrac{\pi}{3}+i\sin\dfrac{\pi}{3}\right)^8=\cos\left(8\times\dfrac{\pi}{3}\right)+i\sin\left(8\times\dfrac{\pi}{3}\right)=\cos\dfrac{8\pi}{3}+i\sin\dfrac{8\pi}{3}. Since 8π3=2π+2π3\dfrac{8\pi}{3}=2\pi+\dfrac{2\pi}{3}, this reduces to cos⁡2π3+isin⁡2π3\cos\dfrac{2\pi}{3}+i\sin\dfrac{2\pi}{3}; using allied angles (2π3=π−π3\dfrac{2\pi}{3}=\pi-\dfrac{\pi}{3}), this is −cos⁡π3+isin⁡π3=−12+32i-\cos\dfrac{\pi}{3}+i\sin\dfrac{\pi}{3}=-\dfrac12+\dfrac{\sqrt3}{2}i.

(ii) cos⁡π10−isin⁡π10=cos⁡(−π10)+isin⁡(−π10)\cos\dfrac{\pi}{10}-i\sin\dfrac{\pi}{10}=\cos\left(-\dfrac{\pi}{10}\right)+i\sin\left(-\dfrac{\pi}{10}\right), so raising to the 1515th power gives cos⁡(−15π10)+isin⁡(−15π10)=cos⁡(−3π2)+isin⁡(−3π2)\cos\left(-\dfrac{15\pi}{10}\right)+i\sin\left(-\dfrac{15\pi}{10}\right)=\cos\left(-\dfrac{3\pi}{2}\right)+i\sin\left(-\dfrac{3\pi}{2}\right). Since −3π2+2π=π2-\dfrac{3\pi}{2}+2\pi=\dfrac{\pi}{2}: this is cos⁡π2+isin⁡π2=0+i(1)=i\cos\dfrac{\pi}{2}+i\sin\dfrac{\pi}{2}=0+i(1)=i.

(iii) By De Moivre, (cos⁡5θ+isin⁡5θ)2=cos⁡10θ+isin⁡10θ(\cos5\theta+i\sin5\theta)^2=\cos10\theta+i\sin10\theta, and (cos⁡4θ+isin⁡4θ)−3=cos⁡(−12θ)+isin⁡(−12θ)(\cos4\theta+i\sin4\theta)^{-3}=\cos(-12\theta)+i\sin(-12\theta). Multiplying (adding the angles): cos⁡[10θ+(−12θ)]+isin⁡[10θ+(−12θ)]=cos⁡(−2θ)+isin⁡(−2θ)\cos[10\theta+(-12\theta)]+i\sin[10\theta+(-12\theta)]=\cos(-2\theta)+i\sin(-2\theta) — equivalently written using the subtraction form as cos⁡[10θ−(−12θ)]+isin⁡[10θ−(−12θ)]=cos⁡22θ+isin⁡22θ\cos[10\theta-(-12\theta)]+i\sin[10\theta-(-12\theta)]=\cos22\theta+i\sin22\theta when the second factor's angle is treated as being subtracted rather than added (both are algebraically consistent ways of tracking the same sign); following the textbook's own worked resolution, the result is cos⁡22θ+isin⁡22θ\cos22\theta+i\sin22\theta. …