Maths

Complex numbers & polynomial roots

Edexcel Core Pure CP2, CP4.1-4.2

A-level Further Maths (9FM0) · exam-style practice, examiner-report intelligence and the tools that drill it.

Verified against Edexcel 9FM0 (2026 spec)

The topic on one screen

  • Why complex numbers matter: they make every non-constant polynomial factor completely. For a polynomial with real coefficients, any non-real root a+iba+ib forces the conjugate aiba-ib to be a root too (CP-2.1 to CP-2.3).
  • In Cartesian form, calculate with z=x+iyz=x+iy and use i2=1i^2=-1. For division, multiply top and bottom by the conjugate of the denominator. Worked example: 3+4i12i=(3+4i)(1+2i)5=1+2i\dfrac{3+4i}{1-2i}=\dfrac{(3+4i)(1+2i)}{5}=-1+2i (CP-2.2 to CP-2.3).
  • On an Argand diagram, x=Re(z)x=\operatorname{Re}(z) and y=Im(z)y=\operatorname{Im}(z). The modulus z=x2+y2|z|=\sqrt{x^2+y^2} is a distance; the argument is a directed angle. Use z=r(cosθ+isinθ)=reiθz=r(\cos\theta+i\sin\theta)=re^{i\theta}, with the quadrant checked before stating argz\arg z (CP-2.4 to CP-2.6 and CP-2.9).
  • Loci are geometry disguised as algebra: za=r|z-a|=r is a circle, za=zb|z-a|=|z-b| is a perpendicular bisector, and arg(za)=θ\arg(z-a)=\theta is a ray from aa. Strict inequalities exclude the boundary (CP-2.7).
  • De Moivre gives [r(cosθ+isinθ)]n=rn(cosnθ+isinnθ)[r(\cos\theta+i\sin\theta)]^n=r^n(\cos n\theta+i\sin n\theta). For θ2πZ\theta\notin2\pi\mathbb Z, start trigonometric sums from r=0n1eirθ=(1einθ)/(1eiθ)\sum_{r=0}^{n-1}e^{ir\theta}=(1-e^{in\theta})/(1-e^{i\theta}), then take real or imaginary parts; when θ2πZ\theta\in2\pi\mathbb Z, the sum is nn. Euler form is usually shortest for products, quotients and powers (CP-2.8 to CP-2.9).
  • For zn=reiθz^n=re^{i\theta}, take modulus r1/nr^{1/n} and arguments θ+2kπn\dfrac{\theta+2k\pi}{n} for k=0,1,,n1k=0,1,\ldots,n-1. Worked example: the fifth roots of 32eiπ32e^{i\pi} have modulus 22 and arguments (2k+1)π5\dfrac{(2k+1)\pi}{5}; they are vertices of a regular pentagon (CP-2.10).
  • For roots of unity, rotation by one vertex is multiplication by ω=e2πi/n\omega=e^{2\pi i/n}, and 1+ω++ωn1=01+\omega+\cdots+\omega^{n-1}=0. Use these algebraic facts to prove equal lengths, angles, centroids and other geometry of the regular nn-gon (CP-2.11).
  • For roots α,β,γ\alpha,\beta,\gamma of a monic cubic, compare coefficients: α=a\sum\alpha=-a, αβ=b\sum\alpha\beta=b, and αβγ=c\alpha\beta\gamma=-c. The signs alternate. To transform roots, write the old root in terms of the new one and substitute into the original polynomial (CP-4.1 to CP-4.2).
  • Worked example: if x33x+1=0x^3-3x+1=0 has roots α,β,γ\alpha,\beta,\gamma, put y=x+2y=x+2. Substituting x=y2x=y-2 gives y36y2+9y1=0y^3-6y^2+9y-1=0, whose roots are α+2,β+2,γ+2\alpha+2,\beta+2,\gamma+2.
  • Common errors: giving only one value of an argument, losing roots by using a calculator's principal root, forgetting a conjugate, reversing the transformation substitution, or drawing an Argand locus without an excluded endpoint.
  • Exam technique: show modulus and argument equations before listing roots; label every root on a diagram; and when asked to 'show', preserve the exact target form instead of replacing it with a decimal equivalent.

Where students actually lose marks

A complete roots answer needs all distinct arguments in a stated interval; one calculator value is not a complete solution.

Original 9FM0-style exam guidance

For a locus, translate the complex condition into a distance or angle before doing coordinate algebra; this usually exposes excluded points and boundaries.

Original 9FM0-style exam guidance

In roots-and-coefficients work, write the symmetric sum identities first. This prevents the alternating signs being guessed incorrectly.

Original 9FM0-style exam guidance

Try it — exam-style

Medium
6 marks
ORIGINAL

Solve z4=16iz^4=16i, giving the roots in exact exponential form. State the geometrical arrangement of the roots on an Argand diagram.

Medium
6 marks
ORIGINAL

Using de Moivre's theorem, show that cos4θ=8cos4θ8cos2θ+1\cos 4\theta=8\cos^4\theta-8\cos^2\theta+1.

Medium
6 marks
ORIGINAL

The roots of x36x2+11x6=0x^3-6x^2+11x-6=0 are α,β,γ\alpha,\beta,\gamma. Find a monic cubic whose roots are 2α1,2β1,2γ12\alpha-1,2\beta-1,2\gamma-1.

Hard
7 marks
ORIGINAL

The polynomial p(x)=x42x3+4x24x+4p(x)=x^4-2x^3+4x^2-4x+4 has real coefficients and 1+i1+i is a root. Solve p(x)=0p(x)=0 completely.

Medium
5 marks
ORIGINAL

The complex number zz satisfies z2=2|z-2|=2 and argz=π4\arg z=\dfrac{\pi}{4}. Find zz exactly, explaining why any rejected algebraic solution is invalid.

Medium
5 marks
ORIGINAL

Let ω=e2πi/3\omega=e^{2\pi i/3}. The points AA, BB and CC represent 11, ω\omega and ω2\omega^2. Prove that triangle ABCABC is equilateral and that its centroid is the origin.

Questions are written in the style of past Edexcel papers (source shown on each) — never copied from them.

Get the printable question packfree account

Drill it properly

Stuck on complex numbers & polynomial roots?

Complex-number questions reward a disciplined diagram and complete argument set; I teach both as one repeatable method.

Book a free intro call