That is, if two complex numbers are multiplied, their moduli get multiplied and their arguments get added.
Similarly,
z2z1=r2eiθ2r1eiθ1=r2r1ei(θ1−θ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θ):
[r(cosθ+isinθ)]n=rn(cosnθ+isinnθ)for any n∈Z
The proof of this theorem, for positive integer n, can be given using the Method of Induction (a technique covered in Chapter 4) — repeatedly applying the multiplication rule above to z multiplied by itself n times.
Examples.
(cosθ+isinθ)5=cos5θ+isin5θ.
(cosθ+isinθ)−1=cos(−θ)+isin(−θ).
(cosθ+isinθ)2/3=cos32θ+isin32θ.
Worked Example 1: use De Moivre's theorem to simplify (i) (cos3π+isin3π)8 (ii) (cos10π−isin10π)15 (iii) (cos5θ+isin5θ)2(cos4θ+isin4θ)−3.
(i) (cos3π+isin3π)8=cos(8×3π)+isin(8×3π)=cos38π+isin38π. Since 38π=2π+32π, this reduces to cos32π+isin32π; using allied angles (32π=π−3π), this is −cos3π+isin3π=−21+23i.
(ii) cos10π−isin10π=cos(−10π)+isin(−10π), so raising to the 15th power gives cos(−1015π)+isin(−1015π)=cos(−23π)+isin(−23π). Since −23π+2π=2π: this is cos2π+isin2π=0+i(1)=i.
(iii) By De Moivre, (cos5θ+isin5θ)2=cos10θ+isin10θ, and (cos4θ+isin4θ)−3=cos(−12θ)+isin(−12θ). Multiplying (adding the angles): cos[10θ+(−12θ)]+isin[10θ+(−12θ)]=cos(−2θ)+isin(−2θ) — equivalently written using the subtraction form as cos[10θ−(−12θ)]+isin[10θ−(−12θ)]=cos22θ+isin22θ 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 cos22θ+isin22θ. …