Skip to main content
ExamExplained
SA · Specialist Mathematics
Specialist Mathematics study scene
§-Syllabus dot point
SASpecialist MathematicsSyllabus dot point

How does writing a complex number by its modulus and angle make multiplication, division and powers easy?

Polar form expresses a complex number by its modulus and argument, and De Moivre's theorem raises it to integer powers.

Converting between Cartesian and polar form, the modulus and argument, multiplication and division in polar form, and using De Moivre's theorem to compute integer powers of complex numbers.

Reviewed by: AI editorial process; not yet individually human-reviewed

Have a quick question? Jump to the Q&A page

Jump to a section
  1. What this dot point is asking
  2. Modulus and argument
  3. Multiplication and division in polar form
  4. De Moivre's theorem
  5. Why rotation explains multiplication
  6. Negative powers and reciprocals
  7. Common errors
  8. Why it matters

What this dot point is asking

Cartesian form is convenient for adding, but clumsy for multiplying and taking powers. Polar form describes the same number by how far it is from the origin and in what direction.

Modulus and argument

For z=a+biz=a+bi the modulus is r=z=a2+b2r=|z|=\sqrt{a^2+b^2} and the argument θ=arg(z)\theta=\arg(z) is the angle the vector makes with the positive real axis, measured anticlockwise. Then a=rcosθa=r\cos\theta and b=rsinθb=r\sin\theta, so

z=r(cosθ+isinθ),z=r(\cos\theta+i\sin\theta),

often abbreviated z=rcisθz=r\operatorname{cis}\theta.

Multiplication and division in polar form

If z1=r1cisθ1z_1=r_1\operatorname{cis}\theta_1 and z2=r2cisθ2z_2=r_2\operatorname{cis}\theta_2, then

z1z2=r1r2cis(θ1+θ2),z1z2=r1r2cis(θ1θ2).z_1z_2=r_1r_2\operatorname{cis}(\theta_1+\theta_2),\qquad \frac{z_1}{z_2}=\frac{r_1}{r_2}\operatorname{cis}(\theta_1-\theta_2).

So multiplication is a scaling and rotation: the new vector is r2r_2 times as long and rotated by θ2\theta_2. This follows from the compound-angle formulae applied to cos\cos and sin\sin.

De Moivre's theorem

Applying the multiplication rule nn times gives De Moivre's theorem: for any integer nn,

(r(cosθ+isinθ))n=rn(cosnθ+isinnθ).\big(r(\cos\theta+i\sin\theta)\big)^n=r^n(\cos n\theta+i\sin n\theta).

This makes large powers, which would be hopeless to expand in Cartesian form, immediate.

The theorem also derives multiple-angle identities. Expanding (cosθ+isinθ)3(\cos\theta+i\sin\theta)^3 by the binomial theorem and equating real parts with cos3θ\cos 3\theta gives cos3θ=4cos3θ3cosθ\cos 3\theta=4\cos^3\theta-3\cos\theta.

Why rotation explains multiplication

The polar multiplication rule is the deepest idea in this dot point: multiplying by rcisθr\operatorname{cis}\theta scales a vector by rr and rotates it anticlockwise by θ\theta. Multiplying by i=cisπ2i=\operatorname{cis}\tfrac{\pi}{2}, for instance, is a pure 9090^\circ rotation with no scaling, which is why applying ii twice (giving i2=1i^2=-1) rotates by 180180^\circ and lands on the negative real axis. Seeing multiplication as a geometric transformation turns otherwise abstract algebra into a picture, and it is the reason de Moivre's theorem - repeated multiplication - simply repeats the rotation nn times.

Negative powers and reciprocals

De Moivre's theorem holds for negative integers too. The reciprocal z1z^{-1} of z=rcisθz=r\operatorname{cis}\theta is 1rcis(θ)\dfrac{1}{r}\operatorname{cis}(-\theta): take the reciprocal of the modulus and negate the argument. This follows from the division rule with numerator 1=1cis01=1\operatorname{cis}0. It means any negative power zn=rncis(nθ)z^{-n}=r^{-n}\operatorname{cis}(-n\theta) is found by the same theorem, a fact used directly in the zn+znz^n+z^{-n} identity questions above.

Common errors

Why it matters

Polar form turns multiplication into rotation and division into the reverse, and De Moivre's theorem is the gateway to finding the roots of complex numbers. The conversion technique builds directly on the modulus and conjugate ideas from complex arithmetic.

Exam-style practice questions

Practice questions written in the style of SACE Board exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.

SACE 20222 marksCalculator-free. Let z=cisθz = \operatorname{cis}\theta be a complex number with modulus 11. Using de Moivre's theorem, show that zn+zn=2cos(nθ)z^n + z^{-n} = 2\cos(n\theta).
Show worked answer →

Since z=cisθ=cosθ+isinθz = \operatorname{cis}\theta = \cos\theta + i\sin\theta, de Moivre's theorem gives zn=cos(nθ)+isin(nθ)z^n = \cos(n\theta) + i\sin(n\theta). [1 mark]

The negative power: zn=cos(nθ)+isin(nθ)=cos(nθ)isin(nθ)z^{-n} = \cos(-n\theta) + i\sin(-n\theta) = \cos(n\theta) - i\sin(n\theta), using that cosine is even and sine is odd.

Adding: zn+zn=[cos(nθ)+isin(nθ)]+[cos(nθ)isin(nθ)]=2cos(nθ)z^n + z^{-n} = [\cos(n\theta) + i\sin(n\theta)] + [\cos(n\theta) - i\sin(n\theta)] = 2\cos(n\theta), since the imaginary parts cancel. [1 mark]

SACE 20233 marksCalculator-free. With z=cisθz = \operatorname{cis}\theta, expand (z+z1)3(z + z^{-1})^3 to show that cos3θ=14cos(3θ)+34cosθ\cos^3\theta = \tfrac{1}{4}\cos(3\theta) + \tfrac{3}{4}\cos\theta.
Show worked answer →

From the previous result, z+z1=2cosθz + z^{-1} = 2\cos\theta and z3+z3=2cos(3θ)z^3 + z^{-3} = 2\cos(3\theta).

Expand by the binomial theorem: (z+z1)3=z3+3z+3z1+z3(z + z^{-1})^3 = z^3 + 3z + 3z^{-1} + z^{-3}. [1 mark]

Group the symmetric pairs: =(z3+z3)+3(z+z1)=2cos(3θ)+6cosθ= (z^3 + z^{-3}) + 3(z + z^{-1}) = 2\cos(3\theta) + 6\cos\theta. [1 mark]

But (z+z1)3=(2cosθ)3=8cos3θ(z + z^{-1})^3 = (2\cos\theta)^3 = 8\cos^3\theta. So 8cos3θ=2cos(3θ)+6cosθ8\cos^3\theta = 2\cos(3\theta) + 6\cos\theta; dividing by 88 gives cos3θ=14cos(3θ)+34cosθ\cos^3\theta = \tfrac{1}{4}\cos(3\theta) + \tfrac{3}{4}\cos\theta. [1 mark]

SACE 20213 marksCalculator-free. Express z=3+iz = \sqrt{3} + i in polar form, then use de Moivre's theorem to find z6z^6 in Cartesian form.
Show worked answer →

Modulus: r=(3)2+12=4=2r = \sqrt{(\sqrt{3})^2 + 1^2} = \sqrt{4} = 2. The point (3,1)(\sqrt{3}, 1) is in the first quadrant with tanθ=13\tan\theta = \tfrac{1}{\sqrt{3}}, so θ=π6\theta = \tfrac{\pi}{6}. Thus z=2cisπ6z = 2\operatorname{cis}\tfrac{\pi}{6}.

By de Moivre, z6=26cis ⁣(6×π6)=64cisπ=64(cosπ+isinπ)=64z^6 = 2^6\operatorname{cis}\!\left(6\times\tfrac{\pi}{6}\right) = 64\operatorname{cis}\pi = 64(\cos\pi + i\sin\pi) = -64.

Marks: one for the modulus, one for the argument π6\tfrac{\pi}{6}, one for applying de Moivre to reach 64-64.

ExamExplained