Skip to main content

Roots of complex numbers and roots of unity (WACE Year 12 Mathematics Specialist Unit 3)

Syllabus dot point

“Find the nth roots of a complex number and the nth roots of unity, and represent them on the Argand plane”

7 min read

Quick answer

The nn distinct nnth roots of w=R cis ϕw = R\,\text{cis}\,\phi are zk=R1/n cis ⁣(ϕ+2πkn)z_k = R^{1/n}\,\text{cis}\!\left(\tfrac{\phi + 2\pi k}{n}\right) for k=0,1,…,n−1k = 0, 1, \dots, n-1. They all have modulus R1/nR^{1/n} and sit at the vertices of a regular nn-gon. The nnth roots of unity are the special case w=1w = 1.

Jump to a section
  1. What this dot point is asking
  2. The general root formula
  3. Why the roots are equally spaced
  4. The nth roots of unity
  5. Roots of unity as a cyclic group
  6. Roots of any number from the roots of unity
  7. Plotting strategy
  8. Exam-style questions

What this dot point is asking

SCSA wants you to solve zn=wz^n = w for all roots, identify the roots of unity, and plot them as a regular polygon on the Argand plane.

The general root formula

To solve zn=wz^n = w, write w=R cis ϕw = R\,\text{cis}\,\phi and let z=ρ cis αz = \rho\,\text{cis}\,\alpha. By de Moivre zn=ρn cis(nα)z^n = \rho^n\,\text{cis}(n\alpha), so matching moduli gives ρ=R1/n\rho = R^{1/n} and matching arguments gives nα=ϕ+2πkn\alpha = \phi + 2\pi k for integer kk. Hence

The nth roots of a complex number

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), \qquad k = 0, 1, \dots, n-1.

Taking k=0k = 0 to n−1n-1 gives nn distinct roots; further values of kk repeat them. All roots share the modulus R1/nR^{1/n}, so they lie on a circle of that radius, spaced 2πn\tfrac{2\pi}{n} apart. This is why they form a regular nn-gon.

Why the roots are equally spaced

The equal spacing is a direct consequence of the formula. Consecutive roots differ only in the value of kk, and increasing kk by one adds 2πn\dfrac{2\pi}{n} to the argument while leaving the modulus R1/nR^{1/n} unchanged. Geometrically, each root is the previous one rotated by 2πn\dfrac{2\pi}{n} about the origin. After nn such rotations the total turn is 2π2\pi, returning to the starting root, which is why exactly nn distinct roots arise before they repeat. This is the reason the roots always form a regular nn-gon inscribed in a circle of radius R1/nR^{1/n}, a fact that lets you draw all the roots once you have located a single one.

The nth roots of unity

Setting w=1=cis 0w = 1 = \text{cis}\,0 gives the nnth roots of unity:

ωk=cis ⁣(2πkn),k=0,1,…,n−1.\omega_k = \text{cis}\!\left(\frac{2\pi k}{n}\right), \qquad k = 0, 1, \dots, n-1.

They all lie on the unit circle, include z=1z = 1, and are equally spaced. Writing ω=cis2πn\omega = \text{cis}\tfrac{2\pi}{n}, every root is a power ωk\omega^k.

Sum of the roots of unity

For n≥2n \ge 2 the nnth roots of unity sum to zero: 1+ω+ω2+⋯+ωn−1=01 + \omega + \omega^2 + \dots + \omega^{n-1} = 0. Geometrically the equally spaced vectors cancel.

Roots of unity as a cyclic group

The nnth roots of unity have a tidy structure: every root is a power of the single primitive root ω=cis2πn\omega = \text{cis}\dfrac{2\pi}{n}, so the full set is {1,ω,ω2,…,ωn−1}\{1, \omega, \omega^2, \dots, \omega^{n-1}\} and multiplying any two of them gives another (with exponents added modulo nn). This is why the sum of all nn roots is zero for n≥2n \ge 2: they are the roots of zn−1=0z^n - 1 = 0, and the coefficient of zn−1z^{n-1} in zn−1z^n - 1 is zero, so by the sum-of-roots relation the total is zero. The factorisation zn−1=(z−1)(zn−1+zn−2+⋯+1)z^n - 1 = (z - 1)(z^{n-1} + z^{n-2} + \dots + 1) shows the same thing: the non-trivial roots satisfy zn−1+⋯+1=0z^{n-1} + \dots + 1 = 0.

Roots of any number from the roots of unity

Once you know the nnth roots of unity, the nnth roots of any complex number follow by multiplication. If z0z_0 is any one nnth root of ww, then every nnth root of ww is z0ωkz_0 \omega^k for k=0,1,…,n−1k = 0, 1, \dots, n-1, because multiplying by a root of unity rotates without changing the modulus and preserves the property of being an nnth root. This gives a fast way to write down all the roots once a single one is found.

Plotting strategy

Find one root (usually k=0k = 0), then rotate by 2πn\tfrac{2\pi}{n} repeatedly to get the rest. You never recompute the modulus.

Solve z4=−16z^4 = -16

We apply the general root formula: write the right-hand side in polar form, read off the modulus and principal argument, then generate all four roots by adding multiples of 2π4\tfrac{2\pi}{4}.

Step 1: Write −16-16 in polar form

The number −16-16 is real and negative, so its modulus is 1616 and its argument is π\pi. In polar form, −16=16 cis π-16 = 16\,\text{cis}\,\pi.

Step 2: Find the common modulus of all roots

Every fourth root of 16 cis π16\,\text{cis}\,\pi has the same modulus, R1/4=161/4=2R^{1/4} = 16^{1/4} = 2. All four roots will lie on a circle of radius 22.

Step 3: Generate the four arguments using the general formula

The arguments of the roots are αk=π+2πk4\alpha_k = \dfrac{\pi + 2\pi k}{4} for k=0,1,2,3k = 0, 1, 2, 3, because each step adds 2π4=π2\tfrac{2\pi}{4} = \tfrac{\pi}{2} to rotate to the next root.

αk=π+2πk4,k=0,1,2,3.\alpha_k = \frac{\pi + 2\pi k}{4}, \qquad k = 0, 1, 2, 3.

Step 4: Compute each root

For k=0k = 0: α0=π4\alpha_0 = \tfrac{\pi}{4}, so z0=2 cisπ4=2+i2z_0 = 2\,\text{cis}\tfrac{\pi}{4} = \sqrt{2} + i\sqrt{2}.

For k=1k = 1: α1=3π4\alpha_1 = \tfrac{3\pi}{4}, so z1=−2+i2z_1 = -\sqrt{2} + i\sqrt{2}.

For k=2k = 2: α2=5π4\alpha_2 = \tfrac{5\pi}{4}, equivalently −3π4-\tfrac{3\pi}{4}, so z2=−2−i2z_2 = -\sqrt{2} - i\sqrt{2}.

For k=3k = 3: α3=7π4\alpha_3 = \tfrac{7\pi}{4}, equivalently −π4-\tfrac{\pi}{4}, so z3=2−i2z_3 = \sqrt{2} - i\sqrt{2}.

Final answer: z=2+i2, −2+i2, −2−i2, 2−i2z = \sqrt{2} + i\sqrt{2},\ -\sqrt{2} + i\sqrt{2},\ -\sqrt{2} - i\sqrt{2},\ \sqrt{2} - i\sqrt{2}. The four roots lie on a circle of radius 22 at the corners of a square.

Common traps
Stopping after one root
zn=wz^n = w has nn roots; find them all by adding 2πn\tfrac{2\pi}{n} to the argument.
Recomputing the modulus
Every root has the same modulus R1/nR^{1/n}; only the argument changes.
Going past k=n−1k = n-1
Values k≥nk \ge n repeat roots already found. Stop at n−1n-1.

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 2023-style6 marks
Calculator-free. (a) Find the three cube roots of unity in polar and Cartesian form. (b) Show that they sum to zero.
Show worked answer →

A roots-of-unity question.

(a) Solve z3=1=cis 0z^3 = 1 = \text{cis}\,0. The roots are ωk=cis ⁣(2πk3)\omega_k = \text{cis}\!\left(\dfrac{2\pi k}{3}\right) for k=0,1,2k = 0, 1, 2: ω0=cis 0=1\omega_0 = \text{cis}\,0 = 1; ω1=cis 2π3=−12+32i\omega_1 = \text{cis}\,\dfrac{2\pi}{3} = -\dfrac{1}{2} + \dfrac{\sqrt{3}}{2}i; ω2=cis 4π3=−12−32i\omega_2 = \text{cis}\,\dfrac{4\pi}{3} = -\dfrac{1}{2} - \dfrac{\sqrt{3}}{2}i.

(b) Sum: 1+(−12+32i)+(−12−32i)=1−12−12+0i=01 + \left(-\dfrac{1}{2} + \dfrac{\sqrt{3}}{2}i\right) + \left(-\dfrac{1}{2} - \dfrac{\sqrt{3}}{2}i\right) = 1 - \dfrac{1}{2} - \dfrac{1}{2} + 0i = 0.

Markers reward the three roots in both forms and the cancellation to zero. An alternative for (b) uses the factorisation z3−1=(z−1)(z2+z+1)z^3 - 1 = (z - 1)(z^2 + z + 1), where the sum of all roots is the negative of the z2z^2 coefficient, namely 00.

WACE 2020-style5 marks
Calculator-assumed. Find all solutions of z3=8iz^3 = 8i, giving each in the form a+bia + bi where appropriate, and describe their arrangement.
Show worked answer →

Cube roots of a complex number.

Write 8i=8 cis π28i = 8\,\text{cis}\,\dfrac{\pi}{2}. The cube roots have modulus 81/3=28^{1/3} = 2 and arguments π2+2πk3\dfrac{\frac{\pi}{2} + 2\pi k}{3} for k=0,1,2k = 0, 1, 2.

k=0k = 0: π6\dfrac{\pi}{6}, so z0=2 cis π6=3+iz_0 = 2\,\text{cis}\,\dfrac{\pi}{6} = \sqrt{3} + i. k=1k = 1: 5π6\dfrac{5\pi}{6}, so z1=−3+iz_1 = -\sqrt{3} + i. k=2k = 2: 3π2\dfrac{3\pi}{2} (or −π2-\dfrac{\pi}{2}), so z2=−2iz_2 = -2i.

The three roots lie on a circle of radius 22, spaced 2π3\dfrac{2\pi}{3} apart at the vertices of an equilateral triangle. Markers reward the modulus 22, the three arguments, the Cartesian forms, and the triangle description.

Practise this

Sources & how we know this

ExamExplained