Skip to main content

Complex numbers (WACE Year 12 Mathematics Specialist Unit 3)

Syllabus dot point

“Represent complex numbers in Cartesian and polar form, perform arithmetic, and apply de Moivre's theorem”

8 min read

Quick answer

A complex number is z=x+iyz = x + iy where i2=−1i^2 = -1; in polar form z=r(cos⁡θ+isin⁡θ)=r cis θz = r(\cos\theta + i\sin\theta) = r\,\text{cis}\,\theta with modulus r=∣z∣=x2+y2r = |z| = \sqrt{x^2 + y^2} and argument θ=arg⁡z\theta = \arg z. De Moivre's theorem, [r cis θ]n=rn cis(nθ)[r\,\text{cis}\,\theta]^n = r^n\,\text{cis}(n\theta), powers and roots complex numbers fast.

Jump to a section
  1. What this dot point is asking
  2. Cartesian form and arithmetic
  3. The Argand plane, modulus and argument
  4. Polar form and de Moivre's theorem
  5. Converting between forms
  6. When polar form is the better tool
  7. Exam-style questions

What this dot point is asking

SCSA wants you to move fluently between Cartesian form z=x+iyz = x + iy and polar (modulus-argument) form, plot numbers on the Argand plane, carry out all four arithmetic operations, use the conjugate, and apply de Moivre's theorem to find powers and the nn roots of a complex number.

Cartesian form and arithmetic

Write z=x+iyz = x + iy where x=Re⁡(z)x = \operatorname{Re}(z) and y=Im⁡(z)y = \operatorname{Im}(z), and i2=−1i^2 = -1. Addition and subtraction act component-wise. Multiplication uses the distributive law with i2=−1i^2 = -1:

(a+ib)(c+id)=(ac−bd)+i(ad+bc).(a + ib)(c + id) = (ac - bd) + i(ad + bc).

The conjugate of z=x+iyz = x + iy is zˉ=x−iy\bar z = x - iy. The product zzˉ=x2+y2=∣z∣2z\bar z = x^2 + y^2 = |z|^2 is real and non-negative, which is the key to division: multiply numerator and denominator by the conjugate of the denominator.

a+ibc+id=(a+ib)(c−id)c2+d2.\frac{a + ib}{c + id} = \frac{(a + ib)(c - id)}{c^2 + d^2}.

The Argand plane, modulus and argument

Plot z=x+iyz = x + iy as the point (x,y)(x, y). The modulus ∣z∣=x2+y2|z| = \sqrt{x^2 + y^2} is the distance from the origin. The argument arg⁡z\arg z is the angle measured anticlockwise from the positive real axis. The principal argument Arg⁡z\operatorname{Arg} z lies in (−π,π](-\pi, \pi]. Always check the quadrant: a bare tan⁡−1(y/x)\tan^{-1}(y/x) can land in the wrong half-plane.

Polar form and de Moivre's theorem

In polar form z=r cis θz = r\,\text{cis}\,\theta where cis θ=cos⁡θ+isin⁡θ\text{cis}\,\theta = \cos\theta + i\sin\theta. Multiplication multiplies moduli and adds arguments; division divides moduli and subtracts arguments:

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

De Moivre's theorem

[r cis θ]n=rn cis(nθ),n∈Z.[r\,\text{cis}\,\theta]^n = r^n\,\text{cis}(n\theta), \quad n \in \mathbb{Z}.

For the nn distinct nnth roots of w=R cis ϕw = R\,\text{cis}\,\phi, solve zn=wz^n = w:

zk=R1/n cis ⁣(ϕ+2πkn),k=0,1,…,n−1.z_k = R^{1/n}\,\text{cis}\!\left(\frac{\phi + 2\pi k}{n}\right), \quad k = 0, 1, \dots, n - 1.

The roots all have modulus R1/nR^{1/n} and are spaced 2πn\tfrac{2\pi}{n} apart, so they sit on the vertices of a regular polygon.

Converting between forms

Moving between Cartesian and polar form is a core SCSA skill. To go from Cartesian z=x+iyz = x + iy to polar, compute the modulus r=x2+y2r = \sqrt{x^2 + y^2} and the argument θ\theta by considering the quadrant of (x,y)(x, y). To go from polar back to Cartesian, evaluate x=rcos⁡θx = r\cos\theta and y=rsin⁡θy = r\sin\theta. For example z=4 cis π6z = 4\,\text{cis}\,\tfrac{\pi}{6} becomes x=4cos⁡π6=4×32=23x = 4\cos\tfrac{\pi}{6} = 4 \times \tfrac{\sqrt{3}}{2} = 2\sqrt{3} and y=4sin⁡π6=4×12=2y = 4\sin\tfrac{\pi}{6} = 4 \times \tfrac{1}{2} = 2, so z=23+2iz = 2\sqrt{3} + 2i. Knowing the exact values of cos⁡\cos and sin⁡\sin at the standard angles π6,π4,π3\tfrac{\pi}{6}, \tfrac{\pi}{4}, \tfrac{\pi}{3} is essential for the calculator-free section.

When polar form is the better tool

Polar form turns multiplication, division, powers and roots into simple operations on the modulus and argument, so it is the natural choice whenever a question raises a complex number to a power or asks for roots. Cartesian form is better for addition and subtraction, which act componentwise but are awkward in polar form. A common exam strategy is to add or subtract in Cartesian form, then convert to polar form before applying de Moivre's theorem.

Worked example

Find the cube roots of −8i-8i

Step 1: Write −8i-8i in polar form.

The modulus is the distance from the origin, which is R=8R = 8. The point −8i-8i sits on the negative imaginary axis, so its argument is ϕ=−π2\phi = -\tfrac{\pi}{2}. Writing in polar form gives a starting point for the root formula.

Thus −8i=8 cis ⁣(−π2)-8i = 8\,\text{cis}\!\left(-\tfrac{\pi}{2}\right).

Step 2: State the modulus and arguments of the cube roots.

The nn distinct nnth roots of R cis ϕR\,\text{cis}\,\phi all have modulus R1/nR^{1/n} and arguments (ϕ+2πk)/n(\phi + 2\pi k)/n for k=0,1,…,n−1k = 0, 1, \ldots, n-1. For cube roots, n=3n=3:

The cube roots have modulus 81/3=28^{1/3} = 2 and arguments

θk=−π2+2πk3,k=0,1,2.\theta_k = \frac{-\tfrac{\pi}{2} + 2\pi k}{3}, \quad k = 0, 1, 2.

Step 3: Compute each root for k=0k = 0, k=1k = 1, k=2k = 2.

Substituting each value of kk gives three distinct roots, equally spaced by 2π3\tfrac{2\pi}{3} on a circle of radius 22 in the Argand plane. Converting each to Cartesian form uses cos⁡\cos and sin⁡\sin of the standard angles.

For k=0k = 0: θ0=−π6\theta_0 = -\tfrac{\pi}{6}, giving z0=2 cis ⁣(−π6)=3−iz_0 = 2\,\text{cis}\!\left(-\tfrac{\pi}{6}\right) = \sqrt{3} - i.

For k=1k = 1: θ1=−π6+2π3=π2\theta_1 = -\tfrac{\pi}{6} + \tfrac{2\pi}{3} = \tfrac{\pi}{2}, giving z1=2 cis ⁣(π2)=2iz_1 = 2\,\text{cis}\!\left(\tfrac{\pi}{2}\right) = 2i.

For k=2k = 2: θ2=−π6+4π3=7π6\theta_2 = -\tfrac{\pi}{6} + \tfrac{4\pi}{3} = \tfrac{7\pi}{6}, giving z2=2 cis ⁣(7π6)=−3−iz_2 = 2\,\text{cis}\!\left(\tfrac{7\pi}{6}\right) = -\sqrt{3} - i.

Check: each cubed returns −8i-8i, and the three points are spaced 2π3\tfrac{2\pi}{3} apart on a circle of radius 22.

Common traps
Wrong quadrant for the argument
tan⁡−1(y/x)\tan^{-1}(y/x) does not know which quadrant you are in. For z=−1−iz = -1 - i the calculator gives π4\tfrac{\pi}{4}, but the true argument is −3π4-\tfrac{3\pi}{4}. Sketch the point first.
Forgetting roots are equally spaced
Once you have one root, the rest follow by adding 2πn\tfrac{2\pi}{n} to the argument; you do not recompute the modulus.
Degrees and radians mixed
WACE works in radians for the principal argument (−π,π](-\pi, \pi]. Keep your calculator in radian mode.

Exam-style questions

Questions in the style of SCSA 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.

WACE 2021-style6 marks
Calculator-free. (a) Express z=−1+i3z = -1 + i\sqrt{3} in polar form r cis θr\,\text{cis}\,\theta with θ∈(−π,π]\theta \in (-\pi, \pi]. (b) Hence use de Moivre's theorem to find z4z^4 in Cartesian form.
Show worked answer →

A standard convert-then-power question.

(a) Modulus r=(−1)2+(3)2=1+3=2r = \sqrt{(-1)^2 + (\sqrt{3})^2} = \sqrt{1 + 3} = 2. The point (−1,3)(-1, \sqrt{3}) is in the second quadrant, so θ=π−tan⁡−1 ⁣(31)=π−π3=2π3\theta = \pi - \tan^{-1}\!\left(\dfrac{\sqrt{3}}{1}\right) = \pi - \dfrac{\pi}{3} = \dfrac{2\pi}{3}. Thus z=2 cis 2π3z = 2\,\text{cis}\,\dfrac{2\pi}{3}.

(b) By de Moivre, z4=24 cis ⁣(4×2π3)=16 cis 8π3z^4 = 2^4\,\text{cis}\!\left(4 \times \dfrac{2\pi}{3}\right) = 16\,\text{cis}\,\dfrac{8\pi}{3}. Subtract 2π2\pi to bring the angle into range: 8π3−2π=2π3\dfrac{8\pi}{3} - 2\pi = \dfrac{2\pi}{3}. So z4=16 cis 2π3=16(−12+32i)=−8+83 iz^4 = 16\,\text{cis}\,\dfrac{2\pi}{3} = 16\left(-\dfrac{1}{2} + \dfrac{\sqrt{3}}{2}i\right) = -8 + 8\sqrt{3}\,i.

Markers reward the correct quadrant for the argument, de Moivre applied to both modulus and argument, and the final Cartesian form.

WACE 2023-style4 marks
Calculator-assumed. Find all solutions of z4=−16z^4 = -16, giving each in polar form, and state how they are arranged in the Argand plane.
Show worked answer →

A roots-of-a-complex-number question.

Write −16=16 cis π-16 = 16\,\text{cis}\,\pi. The four fourth roots have modulus 161/4=216^{1/4} = 2 and arguments θk=π+2πk4\theta_k = \dfrac{\pi + 2\pi k}{4} for k=0,1,2,3k = 0, 1, 2, 3.

That gives θ0=π4\theta_0 = \dfrac{\pi}{4}, θ1=3π4\theta_1 = \dfrac{3\pi}{4}, θ2=5π4\theta_2 = \dfrac{5\pi}{4} (or −3π4-\dfrac{3\pi}{4}), θ3=7π4\theta_3 = \dfrac{7\pi}{4} (or −π4-\dfrac{\pi}{4}). So the roots are 2 cis π42\,\text{cis}\,\dfrac{\pi}{4}, 2 cis 3π42\,\text{cis}\,\dfrac{3\pi}{4}, 2 cis ⁣(−3π4)2\,\text{cis}\!\left(-\dfrac{3\pi}{4}\right) and 2 cis ⁣(−π4)2\,\text{cis}\!\left(-\dfrac{\pi}{4}\right).

They lie on a circle of radius 22, equally spaced π2\dfrac{\pi}{2} apart at the vertices of a square. Markers reward the modulus 22, the four arguments, and the regular-polygon description.

Practise this

Sources & how we know this

ExamExplained