EuraStudy
Notes/Further Mathematics/Complex numbers
Notes · Further MathematicsUK · A-Levels

Complex numbers

Complex numbers extend the real numbers by adjoining a square root of −1-1−1, and Further Mathematics develops their geometry on the Argand diagram in full. The central results are the modulus-argument and exponential forms, de Moivre's theorem (with its uses for trigonometric identities and roots), the roots of unity, and loci in the complex plane. Complex numbers tie together algebra, trigonometry and geometry, and reappear in the auxiliary equation of second-order differential equations.

5 sections·~15 min reading time·3 competencies·Level Standard 2 · Advanced 3

T·0222 / 13
Exam profile
AO1 · Perform complex arithmetic and convert accurately between Cartesian, modulus-argument and exponential formsAO2 · Prove de Moivre's theorem by induction and derive trigonometric identities from itAO3 · Interpret, sketch and use loci and regions in the Argand diagram to solve geometric problems
Operators:expressfindsolveproveshow thatsketchhencededuce

basic level

AS Further Mathematics covers complex arithmetic, the Argand diagram, modulus-argument form and simple loci such as ∣z−a∣=r|z-a|=r∣z−a∣=r.

higher level

The full A-Level adds de Moivre's theorem, the nnnth roots of a complex number and the roots of unity, exponential form, and the full range of loci including perpendicular bisectors and half-lines.

Depth

Reading depth: In depth

Text

Text size: Standard

Contents · 5 sections▾
  1. Complex numbers
    • 01Complex arithmetic and the Argand diagram◐
    • 02Modulus-argument and exponential form◐
    • 03de Moivre's theorem and its applications●
    • 04Roots of complex numbers and roots of unity●
    • 05Loci and regions in the Argand diagram●
§ 01

Complex arithmetic and the Argand diagram#

●●○StandardLPAQA 7367 §3.2LPDfE Further Mathematics — Complex numbers

Addition of complex numbers as vectors

z + w by the parallelogram lawGeometric figure, O, z = 3 + i, w = 1 + 2i, z + w = 4 + 3iOz = 3 + iw = 1 + 2iz + w = 4 +3iReIm
Fig. 1The sum z+wz+wz+w is the diagonal of the parallelogram built on the position vectors of zzz and www.

Key points

A complex number is written z=a+biz = a + b\mathrm{i}z=a+bi, where a=Re⁡(z)a = \operatorname{Re}(z)a=Re(z) is the real part, b=Im⁡(z)b = \operatorname{Im}(z)b=Im(z) is the imaginary part, and i\mathrm{i}i satisfies i2=−1\mathrm{i}^2 = -1i2=−1. Addition and subtraction act componentwise, and multiplication is carried out by expanding and using i2=−1\mathrm{i}^2 = -1i2=−1: (a+bi)(c+di)=(ac−bd)+(ad+bc)i(a+b\mathrm{i})(c+d\mathrm{i}) = (ac-bd) + (ad+bc)\mathrm{i}(a+bi)(c+di)=(ac−bd)+(ad+bc)i. Division is made real in the denominator by multiplying top and bottom by the conjugate, exactly as one rationalises a surd.
The complex conjugate zˉ=a−bi\bar z = a - b\mathrm{i}zˉ=a−bi is fundamental. It satisfies zzˉ=a2+b2z\bar z = a^2 + b^2zzˉ=a2+b2, a non-negative real number, which is what makes division work: 1z=zˉzzˉ=a−bia2+b2\dfrac{1}{z} = \dfrac{\bar z}{z\bar z} = \dfrac{a - b\mathrm{i}}{a^2+b^2}z1​=zzˉzˉ​=a2+b2a−bi​. The conjugate also respects the arithmetic operations — z+w‾=zˉ+wˉ\overline{z+w} = \bar z + \bar wz+w​=zˉ+wˉ and zw‾=zˉ wˉ\overline{zw} = \bar z\,\bar wzw=zˉwˉ — and a number is real precisely when z=zˉz = \bar zz=zˉ. A key consequence, used when solving polynomials, is that the non-real roots of a polynomial with real coefficients occur in conjugate pairs.
The Argand diagram represents z=a+biz = a + b\mathrm{i}z=a+bi as the point (a,b)(a, b)(a,b), with the horizontal axis carrying the real part and the vertical axis the imaginary part. Crucially, zzz can equally be pictured as the position vector from the origin to that point, and this is why complex-number geometry is so powerful: addition of complex numbers is exactly vector addition, obeying the parallelogram law, and z−wz - wz−w is the vector that points from www to zzz.
Reading geometry off the diagram is a core skill. The distance of zzz from the origin is a2+b2\sqrt{a^2+b^2}a2+b2​, and the distance between two complex numbers zzz and www is ∣z−w∣|z - w|∣z−w∣. This single fact — that ∣z−w∣|z-w|∣z−w∣ is the distance between the points — underlies every locus later in the topic. Conjugation is reflection in the real axis, and multiplication by −1-1−1 is a half-turn about the origin, so even elementary operations have clean geometric meanings.
zzˉ=(a+bi)(a−bi)=a2+b2=∣z∣2z\bar z = (a+b\mathrm{i})(a-b\mathrm{i}) = a^2 + b^2 = |z|^2zzˉ=(a+bi)(a−bi)=a2+b2=∣z∣2

Conjugate product

Multiplying by the conjugate gives a non-negative real number, the square of the modulus; this makes division possible.

zw=z wˉw wˉ=z wˉ∣w∣2\frac{z}{w} = \frac{z\,\bar w}{w\,\bar w} = \frac{z\,\bar w}{|w|^2}wz​=wwˉzwˉ​=∣w∣2zwˉ​

Division by the conjugate

Multiply numerator and denominator by wˉ\bar wwˉ to make the denominator real.

Worked example

Division and a conjugate root

(a) Express 5+5i3−4i\dfrac{5 + 5\mathrm{i}}{3 - 4\mathrm{i}}3−4i5+5i​ in the form a+bia + b\mathrm{i}a+bi. (b) Given that 2−i2 - \mathrm{i}2−i is a root of z2+pz+q=0z^2 + pz + q = 0z2+pz+q=0 with p,qp, qp,q real, find ppp and qqq.

  1. 01Multiply by the conjugate

    5+5i3−4i⋅3+4i3+4i=(5+5i)(3+4i)9+16\dfrac{5+5\mathrm{i}}{3-4\mathrm{i}}\cdot\dfrac{3+4\mathrm{i}}{3+4\mathrm{i}} = \dfrac{(5+5\mathrm{i})(3+4\mathrm{i})}{9+16}3−4i5+5i​⋅3+4i3+4i​=9+16(5+5i)(3+4i)​.

  2. 02Expand the numerator

    (5+5i)(3+4i)=15+20i+15i+20i2=15+35i−20=−5+35i(5+5\mathrm{i})(3+4\mathrm{i}) = 15 + 20\mathrm{i} + 15\mathrm{i} + 20\mathrm{i}^2 = 15 + 35\mathrm{i} - 20 = -5 + 35\mathrm{i}(5+5i)(3+4i)=15+20i+15i+20i2=15+35i−20=−5+35i.

    5+5i3−4i=−5+35i25=−15+75i\frac{5+5\mathrm{i}}{3-4\mathrm{i}} = \frac{-5+35\mathrm{i}}{25} = -\tfrac{1}{5} + \tfrac{7}{5}\mathrm{i}3−4i5+5i​=25−5+35i​=−51​+57​i
  3. 03Use the conjugate root

    Since the coefficients are real, the other root is 2−i‾=2+i\overline{2-\mathrm{i}} = 2+\mathrm{i}2−i​=2+i. Sum of roots =(2−i)+(2+i)=4=−p=(2-\mathrm{i})+(2+\mathrm{i}) = 4 = -p=(2−i)+(2+i)=4=−p, so p=−4p=-4p=−4.

  4. 04Find q

    Product of roots =(2−i)(2+i)=4−i2=5=q=(2-\mathrm{i})(2+\mathrm{i}) = 4 - \mathrm{i}^2 = 5 = q=(2−i)(2+i)=4−i2=5=q.

Result: (a) −15+75i-\tfrac{1}{5} + \tfrac{7}{5}\mathrm{i}−51​+57​i; (b) p=−4p = -4p=−4, q=5q = 5q=5.

Exam focus

  • Divide complex numbers by multiplying by the conjugate of the denominator; leave the answer in the form a+bia+b\mathrm{i}a+bi with a,ba,ba,b exact.
  • Use the conjugate-root property: given one non-real root of a real polynomial, write down its conjugate immediately and use the factor theorem.

Typical mistakes

  • Sign slips with i2=−1\mathrm{i}^2 = -1i2=−1, especially forgetting the sign change when squaring the imaginary part.
  • Assuming complex roots come in conjugate pairs even when the polynomial has non-real coefficients — the property requires real coefficients.

Active revision

Given z=3+iz = 3 + \mathrm{i}z=3+i and w=1+2iw = 1 + 2\mathrm{i}w=1+2i, find z+wz+wz+w, zwzwzw and zw\dfrac{z}{w}wz​ in the form a+bia + b\mathrm{i}a+bi, and mark zzz, www and z+wz+wz+w on an Argand diagram.

Active recall

Recall the key points — then reveal.

Sources: Further mathematics: AS and A level content (GCE subject content) (Department for Education)

§ 02

Modulus-argument and exponential form#

●●○StandardLPAQA 7367 §3.2LPDfE Further Mathematics — Complex numbers

Modulus and argument of z = 1 + √3 i

|z| = 2, arg z = pi/3Geometric figure, O, z = 1 + √3 i, |z| = 2Oz = 1 + √3 iReIm, z, = 2arg z = π/3
Fig. 2The modulus is the length of the position vector; the argument is the angle it makes with the positive real axis.

Key points

The modulus ∣z∣=r=a2+b2|z| = r = \sqrt{a^2+b^2}∣z∣=r=a2+b2​ is the distance of zzz from the origin, and the argument arg⁡z=θ\arg z = \thetaargz=θ is the angle the position vector makes with the positive real axis, measured anticlockwise and conventionally taken in the principal range −π<θ≤π-\pi < \theta \leq \pi−π<θ≤π. Then a=rcos⁡θa = r\cos\thetaa=rcosθ and b=rsin⁡θb = r\sin\thetab=rsinθ, giving the modulus-argument form z=r(cos⁡θ+isin⁡θ)z = r(\cos\theta + \mathrm{i}\sin\theta)z=r(cosθ+isinθ), often abbreviated r cis⁡θr\,\operatorname{cis}\thetarcisθ.
Finding the argument demands care over the quadrant. The equation tan⁡θ=b/a\tan\theta = b/atanθ=b/a has two solutions in a full turn, so you must use the signs of aaa and bbb to place zzz in the correct quadrant rather than blindly taking arctan⁡(b/a)\arctan(b/a)arctan(b/a). For example z=−1+iz = -1 + \mathrm{i}z=−1+i has tan⁡θ=−1\tan\theta = -1tanθ=−1 but lies in the second quadrant, so arg⁡z=3π4\arg z = \tfrac{3\pi}{4}argz=43π​, not −π4-\tfrac{\pi}{4}−4π​. Sketching zzz before computing the argument prevents almost all such errors.
Modulus-argument form turns multiplication into a rotation-and-scaling. Multiplying two complex numbers multiplies their moduli and adds their arguments; dividing divides the moduli and subtracts the arguments. Thus ∣zw∣=∣z∣∣w∣|zw| = |z||w|∣zw∣=∣z∣∣w∣ and arg⁡(zw)=arg⁡z+arg⁡w\arg(zw) = \arg z + \arg warg(zw)=argz+argw. Geometrically, multiplying by z=rcis⁡θz = r\operatorname{cis}\thetaz=rcisθ enlarges by factor rrr and rotates by angle θ\thetaθ about the origin — a fact used constantly with de Moivre's theorem and with transformations.
Euler's relation eiθ=cos⁡θ+isin⁡θ\mathrm{e}^{\mathrm{i}\theta} = \cos\theta + \mathrm{i}\sin\thetaeiθ=cosθ+isinθ packages this compactly: z=reiθz = r\mathrm{e}^{\mathrm{i}\theta}z=reiθ is the exponential form. It makes the multiplication rule transparent, since r1eiθ1⋅r2eiθ2=r1r2 ei(θ1+θ2)r_1\mathrm{e}^{\mathrm{i}\theta_1}\cdot r_2\mathrm{e}^{\mathrm{i}\theta_2} = r_1 r_2\,\mathrm{e}^{\mathrm{i}(\theta_1+\theta_2)}r1​eiθ1​⋅r2​eiθ2​=r1​r2​ei(θ1​+θ2​) by the ordinary law of indices. The special case eiπ=−1\mathrm{e}^{\mathrm{i}\pi} = -1eiπ=−1 (Euler's identity) links the five most important constants of mathematics in a single equation.
z=r(cos⁡θ+isin⁡θ)=r eiθ,r=∣z∣, θ=arg⁡zz = r(\cos\theta + \mathrm{i}\sin\theta) = r\,\mathrm{e}^{\mathrm{i}\theta}, \qquad r = |z|,\ \theta = \arg zz=r(cosθ+isinθ)=reiθ,r=∣z∣, θ=argz

Modulus-argument and exponential forms

The same number in three equivalent forms; rrr is the distance from the origin and θ\thetaθ the angle to the positive real axis.

∣z1z2∣=∣z1∣∣z2∣,arg⁡(z1z2)=arg⁡z1+arg⁡z2|z_1 z_2| = |z_1||z_2|, \qquad \arg(z_1 z_2) = \arg z_1 + \arg z_2∣z1​z2​∣=∣z1​∣∣z2​∣,arg(z1​z2​)=argz1​+argz2​

Multiplication rule

Multiplication multiplies moduli and adds arguments — a rotation combined with an enlargement.

Worked example

Cartesian to modulus-argument, then multiply

Write z=1+3 iz = 1 + \sqrt{3}\,\mathrm{i}z=1+3​i in modulus-argument form and hence evaluate z4z^4z4, giving the answer in Cartesian form.

  1. 01Modulus

    ∣z∣=12+(3)2=1+3=2|z| = \sqrt{1^2 + (\sqrt3)^2} = \sqrt{1+3} = 2∣z∣=12+(3​)2​=1+3​=2.

  2. 02Argument

    zzz is in the first quadrant with tan⁡θ=3/1=3\tan\theta = \sqrt3/1 = \sqrt3tanθ=3​/1=3​, so θ=π3\theta = \tfrac{\pi}{3}θ=3π​. Hence z=2cis⁡π3z = 2\operatorname{cis}\tfrac{\pi}{3}z=2cis3π​.

  3. 03Raise to the 4th power

    By de Moivre, z4=24cis⁡4π3=16cis⁡4π3z^4 = 2^4\operatorname{cis}\tfrac{4\pi}{3} = 16\operatorname{cis}\tfrac{4\pi}{3}z4=24cis34π​=16cis34π​.

    z4=16(cos⁡4π3+isin⁡4π3)z^4 = 16\left(\cos\tfrac{4\pi}{3} + \mathrm{i}\sin\tfrac{4\pi}{3}\right)z4=16(cos34π​+isin34π​)
  4. 04Convert back

    cos⁡4π3=−12\cos\tfrac{4\pi}{3} = -\tfrac12cos34π​=−21​, sin⁡4π3=−32\sin\tfrac{4\pi}{3} = -\tfrac{\sqrt3}{2}sin34π​=−23​​, so z4=16(−12−32i)=−8−83 iz^4 = 16\left(-\tfrac12 - \tfrac{\sqrt3}{2}\mathrm{i}\right) = -8 - 8\sqrt3\,\mathrm{i}z4=16(−21​−23​​i)=−8−83​i.

Result: z=2cis⁡π3z = 2\operatorname{cis}\tfrac{\pi}{3}z=2cis3π​ and z4=−8−83 iz^4 = -8 - 8\sqrt3\,\mathrm{i}z4=−8−83​i.

Exam focus

  • Always determine the argument from a sketch and the signs of the real and imaginary parts, giving it in the principal range unless told otherwise.
  • Use arg⁡(zw)=arg⁡z+arg⁡w\arg(zw)=\arg z + \arg warg(zw)=argz+argw and ∣zw∣=∣z∣∣w∣|zw|=|z||w|∣zw∣=∣z∣∣w∣ to combine numbers quickly rather than multiplying out in Cartesian form.

Typical mistakes

  • Taking arg⁡z=arctan⁡(b/a)\arg z = \arctan(b/a)argz=arctan(b/a) without adjusting for the quadrant, giving an argument that is out by π\piπ.
  • Giving an argument outside the principal range (−π,π](-\pi, \pi](−π,π] when the principal value is required.

Active revision

Express z=−3+iz = -\sqrt{3} + \mathrm{i}z=−3​+i in the form r(cos⁡θ+isin⁡θ)r(\cos\theta + \mathrm{i}\sin\theta)r(cosθ+isinθ) with θ\thetaθ in the principal range, and hence write down z2z^2z2 in modulus-argument form.

Active recall

Recall the key points — then reveal.

Sources: AQA A-level Further Mathematics 7367 specification (AQA)

§ 03

de Moivre's theorem and its applications#

●●●AdvancedLPAQA 7367 §3.2LPDfE Further Mathematics — Complex numbers

Powers of z rotate around the unit circle

z, z^2, z^3, z^4 for z = cis 30 degreesGeometric figure, O, z, z², z³, z⁴Ozz²z³z⁴ReIm
Fig. 3With z=cis⁡30∘z = \operatorname{cis}30^{\circ}z=cis30∘, each successive power rotates a further 30∘30^{\circ}30∘ and stays on the unit circle.

Key points

de Moivre's theorem states that (cos⁡θ+isin⁡θ)n=cos⁡nθ+isin⁡nθ(\cos\theta + \mathrm{i}\sin\theta)^n = \cos n\theta + \mathrm{i}\sin n\theta(cosθ+isinθ)n=cosnθ+isinnθ for every integer nnn. In exponential form it is nothing more than the index law (eiθ)n=einθ(\mathrm{e}^{\mathrm{i}\theta})^n = \mathrm{e}^{\mathrm{i}n\theta}(eiθ)n=einθ, but the trigonometric statement is where its power lies: raising to a power multiplies the argument by nnn while raising the modulus to the nnnth power.
For a positive integer nnn the theorem is proved by induction. The base case n=1n=1n=1 is immediate. Assuming (cos⁡θ+isin⁡θ)k=cos⁡kθ+isin⁡kθ(\cos\theta+\mathrm{i}\sin\theta)^k = \cos k\theta + \mathrm{i}\sin k\theta(cosθ+isinθ)k=coskθ+isinkθ, multiply both sides by (cos⁡θ+isin⁡θ)(\cos\theta+\mathrm{i}\sin\theta)(cosθ+isinθ) and expand; collecting real and imaginary parts and using the compound-angle formulae gives cos⁡(k+1)θ+isin⁡(k+1)θ\cos(k+1)\theta + \mathrm{i}\sin(k+1)\thetacos(k+1)θ+isin(k+1)θ, completing the step. The result then extends to negative integers using z−1=zˉ/∣z∣2z^{-1} = \bar z/|z|^2z−1=zˉ/∣z∣2 and to n=0n=0n=0 trivially.
A principal application is deriving multiple-angle identities. Expanding (cos⁡θ+isin⁡θ)n(\cos\theta + \mathrm{i}\sin\theta)^n(cosθ+isinθ)n by the binomial theorem and equating it to cos⁡nθ+isin⁡nθ\cos n\theta + \mathrm{i}\sin n\thetacosnθ+isinnθ lets you read off cos⁡nθ\cos n\thetacosnθ from the real part and sin⁡nθ\sin n\thetasinnθ from the imaginary part. For instance cos⁡3θ=cos⁡3θ−3cos⁡θsin⁡2θ=4cos⁡3θ−3cos⁡θ\cos 3\theta = \cos^3\theta - 3\cos\theta\sin^2\theta = 4\cos^3\theta - 3\cos\thetacos3θ=cos3θ−3cosθsin2θ=4cos3θ−3cosθ, a result that would be tedious to obtain from the compound-angle formulae alone.
The reverse direction is equally useful: writing z=eiθz = \mathrm{e}^{\mathrm{i}\theta}z=eiθ gives z+z−1=2cos⁡θz + z^{-1} = 2\cos\thetaz+z−1=2cosθ and z−z−1=2isin⁡θz - z^{-1} = 2\mathrm{i}\sin\thetaz−z−1=2isinθ, and more generally zn+z−n=2cos⁡nθz^n + z^{-n} = 2\cos n\thetazn+z−n=2cosnθ. These let you express powers such as cos⁡4θ\cos^4\thetacos4θ or sin⁡5θ\sin^5\thetasin5θ as sums of multiple angles — exactly the form needed to integrate them. de Moivre therefore connects the algebra of complex numbers to the whole of trigonometry and, through it, to integration.
(cos⁡θ+isin⁡θ)n=cos⁡nθ+isin⁡nθ(\cos\theta + \mathrm{i}\sin\theta)^n = \cos n\theta + \mathrm{i}\sin n\theta(cosθ+isinθ)n=cosnθ+isinnθ

de Moivre's theorem

Raising to the power nnn multiplies the argument by nnn; valid for all integers nnn.

zn+1zn=2cos⁡nθ,zn−1zn=2isin⁡nθ(z=eiθ)z^n + \frac{1}{z^n} = 2\cos n\theta, \qquad z^n - \frac{1}{z^n} = 2\mathrm{i}\sin n\theta \quad (z = \mathrm{e}^{\mathrm{i}\theta})zn+zn1​=2cosnθ,zn−zn1​=2isinnθ(z=eiθ)

Powers to multiple angles

The tool for linearising powers of sine and cosine before integrating.

Worked example

Deriving cos 3θ

Use de Moivre's theorem to express cos⁡3θ\cos 3\thetacos3θ in terms of cos⁡θ\cos\thetacosθ.

  1. 01Apply de Moivre

    cos⁡3θ+isin⁡3θ=(cos⁡θ+isin⁡θ)3\cos 3\theta + \mathrm{i}\sin 3\theta = (\cos\theta + \mathrm{i}\sin\theta)^3cos3θ+isin3θ=(cosθ+isinθ)3.

  2. 02Binomial expansion

    (cos⁡θ+isin⁡θ)3=cos⁡3θ+3cos⁡2θ(isin⁡θ)+3cos⁡θ(isin⁡θ)2+(isin⁡θ)3(\cos\theta + \mathrm{i}\sin\theta)^3 = \cos^3\theta + 3\cos^2\theta(\mathrm{i}\sin\theta) + 3\cos\theta(\mathrm{i}\sin\theta)^2 + (\mathrm{i}\sin\theta)^3(cosθ+isinθ)3=cos3θ+3cos2θ(isinθ)+3cosθ(isinθ)2+(isinθ)3.

    =(cos⁡3θ−3cos⁡θsin⁡2θ)+i(3cos⁡2θsin⁡θ−sin⁡3θ)= (\cos^3\theta - 3\cos\theta\sin^2\theta) + \mathrm{i}(3\cos^2\theta\sin\theta - \sin^3\theta)=(cos3θ−3cosθsin2θ)+i(3cos2θsinθ−sin3θ)
  3. 03Equate real parts

    cos⁡3θ=cos⁡3θ−3cos⁡θsin⁡2θ\cos 3\theta = \cos^3\theta - 3\cos\theta\sin^2\thetacos3θ=cos3θ−3cosθsin2θ.

  4. 04Eliminate sin²θ

    Using sin⁡2θ=1−cos⁡2θ\sin^2\theta = 1 - \cos^2\thetasin2θ=1−cos2θ: cos⁡3θ=cos⁡3θ−3cos⁡θ(1−cos⁡2θ)=4cos⁡3θ−3cos⁡θ\cos 3\theta = \cos^3\theta - 3\cos\theta(1-\cos^2\theta) = 4\cos^3\theta - 3\cos\thetacos3θ=cos3θ−3cosθ(1−cos2θ)=4cos3θ−3cosθ.

Result: cos⁡3θ=4cos⁡3θ−3cos⁡θ\cos 3\theta = 4\cos^3\theta - 3\cos\thetacos3θ=4cos3θ−3cosθ.

Exam focus

  • Be able to prove de Moivre's theorem for positive integers by induction, showing the compound-angle step in full.
  • Use the binomial expansion of (cos⁡θ+isin⁡θ)n(\cos\theta+\mathrm{i}\sin\theta)^n(cosθ+isinθ)n to derive cos⁡nθ\cos n\thetacosnθ and sin⁡nθ\sin n\thetasinnθ, and the z+z−1z + z^{-1}z+z−1 method to linearise powers of cos⁡θ\cos\thetacosθ and sin⁡θ\sin\thetasinθ.

Typical mistakes

  • Sign errors when expanding powers of i\mathrm{i}i (recall i2=−1\mathrm{i}^2=-1i2=−1, i3=−i\mathrm{i}^3=-\mathrm{i}i3=−i, i4=1\mathrm{i}^4=1i4=1) in the binomial expansion.
  • Forgetting that sin⁡2θ=1−cos⁡2θ\sin^2\theta = 1 - \cos^2\thetasin2θ=1−cos2θ must be used to write cos⁡nθ\cos n\thetacosnθ purely in terms of cos⁡θ\cos\thetacosθ.

Active revision

Use de Moivre's theorem to show that sin⁡3θ=3sin⁡θ−4sin⁡3θ\sin 3\theta = 3\sin\theta - 4\sin^3\thetasin3θ=3sinθ−4sin3θ.

Active recall

Recall the key points — then reveal.

Sources: Further mathematics: AS and A level content (GCE subject content) (Department for Education)

§ 04

Roots of complex numbers and roots of unity#

●●●AdvancedLPAQA 7367 §3.2LPDfE Further Mathematics — Complex numbers

The cube roots of unity

Cube roots of unityGeometric figure, O, 1, ω, ω², regular triangleO1ωω²ReImregulartriangle
Fig. 4The three cube roots of unity sit at the vertices of an equilateral triangle on the unit circle, one at z=1z=1z=1.

Key points

Every non-zero complex number has exactly nnn distinct nnnth roots. To find them, write the number in modulus-argument form w=rcis⁡θw = r\operatorname{cis}\thetaw=rcisθ and add whole multiples of 2π2\pi2π to the argument before taking the root: the nnnth roots are r1/ncis⁡θ+2πknr^{1/n}\operatorname{cis}\dfrac{\theta + 2\pi k}{n}r1/ncisnθ+2πk​ for k=0,1,…,n−1k = 0, 1, \dots, n-1k=0,1,…,n−1. Because the argument increases by 2π/n2\pi/n2π/n from one root to the next, the roots have equal modulus r1/nr^{1/n}r1/n and equally spaced arguments.
Geometrically this means the nnnth roots lie at the vertices of a regular nnn-gon inscribed in a circle of radius r1/nr^{1/n}r1/n centred at the origin. Once you have found one root, the others are obtained simply by rotating it repeatedly through 2π/n2\pi/n2π/n. This symmetry is both a computational shortcut and a check: if your roots are not evenly spaced with equal modulus, something has gone wrong.
The nnnth roots of unity are the special case w=1w = 1w=1: they are 1,ω,ω2,…,ωn−11, \omega, \omega^2, \dots, \omega^{n-1}1,ω,ω2,…,ωn−1 where ω=cis⁡2πn\omega = \operatorname{cis}\dfrac{2\pi}{n}ω=cisn2π​. They form a regular nnn-gon on the unit circle with one vertex at 111. A key algebraic property is that they sum to zero for n≥2n \geq 2n≥2 — since they are the roots of zn−1=0z^n - 1 = 0zn−1=0, the sum of the roots equals minus the coefficient of zn−1z^{n-1}zn−1, which is 000 — a fact with a pleasing geometric reading as balanced vectors cancelling.
The roots of unity also form a multiplicative structure: multiplying any root of a number www by a root of unity gives another root of www, which is why finding all roots reduces to finding one and multiplying by 1,ω,…,ωn−11, \omega, \dots, \omega^{n-1}1,ω,…,ωn−1. For real coefficients the non-real roots still pair as conjugates, consistent with the nnn-gon being symmetric in the real axis. This blend of algebra (roots of a polynomial) and geometry (a regular polygon) is one of the most elegant results in the whole A-Level.
zk=r1/ncis⁡ ⁣(θ+2πkn),k=0,1,…,n−1z_k = r^{1/n}\operatorname{cis}\!\left(\frac{\theta + 2\pi k}{n}\right), \quad k = 0,1,\dots,n-1zk​=r1/ncis(nθ+2πk​),k=0,1,…,n−1

The n nth roots of r cis θ

Equal modulus r1/nr^{1/n}r1/n, arguments spaced by 2π/n2\pi/n2π/n: the vertices of a regular nnn-gon.

1+ω+ω2+⋯+ωn−1=0,ω=cis⁡2πn1 + \omega + \omega^2 + \cdots + \omega^{n-1} = 0, \qquad \omega = \operatorname{cis}\tfrac{2\pi}{n}1+ω+ω2+⋯+ωn−1=0,ω=cisn2π​

Sum of the n roots of unity

The roots of zn−1=0z^n-1=0zn−1=0 sum to zero for n≥2n\geq 2n≥2; the balanced vectors cancel.

Worked example

The cube roots of 8i

Solve z3=8iz^3 = 8\mathrm{i}z3=8i, giving each root in modulus-argument form.

  1. 01Write 8i in mod-arg form

    8i8\mathrm{i}8i has modulus 888 and argument π2\tfrac{\pi}{2}2π​, so 8i=8cis⁡ ⁣(π2+2πk)8\mathrm{i} = 8\operatorname{cis}\!\left(\tfrac{\pi}{2} + 2\pi k\right)8i=8cis(2π​+2πk).

  2. 02Take cube roots

    z=81/3cis⁡ ⁣(π/2+2πk3)=2cis⁡ ⁣(π6+2πk3)z = 8^{1/3}\operatorname{cis}\!\left(\dfrac{\pi/2 + 2\pi k}{3}\right) = 2\operatorname{cis}\!\left(\dfrac{\pi}{6} + \dfrac{2\pi k}{3}\right)z=81/3cis(3π/2+2πk​)=2cis(6π​+32πk​) for k=0,1,2k=0,1,2k=0,1,2.

    z=2cis⁡ ⁣(π6+2πk3)z = 2\operatorname{cis}\!\left(\tfrac{\pi}{6} + \tfrac{2\pi k}{3}\right)z=2cis(6π​+32πk​)
  3. 03List the roots

    k=0k=0k=0: 2cis⁡π62\operatorname{cis}\tfrac{\pi}{6}2cis6π​; k=1k=1k=1: 2cis⁡5π62\operatorname{cis}\tfrac{5\pi}{6}2cis65π​; k=2k=2k=2: 2cis⁡3π2=2cis⁡ ⁣(−π2)2\operatorname{cis}\tfrac{3\pi}{2} = 2\operatorname{cis}\!\left(-\tfrac{\pi}{2}\right)2cis23π​=2cis(−2π​).

  4. 04Interpret

    In Cartesian form these are 3+i\sqrt3 + \mathrm{i}3​+i, −3+i-\sqrt3 + \mathrm{i}−3​+i and −2i-2\mathrm{i}−2i — the vertices of an equilateral triangle of circumradius 222 centred at the origin.

Result: z=2cis⁡π6, 2cis⁡5π6, 2cis⁡ ⁣(−π2)z = 2\operatorname{cis}\tfrac{\pi}{6},\ 2\operatorname{cis}\tfrac{5\pi}{6},\ 2\operatorname{cis}\!\left(-\tfrac{\pi}{2}\right)z=2cis6π​, 2cis65π​, 2cis(−2π​); equally 3+i, −3+i, −2i\sqrt3+\mathrm{i},\ -\sqrt3+\mathrm{i},\ -2\mathrm{i}3​+i, −3​+i, −2i.

Exam focus

  • Present all nnn roots, each in modulus-argument form with arguments in the principal range, and note that they lie on a regular nnn-gon.
  • Use the equal spacing to write down the remaining roots once one is found, and check that the roots of unity sum to zero.

Typical mistakes

  • Producing fewer than nnn roots, or repeating a root, by not letting kkk run over a full set 0,1,…,n−10,1,\dots,n-10,1,…,n−1.
  • Leaving an argument outside the principal range, or forgetting to take the nnnth root of the modulus.

Active revision

Solve z3=8iz^3 = 8\mathrm{i}z3=8i, giving the three roots in the form rcis⁡θr\operatorname{cis}\thetarcisθ with θ\thetaθ in the principal range, and describe their geometric arrangement.

Active recall

Recall the key points — then reveal.

Sources: AQA A-level Further Mathematics 7367 specification (AQA)

§ 05

Loci and regions in the Argand diagram#

●●●AdvancedLPAQA 7367 §3.2LPDfE Further Mathematics — Complex numbers

A circle locus and a half-line locus

Loci: circle and half-lineGeometric figure, 2 + i, 1, arg(z−1) = π/4, |z − (2+i)| = 22 + i1arg(z−1) = π/4ReIm, z − (2+i), = 2
Fig. 5The circle is ∣z−(2+i)∣=2|z-(2+\mathrm{i})|=2∣z−(2+i)∣=2, centre 2+i2+\mathrm{i}2+i; the ray is arg⁡(z−1)=π4\arg(z-1)=\tfrac{\pi}{4}arg(z−1)=4π​, starting at 111 (excluded).

Key points

A locus in the Argand diagram is the set of points zzz satisfying a condition, and the key to sketching it is to read every modulus as a distance and every argument as a direction. Because ∣z−a∣|z - a|∣z−a∣ is the distance from zzz to the fixed point aaa, the equation ∣z−a∣=r|z - a| = r∣z−a∣=r describes all points a fixed distance rrr from aaa — a circle of radius rrr centred at aaa. The corresponding inequality ∣z−a∣≤r|z - a| \leq r∣z−a∣≤r shades the closed disc.
The condition ∣z−a∣=∣z−b∣|z - a| = |z - b|∣z−a∣=∣z−b∣ says zzz is equidistant from the two fixed points aaa and bbb, so the locus is the perpendicular bisector of the line segment joining aaa and bbb. This is a straight line, and it is best found geometrically (midpoint and perpendicular direction) rather than by grinding through the algebra, though squaring ∣z−a∣2=∣z−b∣2|z-a|^2 = |z-b|^2∣z−a∣2=∣z−b∣2 also yields the line if needed.
An argument condition arg⁡(z−a)=α\arg(z - a) = \alphaarg(z−a)=α fixes the direction from aaa to zzz, so the locus is a half-line (a ray) starting at aaa — but not including aaa itself, since arg⁡0\arg 0arg0 is undefined — and making angle α\alphaα with the positive real direction. Only the ray in the specified direction is included; the opposite ray, with argument α+π\alpha + \piα+π, is not. Marking the excluded endpoint with an open circle and drawing only the correct ray are both examined.
Harder problems combine conditions or ask for the point on a locus that is nearest to, or furthest from, the origin. Here the geometry pays off: the nearest point of a circle to the origin lies on the line from the origin through the centre, at distance ∣ centre ∣−r|\,\text{centre}\,| - r∣centre∣−r, and the greatest value of ∣z∣|z|∣z∣ on the circle is ∣ centre ∣+r|\,\text{centre}\,| + r∣centre∣+r. Solving such a problem by sketching the circle and the relevant line is far quicker and more reliable than a purely algebraic attack.
∣z−a∣=r (circle, centre a, radius r),∣z−a∣=∣z−b∣ (perpendicular bisector of a,b)|z - a| = r \ \text{(circle, centre } a,\ \text{radius } r), \qquad |z-a| = |z-b| \ \text{(perpendicular bisector of } a,b)∣z−a∣=r (circle, centre a, radius r),∣z−a∣=∣z−b∣ (perpendicular bisector of a,b)

Distance loci

Circle and perpendicular bisector — the two loci that come from modulus conditions.

arg⁡(z−a)=α (half-line from a, excluding a, at angle α)\arg(z - a) = \alpha \ \text{(half-line from } a,\ \text{excluding } a,\ \text{at angle } \alpha)arg(z−a)=α (half-line from a, excluding a, at angle α)

Argument locus

A ray, not a full line: only the direction α\alphaα from aaa is included.

Worked example

Greatest and least modulus on a circle

The complex number zzz satisfies ∣z−(3+4i)∣=2|z - (3 + 4\mathrm{i})| = 2∣z−(3+4i)∣=2. Find the greatest and least possible values of ∣z∣|z|∣z∣.

  1. 01Identify the circle

    The locus is a circle of radius 222 centred at the point c=3+4ic = 3 + 4\mathrm{i}c=3+4i.

  2. 02Distance of the centre from O

    ∣c∣=32+42=25=5|c| = \sqrt{3^2 + 4^2} = \sqrt{25} = 5∣c∣=32+42​=25​=5.

  3. 03Use the line through O and the centre

    The greatest and least distances from the origin to a point on the circle are ∣c∣+r|c| + r∣c∣+r and ∣c∣−r|c| - r∣c∣−r.

    ∣z∣max⁡=∣c∣+r=5+2=7,∣z∣min⁡=∣c∣−r=5−2=3|z|_{\max} = |c| + r = 5 + 2 = 7, \qquad |z|_{\min} = |c| - r = 5 - 2 = 3∣z∣max​=∣c∣+r=5+2=7,∣z∣min​=∣c∣−r=5−2=3
  4. 04State the answer

    So ∣z∣|z|∣z∣ ranges between 333 and 777, both achieved where the line OcOcOc meets the circle.

Result: Greatest ∣z∣=7|z| = 7∣z∣=7, least ∣z∣=3|z| = 3∣z∣=3.

Exam focus

  • Translate each modulus into a distance and each argument into a direction before sketching; label the centre, radius or endpoint clearly.
  • For half-lines, draw only the correct ray and exclude the starting point; for greatest/least ∣z∣|z|∣z∣ on a circle, use the line through the origin and the centre.

Typical mistakes

  • Drawing the whole line instead of a half-line for an arg⁡(z−a)=α\arg(z-a)=\alphaarg(z−a)=α condition, or including the excluded endpoint.
  • Misreading ∣z−a∣=r|z - a| = r∣z−a∣=r as a circle centred at the origin rather than at aaa, or taking the centre as −a-a−a with the wrong sign.

Active revision

Sketch on one Argand diagram the loci ∣z−(2+i)∣=2|z - (2 + \mathrm{i})| = 2∣z−(2+i)∣=2 and arg⁡(z−1)=π4\arg(z - 1) = \tfrac{\pi}{4}arg(z−1)=4π​, and describe each in words.

Active recall

Recall the key points — then reveal.

Sources: Further mathematics: AS and A level content (GCE subject content) (Department for Education)

Contents

Section -- / 05

    • 01Complex arithmetic and the Argand diagram◐
    • 02Modulus-argument and exponential form◐
    • 03de Moivre's theorem and its applications●
    • 04Roots of complex numbers and roots of unity●
    • 05Loci and regions in the Argand diagram●

0/5 Read

From notes into training

Complex numbers

Reinforce this topic with matching tasks from the question bank.

~15
min
3
Competencies
Practise

References & sources

Sources

Department for Education

  • Further mathematics: AS and A level content (GCE subject content)

AQA

  • AQA A-level Further Mathematics 7367 specification

Previous topic

Proof

Next topic

Matrices

EuraStudy·Notes T·02·MMXXVI

Carry on to the next topic — your learning path is kept.