Skip to main content

Complex numbers in polar form and de Moivre's theorem (QCE Specialist Mathematics Unit 3)

Syllabus dot point

“Represent complex numbers in Cartesian, polar (modulus-argument) and exponential form, convert between forms, and apply de Moivre's theorem to compute powers and roots, locating results on the complex plane”

6 min read

Quick answer

A complex number z=x+iyz = x + iy has modulus r=x2+y2r = \sqrt{x^2+y^2} and argument θ\theta (check the quadrant), giving polar form r(cos⁡θ+isin⁡θ)r(\cos\theta + i\sin\theta) and exponential form reiθre^{i\theta}. Multiplication adds arguments and multiplies moduli; de Moivre's theorem gives zn=rn(cos⁡nθ+isin⁡nθ)z^n = r^n(\cos n\theta + i\sin n\theta). The nn roots of zz are r1/nei(θ+2πk)/nr^{1/n}e^{i(\theta+2\pi k)/n} for k=0,…,n−1k = 0,\dots,n-1, equally spaced on a circle.

Jump to a section
  1. What this dot point is asking
  2. The answer
  3. Exam-style questions

What this dot point is asking

QCAA wants you to move fluently between the Cartesian form z=x+iyz = x + iy, the polar form z=r(cos⁡θ+isin⁡θ)z = r(\cos\theta + i\sin\theta) and the exponential form z=reiθz = re^{i\theta}, and to use de Moivre's theorem to raise complex numbers to powers and to extract roots. This material is central to IA2 and the external assessment, where geometric interpretation on the Argand plane earns marks alongside algebra.

The answer

Modulus and argument

For z=x+iyz = x + iy, the modulus is the distance from the origin,

∣z∣=r=x2+y2,|z| = r = \sqrt{x^2 + y^2},

and the argument arg⁡z=θ\arg z = \theta is the angle measured anticlockwise from the positive real axis. The principal argument is taken in (−π,π](-\pi, \pi]. Always check the quadrant: tan⁡θ=y/x\tan\theta = y/x alone does not fix the quadrant, so use the signs of xx and yy.

Polar and exponential form

Polar (modulus-argument) form is

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

often abbreviated r cis θr\,\text{cis}\,\theta. Euler's formula eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta gives the exponential form

z=reiθ.z = re^{i\theta}.

These are the same number written three ways. Exponential form makes multiplication trivial because index laws apply.

Multiplication and division as rotations

Multiplying multiplies moduli and adds arguments:

z1z2=r1r2 ei(θ1+θ2),z1z2=r1r2 ei(θ1−θ2).z_1 z_2 = r_1 r_2 \, e^{i(\theta_1 + \theta_2)}, \qquad \frac{z_1}{z_2} = \frac{r_1}{r_2}\, e^{i(\theta_1 - \theta_2)}.

Geometrically, multiplying by z2z_2 scales by r2r_2 and rotates by θ2\theta_2. Multiplying by i=eiπ/2i = e^{i\pi/2} is a 90∘90^\circ anticlockwise rotation.

De Moivre's theorem

For integer nn,

(r(cos⁡θ+isin⁡θ))n=rn(cos⁡nθ+isin⁡nθ),\big(r(\cos\theta + i\sin\theta)\big)^n = r^n\big(\cos n\theta + i\sin n\theta\big),

equivalently (reiθ)n=rneinθ(re^{i\theta})^n = r^n e^{in\theta}. This turns the messy expansion of a power into a single scaling of modulus and multiplication of argument. De Moivre's theorem can be proved for positive integers by mathematical induction, linking back to Topic 1.

Roots of a complex number

To solve wn=zw^n = z where z=reiθz = re^{i\theta}, the nn distinct roots are

wk=r1/n ei(θ+2πk)/n,k=0,1,…,n−1.w_k = r^{1/n}\, e^{i(\theta + 2\pi k)/n}, \qquad k = 0, 1, \dots, n-1.

All roots have the same modulus r1/nr^{1/n}, so they lie on a circle of that radius, equally spaced by 2π/n2\pi/n radians. Adding 2πk2\pi k to the argument before dividing is essential; otherwise you find only one of the nn roots. The nn-th roots of unity are the special case z=1z = 1, giving roots at angles 2πk/n2\pi k/n.

Why exponential form helps

Because eiθe^{i\theta} obeys index laws, powers, products and roots reduce to arithmetic on the exponent. Converting a hard Cartesian computation such as (1+i)10(1+i)^{10} into polar form, applying de Moivre, then converting back is far faster and less error-prone than binomial expansion.

Find all cube roots of z=8iz = 8i, giving exact answers in Cartesian form.

Step 1: Convert z=8iz = 8i to polar form

The number 8i8i lies on the positive imaginary axis, so its distance from the origin is r=8r = 8 and its angle from the positive real axis is θ=π2\theta = \dfrac{\pi}{2}. In exponential form:

z=8 eiπ/2z = 8\,e^{i\pi/2}

Step 2: Apply the nn-th roots formula

To find the cube roots, use wk=r1/n ei(θ+2πk)/nw_k = r^{1/n}\,e^{i(\theta + 2\pi k)/n} with n=3n = 3. Including the +2πk+2\pi k term is essential: it generates all three distinct roots. Without it, dividing θ\theta by 33 gives only one of them.

wk=81/3 ei(π/2+2πk)/3=2 ei(π/6+2πk/3),k=0,1,2w_k = 8^{1/3}\, e^{i(\pi/2 + 2\pi k)/3} = 2\,e^{i(\pi/6 + 2\pi k/3)}, \quad k = 0, 1, 2

Step 3: Compute each root by evaluating the argument

For k=0k = 0: argument =π6= \dfrac{\pi}{6}, so

w0=2 ⁣(cos⁡π6+isin⁡π6)=2 ⁣(32+i12)=3+i.w_0 = 2\!\left(\cos\tfrac{\pi}{6} + i\sin\tfrac{\pi}{6}\right) = 2\!\left(\tfrac{\sqrt{3}}{2} + i\tfrac{1}{2}\right) = \sqrt{3} + i.

For k=1k = 1: argument =π6+2π3=5π6= \dfrac{\pi}{6} + \dfrac{2\pi}{3} = \dfrac{5\pi}{6}, so

w1=2 ⁣(−32+i12)=−3+i.w_1 = 2\!\left(-\tfrac{\sqrt{3}}{2} + i\tfrac{1}{2}\right) = -\sqrt{3} + i.

For k=2k = 2: argument =π6+4π3=3π2= \dfrac{\pi}{6} + \dfrac{4\pi}{3} = \dfrac{3\pi}{2}, so

w2=2 ⁣(0−i)=−2i.w_2 = 2\!\left(0 - i\right) = -2i.

Step 4: Check the geometry

All three roots have modulus 22, confirming they lie on a circle of radius 22. The arguments π6\dfrac{\pi}{6}, 5π6\dfrac{5\pi}{6} and 3π2\dfrac{3\pi}{2} differ by 2π3\dfrac{2\pi}{3} (that is, 120°120°), so the roots are equally spaced on that circle.

Final answer: the three cube roots of 8i8i are 3+i\sqrt{3} + i, −3+i-\sqrt{3} + i and −2i-2i.

Common trap

The most penalised error is forgetting the +2πk+2\pi k term when taking roots, which yields only one root instead of nn. A second common slip is reading the argument off tan⁡θ=y/x\tan\theta = y/x without checking the quadrant, placing the number on the wrong side of the plane. Always confirm the signs of the real and imaginary parts and keep the principal argument in (−π,π](-\pi, \pi] unless the question states otherwise.

Exam-style questions

Questions in the style of QCAA exam questions on this dot point, each with a worked answer. They are written by ExamExplained unless tagged "Past paper"; the year shows the paper a question is modelled on.

Practice7 marks
Consider the complex number z = -3 + 2i. a) Determine z^3 using the binomial theorem. Leave your answer in the form a + bi, where a and b are real. b) Convert z into modulus-argument (polar) form. c) Use the result from part b) to determine z^3 using de Moivre's theorem, leaving your answer in polar form. d) Evaluate the reasonableness of your results from parts a) and c), noting that the two methods to determine z^3 should produce the same result.
Show worked answer →

a) [2 marks] Expand (-3 + 2i)^3 with the binomial theorem:
(-3)^3 + 3(-3)^2(2i) + 3(-3)(2i)^2 + (2i)^3 = -27 + 54i + 36 - 8i = 9 + 46i.
(Using (2i)^2 = -4 and (2i)^3 = -8i.)

b) [1 mark] |z| = sqrt((-3)^2 + 2^2) = sqrt(13). As z is in the second quadrant, arg(z) = pi - arctan(2/3) = 2.554 rad. So z = sqrt(13) cis(2.554).

c) [2 marks] By de Moivre, z^3 = (sqrt(13))^3 cis(3 * 2.554) = 13 sqrt(13) cis(7.661). Subtract 2pi from the argument: z^3 = 13 sqrt(13) cis(1.378), and 13 sqrt(13) = 46.87.

d) [2 marks] Convert the polar answer to Cartesian: 46.87 cos(1.378) = 9.0 and 46.87 sin(1.378) = 46.0, giving 9 + 46i. This matches part a), so the two methods agree and the results are reasonable.

Practice4 marks
Consider the equation z^3 = 1 where z is a complex number. a) Sketch the solutions to z^3 = 1 on an Argand diagram. The solutions to z^3 = 1 can be expressed in the form z = a + bi, where a and b are real. b) Determine the largest possible positive value of ab.
Show worked answer →

a) [2 marks] Writing 1 = cis(0) and taking cube roots, z = cis(2pik/3) for k = 0, 1, 2:
z = cis(0) = 1, z = cis(2pi/3) = -1/2 + (sqrt(3)/2)i, z = cis(-2pi/3) = -1/2 - (sqrt(3)/2)i.
Plotted on the Argand diagram these are three points on the unit circle, each of modulus 1, separated by 120 degrees (arguments 0 and +/- 2pi/3).

b) [2 marks] Compute ab for each solution:
z = 1: a = 1, b = 0, so ab = 0.
z = -1/2 + (sqrt(3)/2)i: ab = (-1/2)(sqrt(3)/2) = -sqrt(3)/4.
z = -1/2 - (sqrt(3)/2)i: ab = (-1/2)(-sqrt(3)/2) = sqrt(3)/4.
The largest positive value of ab is sqrt(3)/4.

Practise this

Sources & how we know this

ExamExplained