Skip to main content
EnglandFurther MathsSyllabus dot point

How do you find the nth roots of a complex number, and how do conditions on z describe loci on the Argand diagram?

The nth roots of unity and of a general complex number, their geometric arrangement as a regular polygon, and loci on the Argand diagram defined by modulus and argument conditions (circles, perpendicular bisectors, half-lines and regions).

A focused answer to the OCR A-Level Further Mathematics A content on roots of unity and loci, covering the nth roots of unity and of a general complex number and their arrangement as a regular polygon on a circle, and loci on the Argand diagram from modulus and argument conditions, including circles, perpendicular bisectors, half-lines and shaded regions.

Generated by Claude Opus 4.812 min answer

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. The nth roots of a complex number
  3. Roots of unity as a regular polygon
  4. Loci: circles and perpendicular bisectors
  5. Loci: half-lines and regions
  6. Try this

What this dot point is asking

OCR wants you to find all nnth roots of unity and of a general complex number using de Moivre's theorem, recognise that they sit equally spaced on a circle as the vertices of a regular polygon, and sketch and describe loci on the Argand diagram defined by modulus and argument conditions: a circle za=r|z - a| = r, a perpendicular bisector za=zb|z - a| = |z - b|, a half-line arg(za)=θ\arg(z - a) = \theta, and regions defined by inequalities.

The nth roots of a complex number

The key idea is that a complex number has infinitely many arguments, differing by 2π2\pi, and dividing each by nn produces nn distinct roots before they repeat. Take the positive real nnth root of the modulus and spread the arguments evenly.

Roots of unity as a regular polygon

The nnth roots of unity are 1,ω,ω2,,ωn11, \omega, \omega^2, \ldots, \omega^{n-1} where ω=e2πi/n\omega = e^{2\pi i/n}. They are equally spaced around the unit circle, forming a regular nn-gon with one vertex at 11. Because they are the roots of zn1=0z^n - 1 = 0, whose zn1z^{n-1} coefficient is zero, they sum to zero, a fact OCR often asks you to use or to confirm from the diagram.

Loci: circles and perpendicular bisectors

A locus is the set of points zz satisfying a condition. Modulus conditions measure distance, so they give circles and perpendicular bisectors.

Loci: half-lines and regions

Argument conditions measure direction, so arg(za)=θ\arg(z - a) = \theta gives a half-line. Inequalities give regions, which you shade.

An inequality such as zar|z - a| \le r shades the closed disc inside the circle, and combining two conditions picks out the points or arcs satisfying both.

Roots of unity and loci pull together the whole complex strand: de Moivre supplies the roots, and the Argand diagram turns algebraic conditions into geometry.

Try this

Q1. State the centre and radius of the locus z+12i=3|z + 1 - 2i| = 3. [2 marks]

  • Cue. Rewrite as z(1+2i)=3|z - (-1 + 2i)| = 3: centre (1,2)(-1, 2), radius 33.

Q2. How many distinct fifth roots does a non-zero complex number have, and how are they arranged? [2 marks]

  • Cue. Five roots, equally spaced 2π5\tfrac{2\pi}{5} apart on a circle, forming a regular pentagon.

Exam-style practice questions

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

OCR 20186 marksFind the three cube roots of 8i8i, giving your answers in the form reiθre^{i\theta}, and state what they look like on an Argand diagram.
Show worked answer →

Write 8i8i in modulus-argument form (M1): 8i=8eiπ/28i = 8\,e^{i\pi/2}, and include all coterminal arguments π2+2πk\dfrac{\pi}{2} + 2\pi k.

Take cube roots: modulus 81/3=28^{1/3} = 2, arguments 13(π2+2πk)=π6+2πk3\dfrac{1}{3}\left(\dfrac{\pi}{2} + 2\pi k\right) = \dfrac{\pi}{6} + \dfrac{2\pi k}{3} for k=0,1,2k = 0, 1, 2 (M1, A1).

The roots are 2eiπ/62e^{i\pi/6}, 2ei5π/62e^{i 5\pi/6} and 2ei3π/22e^{i 3\pi/2} (equivalently 2eiπ/22e^{-i\pi/2}) (A1, A1).

On an Argand diagram they lie on a circle of radius 22, equally spaced 2π3\dfrac{2\pi}{3} apart, forming an equilateral triangle (A1).

Markers reward the modulus-argument form with the 2πk2\pi k terms, dividing modulus and argument, the three roots, and the geometric description.

OCR 20225 marksSketch on a single Argand diagram the locus of points satisfying z34i=5|z - 3 - 4i| = 5 and the locus satisfying arg(z1)=π4\arg(z - 1) = \dfrac{\pi}{4}, and describe each.
Show worked answer →

The first locus is z(3+4i)=5|z - (3 + 4i)| = 5, the set of points at distance 55 from the point 3+4i3 + 4i (M1): a circle, centre (3,4)(3, 4), radius 55 (A1). Note this circle passes through the origin since 3+4i=5|3 + 4i| = 5.

The second locus is arg(z1)=π4\arg(z - 1) = \dfrac{\pi}{4} (M1): a half-line (ray) starting at the point 11 (on the real axis), making an angle π4\dfrac{\pi}{4} with the positive real direction, with the start point z=1z = 1 excluded (A1).

A correct sketch shows the circle and the ray on the same axes (A1).

Markers reward identifying the circle's centre and radius, the half-line's start point and angle, the exclusion of the start point, and a labelled sketch.

Related dot points

Sources & how we know this