Notes/Mathematics/Paper 3/Complex Numbers
CAIEA Level9709§3.9

Complex Numbers

Cartesian and polar form, the Argand diagram, what each operation does geometrically, conjugate-pair roots, square roots, and loci with their greatest and least values.

150 min read 8 sub-topics
117
question parts
2021–2025 · 37 papers
10 marks
per paper
≈ 13% of the paper
2.5/3
avg difficulty
demanding
#5
most examined
of 9 topics by marks

Along with vectors, this is the genuinely new topic on Paper 3 — it builds on nothing beyond quadratics, surds, trigonometry and coordinate geometry. Over 2021–2025 it carried 372372 marks across 3737 papers, about 1010 marks a paper, and 117117 question parts — more parts than any other Paper 3 topic, each worth about 33 marks.

The premise is a single invented number. x2=−1x^2 = -1 has no real solution, so define one:

i2=−1\mathrm{i}^2 = -1

Everything else follows from ordinary algebra plus that one rule. Numbers of the form x+iyx + \mathrm{i}y are complex numbers, and they turn out to be exactly what is needed to make every polynomial equation solvable — and, drawn as points on a plane, they turn multiplication into rotation and equations into circles and lines.

The bank shows how the marks spread (a part can carry more than one tag, so the rows overlap):

sub-topicpartsmarks
terminology: modulus, argument, conjugate45142
Cartesian arithmetic34139
loci41128
Argand diagram41122
conjugate-pair roots of polynomials1037
square roots735
multiplying and dividing in polar form1331
geometrical effects of the operations814

Two practical consequences. Arithmetic, modulus and argument are unavoidable — they appear inside nearly every question, so fluency there pays repeatedly. And loci are worth as much as anything else, almost always with a "greatest or least value" follow-up, despite being the part most often skipped in revision.

The note is built in that order: the arithmetic, then the Argand diagram and polar form, then what the operations do geometrically, then polynomial roots and square roots, and finally loci and the greatest and least values on them.

Before you start you should be able to
  • Solving quadratics with the formula, and the discriminant (see Quadratics)

  • Surds: simplifying 12=23\sqrt{12} = 2\sqrt3 and rationalising a denominator

  • Radians, exact values of sin⁡\sin, cos⁡\cos and tan⁡\tan at 16π\tfrac16\pi, 14π\tfrac14\pi, 13π\tfrac13\pi, and the compound-angle formulae (see the Paper 3 Trigonometry note)

  • Dividing a polynomial by a quadratic, or comparing coefficients (see the Paper 3 Algebra note)

  • Midpoints, gradients, perpendicular lines and the equation of a circle (see Coordinate Geometry)

By the end of this page you can
  • Add, subtract, multiply and divide complex numbers in the form x+iyx + \mathrm{i}y, showing full working

  • State the real part, imaginary part, modulus, argument and conjugate of a complex number

  • Equate real and imaginary parts to find unknown real constants and to solve equations involving zz and z∗z^*

  • Plot complex numbers on an Argand diagram and find the principal argument in every quadrant

  • Convert between x+iyx+\mathrm{i}y and r(cos⁡θ+isin⁡θ)=reiθr(\cos\theta + \mathrm{i}\sin\theta) = r\mathrm{e}^{\mathrm{i}\theta}

  • Multiply, divide and raise to powers in polar form, and use conditions such as "is real" or arg⁡w=14π\arg w = \tfrac14\pi

  • Describe the geometric effect of conjugating, adding, subtracting, multiplying and dividing, and use moduli and arguments to prove facts about triangles

  • Use the conjugate-pair property to solve a cubic or quartic with real coefficients, and solve quadratics with complex coefficients

  • Find the two square roots of a complex number in exact Cartesian form, or in polar form

  • Sketch circles, perpendicular bisectors and half-lines, shade regions from inequalities, and read inequalities off a given region

  • Find greatest and least values of ∣z∣|z|, arg⁡z\arg z and ∣z−w∣|z - w| on loci and regions

01

Complex numbers and Cartesian arithmetic

Syllabus requirement · §3.9

“

understand the idea of a complex number, recall the meaning of the terms real part, imaginary part, modulus, argument, conjugate, and use the fact that two complex numbers are equal if and only if both real and imaginary parts are equal; carry out operations of addition, subtraction, multiplication and division of two complex numbers expressed in Cartesian form x + iy. For calculations involving multiplication or division, full details of the working should be shown.

”

Where this comes from

You have met this problem before without being told it had a solution. Solve x2−4x+13=0x^2 - 4x + 13 = 0 with the quadratic formula and you get

x=4±16−522=4±−362x = \frac{4 \pm \sqrt{16-52}}{2} = \frac{4 \pm \sqrt{-36}}{2}

At AS you stopped here and wrote "no real roots", because no real number squares to give −36-36. Complex numbers pick the sentence up again. Invent a number whose square is −1-1 and call it i\mathrm{i}:

i2=−1so−1=i\mathrm{i}^2 = -1 \qquad\text{so}\qquad \sqrt{-1} = \mathrm{i}

Then −36=36×−1=6i\sqrt{-36} = \sqrt{36}\times\sqrt{-1} = 6\mathrm{i}, and the equation has the two roots

x=4±6i2=2±3ix = \frac{4 \pm 6\mathrm{i}}{2} = 2 \pm 3\mathrm{i}

That sounds like cheating, and it is worth saying clearly why it is not. Mathematics has done this before: negative numbers were invented so that 3−53-5 had an answer, and 2\sqrt2 so that x2=2x^2=2 did. Each time the test is the same — does the new number break any arithmetic? It does not. Every ordinary rule of algebra (expanding brackets, collecting like terms, factorising) still holds. The only new rule is: whenever i2\mathrm{i}^2 appears, replace it by −1-1.

The name "imaginary" is a historical insult that stuck. There is nothing less real about i\mathrm{i} than about −1-1.

The shape of a complex number

Because i2\mathrm{i}^2 can always be replaced by −1-1, no higher powers of i\mathrm{i} ever survive. Everything collapses to one real part plus one multiple of i\mathrm{i}:

z=x+iy,x and y both realz = x + \mathrm{i}y, \qquad x \text{ and } y \text{ both real}

This is called the Cartesian form of zz (the same word as Cartesian coordinates, and for the reason you will see in the Argand diagram section below: xx and yy will become coordinates).

  • xx is the real part, written Re⁡z\operatorname{Re}z.
  • yy is the imaginary part, written Im⁡z\operatorname{Im}z.

Read that second definition carefully, because it is the commonest slip in the topic: for z=3+2iz = 3+2\mathrm{i} the imaginary part is 2\mathbf{2}, not 2i2\mathrm{i}. Both Re⁡z\operatorname{Re}z and Im⁡z\operatorname{Im}z are ordinary real numbers.

Two special cases have names that questions use:

  • If y=0y = 0, the number is just real. So every real number is already a complex number — 5=5+0i5 = 5 + 0\mathrm{i}.
  • If x=0x = 0, the number is called purely imaginary, like 4i4\mathrm{i}. "Given that zz is purely imaginary" means "set Re⁡z=0\operatorname{Re}z = 0", and "given that zz is real" means "set Im⁡z=0\operatorname{Im}z = 0".

The letter zz is traditional for a complex number, just as xx is for a real one; ww, uu and vv are also common.

The powers of i go round in fours

Build them up one multiplication at a time:

i1=i,i2=−1,i3=i2×i=−i,i4=i2×i2=(−1)(−1)=1\mathrm{i}^1 = \mathrm{i}, \qquad \mathrm{i}^2 = -1, \qquad \mathrm{i}^3 = \mathrm{i}^2\times\mathrm{i} = -\mathrm{i}, \qquad \mathrm{i}^4 = \mathrm{i}^2\times\mathrm{i}^2 = (-1)(-1) = 1

After four the pattern repeats, because multiplying by i4=1\mathrm{i}^4 = 1 changes nothing. So to simplify a high power, divide the index by 44 and keep only the remainder: i11=i8×i3=1×(−i)=−i\mathrm{i}^{11} = \mathrm{i}^{8}\times\mathrm{i}^{3} = 1\times(-\mathrm{i}) = -\mathrm{i}.

This cycle is the first hint of the geometry later in the note: multiplying by i\mathrm{i} turns a number through a quarter turn, and four quarter turns bring it back to where it started.

Adding, subtracting and multiplying

Addition and subtraction work part by part — real with real, imaginary with imaginary — exactly like collecting like terms in xx and yy:

(3+2i)+(1−4i)=(3+1)+(2−4)i=4−2i(3+2\mathrm{i}) + (1-4\mathrm{i}) = (3+1) + (2-4)\mathrm{i} = 4 - 2\mathrm{i} (3+2i)−(1−4i)=(3−1)+(2−(−4))i=2+6i(3+2\mathrm{i}) - (1-4\mathrm{i}) = (3-1) + \big(2-(-4)\big)\mathrm{i} = 2 + 6\mathrm{i}

Multiplication is ordinary bracket expansion. Nothing is special until the i2\mathrm{i}^2 term appears, and then it is replaced by −1-1:

(3+2i)(1−4i)=3−12i+2i⏟three ordinary terms  −  8i2⏟−8×(−1) = +8=11−10i(3+2\mathrm{i})(1-4\mathrm{i}) = \underbrace{3 - 12\mathrm{i} + 2\mathrm{i}}_{\text{three ordinary terms}} \;\underbrace{-\; 8\mathrm{i}^2}_{-8\times(-1)\,=\,+8} = 11 - 10\mathrm{i}

Notice what the −8i2-8\mathrm{i}^2 did: it became +8+8 and moved into the real part. That migration — an imaginary times an imaginary landing in the real part — is the one genuinely new feature of complex multiplication, and it is where most sign errors come from. Write the i2\mathrm{i}^2 term out, then replace it, as two separate steps.

The four operations, and powers, on invented numbers

Given z=2−iz = 2 - \mathrm{i} and w=3+4iw = 3 + 4\mathrm{i}, find in the form x+iyx + \mathrm{i}y: (a) z+wz + w, (b) w−2zw - 2z, (c) zwzw, (d) z2z^2 and z3z^3.

Show full working
  1. 1

    (a) Add the real parts, then add the imaginary parts: z+w=(2+3)+(−1+4)i=5+3iz + w = (2 + 3) + (-1 + 4)\mathrm{i} = 5 + 3\mathrm{i}

  2. 2

    (b) First find 2z2z by multiplying both parts by 22: 2z=2(2−i)=4−2i2z = 2(2 - \mathrm{i}) = 4 - 2\mathrm{i}

    A real multiplier scales the real part and the imaginary part alike — the same as 2(x − y) = 2x − 2y.

  3. 3

    Now subtract part by part, taking care with the double negative in the imaginary part: w−2z=(3−4)+(4−(−2))i=−1+6iw - 2z = (3 - 4) + \big(4 - (-2)\big)\mathrm{i} = -1 + 6\mathrm{i}

  4. 4

    (c) Expand (2−i)(3+4i)(2 - \mathrm{i})(3 + 4\mathrm{i}) term by term, first times first, and so on: zw=2(3)+2(4i)+(−i)(3)+(−i)(4i)=6+8i−3i−4i2zw = 2(3) + 2(4\mathrm{i}) + (-\mathrm{i})(3) + (-\mathrm{i})(4\mathrm{i}) = 6 + 8\mathrm{i} - 3\mathrm{i} - 4\mathrm{i}^2

  5. 5

    Replace i2\mathrm{i}^2 by −1-1, so −4i2=−4(−1)=+4-4\mathrm{i}^2 = -4(-1) = +4: zw=6+8i−3i+4zw = 6 + 8\mathrm{i} - 3\mathrm{i} + 4

    This is the step examiners look for — the M1 for ‘use i² = −1’ is awarded on seeing it.

  6. 6

    Collect real and imaginary parts: zw=(6+4)+(8−3)i=10+5izw = (6 + 4) + (8 - 3)\mathrm{i} = 10 + 5\mathrm{i}

  7. 7

    (d) For z2z^2, expand (2−i)2(2 - \mathrm{i})^2 like (a−b)2=a2−2ab+b2(a - b)^2 = a^2 - 2ab + b^2: z2=22−2(2)(i)+i2=4−4i+i2=4−4i−1=3−4iz^2 = 2^2 - 2(2)(\mathrm{i}) + \mathrm{i}^2 = 4 - 4\mathrm{i} + \mathrm{i}^2 = 4 - 4\mathrm{i} - 1 = 3 - 4\mathrm{i}

  8. 8

    For z3z^3, do not start again — multiply the z2z^2 you already have by zz once more: z3=z2×z=(3−4i)(2−i)=6−3i−8i+4i2z^3 = z^2 \times z = (3 - 4\mathrm{i})(2 - \mathrm{i}) = 6 - 3\mathrm{i} - 8\mathrm{i} + 4\mathrm{i}^2

    Building powers one multiplication at a time keeps every line short. It is exactly how the mark schemes lay out z² and z³ when a root is substituted into a cubic.

  9. 9

    Replace 4i24\mathrm{i}^2 by −4-4 and collect: z3=6−4−11i=2−11iz^3 = 6 - 4 - 11\mathrm{i} = 2 - 11\mathrm{i}

Answer

(a) 5+3i5 + 3\mathrm{i} (b) −1+6i-1 + 6\mathrm{i} (c) 10+5i10 + 5\mathrm{i} (d) z2=3−4iz^2 = 3 - 4\mathrm{i},   z3=2−11i\;z^3 = 2 - 11\mathrm{i}

Powers of a complex number come up constantly — whenever a complex root is substituted into a cubic or quartic. Always build z³ as z² × z, and z⁴ as z² × z².

Equal means equal in both parts

Two complex numbers are equal if and only if their real parts are equal and their imaginary parts are equal:

a+ib=c+id⟺a=c   and   b=d(a,b,c,d real)a + \mathrm{i}b = c + \mathrm{i}d \quad\Longleftrightarrow\quad a = c \;\text{ and }\; b = d \qquad (a, b, c, d \text{ real})

Why must this be true? Rearranging gives a−c=i(d−b)a - c = \mathrm{i}(d - b). The left side is real. If d−bd - b were not zero, the right side would be a non-zero multiple of i\mathrm{i}, and no real number squares to a negative — so d−b=0d - b = 0, and then a−c=0a - c = 0 as well.

This single fact turns one complex equation into two real equations. It is the engine behind unknown-constant problems, equations involving z∗z^*, square roots and much else. Whenever a question contains unknown real numbers, equating real and imaginary parts is almost always the intended route.

Equating parts to find two real unknowns

Find the real numbers xx and yy such that (x+iy)(1+2i)=7+4i(x + \mathrm{i}y)(1 + 2\mathrm{i}) = 7 + 4\mathrm{i}.

Show full working
  1. 1

    Expand the left side as an ordinary product: (x+iy)(1+2i)=x+2ix+iy+2i2y(x + \mathrm{i}y)(1 + 2\mathrm{i}) = x + 2\mathrm{i}x + \mathrm{i}y + 2\mathrm{i}^2y

  2. 2

    Replace i2\mathrm{i}^2 by −1-1, so 2i2y=−2y2\mathrm{i}^2y = -2y, and group into real part plus imaginary part: (x−2y)+i(2x+y)(x - 2y) + \mathrm{i}(2x + y)

    Group before equating. Every term without an i goes in the first bracket; every term with an i goes in the second.

  3. 3

    The equation now reads (x−2y)+i(2x+y)=7+4i(x - 2y) + \mathrm{i}(2x + y) = 7 + 4\mathrm{i}. Equate real parts and equate imaginary parts: x−2y=7and2x+y=4x - 2y = 7 \qquad\text{and}\qquad 2x + y = 4

  4. 4

    Solve the pair. Double the second equation, 4x+2y=84x + 2y = 8, and add it to the first to eliminate yy: 5x=15  ⟹  x=35x = 15 \;\Longrightarrow\; x = 3

  5. 5

    Substitute back into 2x+y=42x + y = 4: 6+y=4  ⟹  y=−26 + y = 4 \;\Longrightarrow\; y = -2

  6. 6

    Check by multiplying out: (3−2i)(1+2i)=3+6i−2i−4i2=3+4i+4=7+4i(3 - 2\mathrm{i})(1 + 2\mathrm{i}) = 3 + 6\mathrm{i} - 2\mathrm{i} - 4\mathrm{i}^2 = 3 + 4\mathrm{i} + 4 = 7 + 4\mathrm{i} ✓

Answer

x=3x = 3, y=−2y = -2

One complex equation = two real equations. Once you have written the left side as (real) + i(real), the rest is GCSE simultaneous equations.

The conjugate, and why it makes division possible

Division is the one operation with no obvious meaning. 4+7i2+3i\dfrac{4+7\mathrm{i}}{2+3\mathrm{i}} is not in the form x+iyx+\mathrm{i}y, and there is no way to read off its real part while an i\mathrm{i} sits in the denominator.

The complex conjugate solves this. The conjugate of z=x+iyz = x+\mathrm{i}y is written z∗z^* and is the same number with the sign of the imaginary part flipped:

z=x+iy⟹z∗=x−iyz = x + \mathrm{i}y \qquad\Longrightarrow\qquad z^* = x - \mathrm{i}y

So (3+2i)∗=3−2i(3 + 2\mathrm{i})^* = 3 - 2\mathrm{i}, (−1−5i)∗=−1+5i(-1 - 5\mathrm{i})^* = -1 + 5\mathrm{i}, and a real number is its own conjugate. The crucial property is that a number times its own conjugate is real:

zz∗=(x+iy)(x−iy)=x2−ixy+ixy−i2y2z z^* = (x+\mathrm{i}y)(x-\mathrm{i}y) = x^2 - \mathrm{i}xy + \mathrm{i}xy - \mathrm{i}^2y^2

The two middle terms cancel, and −i2y2=−(−1)y2=+y2-\mathrm{i}^2y^2 = -(-1)y^2 = +y^2, leaving

zz∗=x2+y2z z^* = x^2+y^2

It is the difference of two squares, (x+iy)(x−iy)=x2−(iy)2(x+\mathrm{i}y)(x-\mathrm{i}y) = x^2 - (\mathrm{i}y)^2, with the minus sign turned into a plus by i2=−1\mathrm{i}^2 = -1.

So to divide: multiply the top and the bottom by the conjugate of the bottom. That multiplies the fraction by 11, so its value is unchanged, but the denominator becomes real and the fraction can then be split into its two parts.

Dividing, step by step
  1. 1

    Write down the conjugate of the denominator. For 4+7i2+3i\dfrac{4+7\mathrm{i}}{2+3\mathrm{i}} the denominator is 2+3i2+3\mathrm{i}, so its conjugate is 2−3i2-3\mathrm{i}.

    The conjugate of the denominator, never of the numerator — the aim is to make the bottom real.

  2. 2

    Multiply top and bottom by it: 4+7i2+3i×2−3i2−3i\frac{4+7\mathrm{i}}{2+3\mathrm{i}} \times \frac{2-3\mathrm{i}}{2-3\mathrm{i}}

    (2 − 3i)/(2 − 3i) equals 1, so the value is unchanged — only its appearance changes.

  3. 3

    Expand the denominator first — it must come out real: (2+3i)(2−3i)=22+32=13(2+3\mathrm{i})(2-3\mathrm{i}) = 2^2 + 3^2 = 13

    A number times its conjugate is always (real part)² + (imaginary part)². If an i survives here, you used the wrong conjugate.

  4. 4

    Expand the numerator as an ordinary product: (4+7i)(2−3i)=8−12i+14i−21i2(4+7\mathrm{i})(2-3\mathrm{i}) = 8 - 12\mathrm{i} + 14\mathrm{i} - 21\mathrm{i}^2

  5. 5

    Replace i2\mathrm{i}^2 by −1-1 and collect: 8+2i+21=29+2i8 + 2\mathrm{i} + 21 = 29 + 2\mathrm{i}

  6. 6

    Split into real and imaginary parts over the real denominator: 29+2i13=2913+213i\frac{29+2\mathrm{i}}{13} = \frac{29}{13} + \frac{2}{13}\mathrm{i}

    “In the form x + iy” means the answer must be split like this. One mark scheme gives A0 for an answer left as the single fraction (3 + 4i)/5.

You have done this before

The move is exactly rationalising a surd denominator, and for the same reason:

52+3×2−32−3=5(2−3)4−352+3i×2−3i2−3i=5(2−3i)4+9\frac{5}{2+\sqrt3} \times \frac{2-\sqrt3}{2-\sqrt3} = \frac{5(2-\sqrt3)}{4-3} \qquad\qquad \frac{5}{2+3\mathrm{i}} \times \frac{2-3\mathrm{i}}{2-3\mathrm{i}} = \frac{5(2-3\mathrm{i})}{4+9}

Both use a difference of two squares to clear the denominator. The only difference is that (3)2=+3\left(\sqrt3\right)^2 = +3 while (3i)2=9i2=−9\left(3\mathrm{i}\right)^2 = 9\mathrm{i}^2 = -9, which is why one denominator subtracts and the other adds.

Show the working

The syllabus says it outright: "For calculations involving multiplication or division, full details of the working should be shown."

A calculator will do complex arithmetic, and the mark schemes say it plainly: "Correct answer with no working scores 0/3." Write the conjugate you are multiplying by, the expanded numerator and the real denominator, every time.

Dividing when the numbers contain a letter

9709/31 O/N 2023 Q4(a)3 marks

The complex number uu is defined by u=3+2ia−5iu = \dfrac{3 + 2\mathrm{i}}{a - 5\mathrm{i}}, where aa is real.

Express uu in the Cartesian form x+iyx + \mathrm{i}y, where xx and yy are in terms of aa.

Show full working
  1. 1

    The denominator is a−5ia - 5\mathrm{i}. Its real part is aa and its imaginary part is −5-5, so its conjugate is a+5ia + 5\mathrm{i}. Multiply top and bottom by it: u=3+2ia−5i×a+5ia+5iu = \frac{3 + 2\mathrm{i}}{a - 5\mathrm{i}} \times \frac{a + 5\mathrm{i}}{a + 5\mathrm{i}}

    The letter a changes nothing: it is just a real number whose value you don't know yet, so it stays in the real part.

  2. 2

    Denominator: a number times its conjugate is (real part)2^2 + (imaginary part)2^2: (a−5i)(a+5i)=a2+25(a - 5\mathrm{i})(a + 5\mathrm{i}) = a^2 + 25

  3. 3

    Numerator: expand term by term: (3+2i)(a+5i)=3a+15i+2ai+10i2(3 + 2\mathrm{i})(a + 5\mathrm{i}) = 3a + 15\mathrm{i} + 2a\mathrm{i} + 10\mathrm{i}^2

  4. 4

    Replace 10i210\mathrm{i}^2 by −10-10, then put real terms together and i\mathrm{i} terms together: 3a−10+(15+2a)i3a - 10 + (15 + 2a)\mathrm{i}

  5. 5

    Divide each part by the real denominator: u=3a−10a2+25+2a+15a2+25 iu = \frac{3a - 10}{a^2 + 25} + \frac{2a + 15}{a^2 + 25}\,\mathrm{i}

    Now x = (3a − 10)/(a² + 25) and y = (2a + 15)/(a² + 25) can be read off — and a later part of this question uses exactly those two expressions.

Answer

u=3a−10a2+25+2a+15a2+25 iu = \dfrac{3a-10}{a^2+25} + \dfrac{2a+15}{a^2+25}\,\mathrm{i}

Bracket the imaginary part's coefficient when it has more than one term: (2a + 15)i, not 2a + 15i.

Equations in zz

An equation that contains zz but not z∗z^* can be solved exactly as in ordinary algebra: collect the zz terms, factorise, divide. The only complex step is the final division, done with the conjugate.

For example, to solve (2+i)z=7−i(2 + \mathrm{i})z = 7 - \mathrm{i}:

z=7−i2+i×2−i2−i=14−7i−2i+i24+1=13−9i5=135−95iz = \frac{7 - \mathrm{i}}{2 + \mathrm{i}} \times \frac{2 - \mathrm{i}}{2 - \mathrm{i}} = \frac{14 - 7\mathrm{i} - 2\mathrm{i} + \mathrm{i}^2}{4 + 1} = \frac{13 - 9\mathrm{i}}{5} = \frac{13}{5} - \frac{9}{5}\mathrm{i}

The alternative, which the mark schemes also accept, is to put z=x+iyz = x + \mathrm{i}y at the start and equate parts. That always works, but it creates two unknowns where one would do.

Two unknown real constants

9709/32 O/N 2023 Q87 marks

It is given that 2+3aia+2i=λ(2−i)\dfrac{2 + 3a\mathrm{i}}{a + 2\mathrm{i}} = \lambda(2 - \mathrm{i}), where aa and λ\lambda are real constants.

(a) Show that 3a2+4a−4=03a^2 + 4a - 4 = 0.

(b) Hence find the possible values of aa and the corresponding values of λ\lambda.

Show full working
  1. 1

    (a) Clear the fraction by multiplying both sides by a+2ia + 2\mathrm{i}: 2+3ai=λ(2−i)(a+2i)2 + 3a\mathrm{i} = \lambda(2 - \mathrm{i})(a + 2\mathrm{i})

    Cross-multiplying is quicker here than dividing by the conjugate, because it avoids a fraction on the left altogether.

  2. 2

    Expand the product of the two brackets on the right: (2−i)(a+2i)=2a+4i−ai−2i2(2 - \mathrm{i})(a + 2\mathrm{i}) = 2a + 4\mathrm{i} - a\mathrm{i} - 2\mathrm{i}^2

  3. 3

    Replace −2i2-2\mathrm{i}^2 by +2+2 and group: (2a+2)+(4−a)i(2a + 2) + (4 - a)\mathrm{i}

  4. 4

    So the equation is   2+3ai=λ(2a+2)+λ(4−a)i\;2 + 3a\mathrm{i} = \lambda(2a + 2) + \lambda(4 - a)\mathrm{i}. Both aa and λ\lambda are real, so equate real parts and equate imaginary parts: 2=λ(2a+2)and3a=λ(4−a)2 = \lambda(2a + 2) \qquad\text{and}\qquad 3a = \lambda(4 - a)

    λ and a are real, so λ(2a + 2) really is the whole real part of the right side, and λ(4 − a) the whole imaginary part.

  5. 5

    Eliminate λ\lambda. From the first equation: λ=22a+2=1a+1\lambda = \frac{2}{2a + 2} = \frac{1}{a + 1}

  6. 6

    Substitute into the second: 3a=4−aa+13a = \frac{4 - a}{a + 1}

  7. 7

    Multiply both sides by a+1a + 1: 3a(a+1)=4−a  ⟹  3a2+3a=4−a3a(a + 1) = 4 - a \;\Longrightarrow\; 3a^2 + 3a = 4 - a

  8. 8

    Bring everything to one side: 3a2+4a−4=0■3a^2 + 4a - 4 = 0 \quad\blacksquare

    A ‘show that’ is only complete when the given equation appears exactly, from correct working.

  9. 9

    (b) Factorise the quadratic (the product 3×(−4)=−123\times(-4) = -12 splits as 66 and −2-2): (3a−2)(a+2)=0  ⟹  a=23   or   a=−2(3a - 2)(a + 2) = 0 \;\Longrightarrow\; a = \tfrac23 \;\text{ or }\; a = -2

  10. 10

    Find each λ\lambda from λ=1a+1\lambda = \dfrac{1}{a + 1}. For a=23a = \tfrac23: λ=153=35\lambda = \frac{1}{\tfrac53} = \frac35

  11. 11

    For a=−2a = -2: λ=1−2+1=−1\lambda = \frac{1}{-2 + 1} = -1

Answer

(b) a=23, λ=35a = \tfrac23,\ \lambda = \tfrac35 or a=−2, λ=−1a = -2,\ \lambda = -1

Unknown real constants inside a complex equation: expand, write each side as (real) + i(real), equate parts, then solve the real simultaneous equations. The values must come in matching pairs.

Equations containing both zz and z∗z^*

A recurring Paper 3 question puts zz and z∗z^* in the same equation:

5z2−i−zz∗+20+8i=0\frac{5z}{2-\mathrm{i}} - zz^* + 20 + 8\mathrm{i} = 0

This cannot be solved by treating zz as a single unknown, because zz and z∗z^* are different numbers — you cannot collect them into one term or cancel one against the other. The only route is to go back to the two real unknowns: put z=x+iyz = x + \mathrm{i}y and z∗=x−iyz^* = x - \mathrm{i}y, and let equating parts give two real equations.

The step that keeps it manageable is recognising zz∗=x2+y2zz^* = x^2 + y^2, which is real. So a zz∗zz^* term only ever contributes to the real part.

Solving an equation involving z*
  1. 1

    Clear any fraction first — either multiply the whole equation by the denominator, or multiply that fraction top and bottom by the conjugate of its denominator.

    The mark scheme's first method mark is for exactly this, before any substitution.

  2. 2

    Substitute z=x+iyz = x+\mathrm{i}y and z∗=x−iyz^* = x - \mathrm{i}y everywhere, writing zz∗zz^* straight away as x2+y2x^2+y^2.

  3. 3

    Expand, replacing each i2\mathrm{i}^2 by −1-1, and gather everything into the form (real) + i + \,\mathrm{i}\,(real) =0= 0.

  4. 4

    Set the real part and the imaginary part to zero separately. You now have two real simultaneous equations.

  5. 5

    Solve them. Usually one equation is linear: rearrange it for one letter and substitute into the other.

    Substituting the linear equation into the quadratic one leaves a single quadratic in one variable.

  6. 6

    Give every solution in the form x+iyx+\mathrm{i}y — there are usually two — and apply any condition the question states (such as Re⁡z⩽0\operatorname{Re} z \leqslant 0).

An equation with z and z* together

9709/33 O/N 2025 Q76 marks

Solve the equation 5z2−i−zz∗+20+8i=0\dfrac{5z}{2-\mathrm{i}} - zz^* + 20 + 8\mathrm{i} = 0. Give your answers in the form x+iyx+\mathrm{i}y, where xx and yy are real.

Show full working
  1. 1

    Clear the fraction by multiplying it top and bottom by the conjugate of its denominator, 2+i2+\mathrm{i}: 5z2−i×2+i2+i=5z(2+i)(2−i)(2+i)\frac{5z}{2-\mathrm{i}}\times\frac{2+\mathrm{i}}{2+\mathrm{i}} = \frac{5z(2+\mathrm{i})}{(2-\mathrm{i})(2+\mathrm{i})}

  2. 2

    The denominator is 22+12=52^2 + 1^2 = 5, which cancels the 55 on top: 5z(2+i)5=z(2+i)\frac{5z(2+\mathrm{i})}{5} = z(2+\mathrm{i})

    The question is built so this cancels exactly — a useful check that the conjugate was right.

  3. 3

    The equation is now   z(2+i)−zz∗+20+8i=0\;z(2+\mathrm{i}) - zz^* + 20 + 8\mathrm{i} = 0. Substitute z=x+iyz = x+\mathrm{i}y into the first term and expand: (x+iy)(2+i)=2x+ix+2iy+i2y(x+\mathrm{i}y)(2+\mathrm{i}) = 2x + \mathrm{i}x + 2\mathrm{i}y + \mathrm{i}^2 y

  4. 4

    Replace i2y\mathrm{i}^2y by −y-y and group: (2x−y)+i(x+2y)(2x - y) + \mathrm{i}(x+2y)

  5. 5

    The middle term is zz∗=x2+y2zz^* = x^2+y^2, which is real. So the whole equation reads (2x−y)+i(x+2y)−(x2+y2)+20+8i=0(2x - y) + \mathrm{i}(x+2y) - (x^2 + y^2) + 20 + 8\mathrm{i} = 0

  6. 6

    Gather the real terms and the imaginary terms: (2x−y−x2−y2+20)+i(x+2y+8)=0\left(2x - y - x^2 - y^2 + 20\right) + \mathrm{i}\left(x + 2y + 8\right) = 0

  7. 7

    Equate both parts to zero: x+2y+8=0and2x−y−x2−y2+20=0x + 2y + 8 = 0 \qquad\text{and}\qquad 2x - y - x^2 - y^2 + 20 = 0

  8. 8

    The first is linear. Rearrange it for xx: x=−8−2yx = -8 - 2y

  9. 9

    Substitute into the second equation: 2(−8−2y)−y−(−8−2y)2−y2+20=02(-8-2y) - y - (-8-2y)^2 - y^2 + 20 = 0

  10. 10

    Expand each piece separately: 2(−8−2y)=−16−4y2(-8-2y) = -16 - 4y and (−8−2y)2=(8+2y)2=64+32y+4y2(-8-2y)^2 = (8 + 2y)^2 = 64 + 32y + 4y^2. So −16−4y−y−64−32y−4y2−y2+20=0-16 - 4y - y - 64 - 32y - 4y^2 - y^2 + 20 = 0

    (−8 − 2y)² is the same as (8 + 2y)², since squaring removes the overall minus sign. The minus in front of the bracket then applies to all three terms.

  11. 11

    Collect: y2y^2 terms −5y2-5y^2; yy terms −4y−y−32y=−37y-4y - y - 32y = -37y; constants −16−64+20=−60-16 - 64 + 20 = -60: −5y2−37y−60=0  ⟹  5y2+37y+60=0-5y^2 - 37y - 60 = 0 \;\Longrightarrow\; 5y^2 + 37y + 60 = 0

  12. 12

    Factorise: 5×60=300=12×255\times60 = 300 = 12\times25 and 12+25=3712 + 25 = 37: 5y2+12y+25y+60=y(5y+12)+5(5y+12)=(5y+12)(y+5)=05y^2 + 12y + 25y + 60 = y(5y + 12) + 5(5y + 12) = (5y + 12)(y + 5) = 0

  13. 13

    So y=−125y = -\tfrac{12}{5} or y=−5y = -5.

  14. 14

    Back-substitute into x=−8−2yx = -8 - 2y. For y=−5y = -5: x=−8+10=2x = -8 + 10 = 2. For y=−125y = -\tfrac{12}{5}: x=−8+245=−165x = -8 + \tfrac{24}{5} = -\tfrac{16}{5}.

Answer

z=2−5iz = 2 - 5\mathrm{i} or z=−165−125iz = -\tfrac{16}{5} - \tfrac{12}{5}\mathrm{i}

Check one in the original: for z = 2 − 5i, zz* = 4 + 25 = 29 and z(2 + i) = 4 + 2i − 10i + 5 = 9 − 8i, so 9 − 8i − 29 + 20 + 8i = 0 ✓.

Your turn

A plain division first, then an equation in z alone, then equations with z* in them. In every one, write the i² term before replacing it by −1.

  1. 1

    Express 3+4i1−2i\dfrac{3 + 4\mathrm{i}}{1 - 2\mathrm{i}} in the form x+iyx + \mathrm{i}y, showing all your working.

    Stuck? Show hint

    Multiply top and bottom by the conjugate of 1 − 2i.

    Show solution
    1. 1

      The conjugate of the denominator 1−2i1 - 2\mathrm{i} is 1+2i1 + 2\mathrm{i}. Multiply top and bottom by it: 3+4i1−2i×1+2i1+2i\frac{3 + 4\mathrm{i}}{1 - 2\mathrm{i}} \times \frac{1 + 2\mathrm{i}}{1 + 2\mathrm{i}}

    2. 2

      Denominator: (1−2i)(1+2i)=12+22=5(1 - 2\mathrm{i})(1 + 2\mathrm{i}) = 1^2 + 2^2 = 5.

    3. 3

      Numerator: (3+4i)(1+2i)=3+6i+4i+8i2=3+10i−8=−5+10i(3 + 4\mathrm{i})(1 + 2\mathrm{i}) = 3 + 6\mathrm{i} + 4\mathrm{i} + 8\mathrm{i}^2 = 3 + 10\mathrm{i} - 8 = -5 + 10\mathrm{i}.

    4. 4

      Divide each part by 55: −5+10i5=−1+2i\frac{-5 + 10\mathrm{i}}{5} = -1 + 2\mathrm{i}

    Answer

    −1+2i-1 + 2\mathrm{i}

  2. 29709/33 O/N 2024 Q45 marks

    Find the complex number zz satisfying the equation z−3iz+3i=2−9i5.\frac{z - 3\mathrm{i}}{z + 3\mathrm{i}} = \frac{2 - 9\mathrm{i}}{5}. Give your answer in the form x+iyx + \mathrm{i}y, where xx and yy are real.

    Stuck? Show hint

    There is no z* here, so treat z as a single unknown: cross-multiply, collect the z terms, factorise, then divide.

    Show solution
    1. 1

      Cross-multiply to clear both fractions: 5(z−3i)=(2−9i)(z+3i)5\left(z-3\mathrm{i}\right) = \left(2-9\mathrm{i}\right)\left(z+3\mathrm{i}\right)

    2. 2

      Expand the left side: 5z−15i5z - 15\mathrm{i}. Expand the right side term by term: (2−9i)(z+3i)=2z+6i−9iz−27i2\left(2-9\mathrm{i}\right)\left(z+3\mathrm{i}\right) = 2z + 6\mathrm{i} - 9\mathrm{i}z - 27\mathrm{i}^2

      Keep z itself unexpanded — it is the unknown, handled like x in ordinary algebra.

    3. 3

      Replace −27i2-27\mathrm{i}^2 by +27+27, so the equation is 5z−15i=2z+6i−9iz+275z - 15\mathrm{i} = 2z + 6\mathrm{i} - 9\mathrm{i}z + 27

    4. 4

      Collect every term containing zz on the left and everything else on the right: 5z−2z+9iz=27+6i+15i5z - 2z + 9\mathrm{i}z = 27 + 6\mathrm{i} + 15\mathrm{i}

    5. 5

      Factor out zz: z(3+9i)=27+21iz\left(3+9\mathrm{i}\right) = 27+21\mathrm{i}

    6. 6

      Divide, and cancel the common factor 33: z=27+21i3+9i=9+7i1+3iz = \frac{27+21\mathrm{i}}{3+9\mathrm{i}} = \frac{9+7\mathrm{i}}{1+3\mathrm{i}}

    7. 7

      Multiply top and bottom by the conjugate 1−3i1 - 3\mathrm{i}. Denominator: 12+32=101^2 + 3^2 = 10. Numerator: (9+7i)(1−3i)=9−27i+7i−21i2=9−20i+21=30−20i\left(9+7\mathrm{i}\right)\left(1-3\mathrm{i}\right) = 9 - 27\mathrm{i} + 7\mathrm{i} - 21\mathrm{i}^2 = 9 - 20\mathrm{i} + 21 = 30 - 20\mathrm{i}

      The scheme needs to see this multiplication written out — just writing (9 + 7i)/(1 + 3i) = 3 − 2i scores nothing for the last two marks.

    8. 8

      Divide by 1010: z=30−20i10=3−2iz = \frac{30-20\mathrm{i}}{10} = 3-2\mathrm{i}

    Answer

    z=3−2iz = 3-2\mathrm{i}

  3. 39709/35 O/N 2025 Q55 marks

    Find the complex numbers, zz, which satisfy the equation zz∗+5iz+2−10i=0.zz^* + 5\mathrm{i}z + 2 - 10\mathrm{i} = 0. Give your answers in the form x+iyx + \mathrm{i}y, where xx and yy are real.

    Stuck? Show hint

    Substitute z = x + iy, and remember zz* is just x² + y².

    Show solution
    1. 1

      Substitute z=x+iyz=x+\mathrm{i}y. The first term is zz∗=x2+y2zz^*=x^2+y^2.

    2. 2

      The second term: 5iz=5i(x+iy)=5ix+5i2y=5ix−5y5\mathrm{i}z = 5\mathrm{i}\left(x+\mathrm{i}y\right) = 5\mathrm{i}x + 5\mathrm{i}^2y = 5\mathrm{i}x - 5y

    3. 3

      So the equation becomes x2+y2+5ix−5y+2−10i=0x^2 + y^2 + 5\mathrm{i}x - 5y + 2 - 10\mathrm{i} = 0. Group real and imaginary parts: (x2+y2−5y+2)+i(5x−10)=0\left(x^2+y^2-5y+2\right) + \mathrm{i}\left(5x-10\right) = 0

    4. 4

      Equate both parts to zero: x2+y2−5y+2=0and5x−10=0x^2+y^2-5y+2=0 \qquad\text{and}\qquad 5x-10=0

    5. 5

      The imaginary-part equation gives x=2x=2 at once.

    6. 6

      Substitute x=2x = 2 into the real-part equation: 4+y2−5y+2=0  ⟹  y2−5y+6=04+y^2-5y+2=0 \;\Longrightarrow\; y^2-5y+6=0

    7. 7

      Factorise: (y−2)(y−3)=0\left(y-2\right)\left(y-3\right)=0, so y=2y=2 or y=3y=3.

    Answer

    z=2+2iz = 2+2\mathrm{i} or z=2+3iz = 2+3\mathrm{i}

  4. 49709/32 F/M 2022 Q66 marks

    Find the complex numbers ww which satisfy the equation w2+2iw∗=1w^2 + 2\mathrm{i}w^* = 1 and are such that Re⁡w⩽0\operatorname{Re} w \leqslant 0. Give your answers in the form x+iyx + \mathrm{i}y, where xx and yy are real.

    Stuck? Show hint

    Put w = x + iy and w* = x − iy. The imaginary-part equation factorises — each factor gives a case.

    Show solution
    1. 1

      Substitute:   (x+iy)2+2i(x−iy)=1\;(x + \mathrm{i}y)^2 + 2\mathrm{i}(x - \mathrm{i}y) = 1.

    2. 2

      Expand the square: (x+iy)2=x2+2ixy+i2y2=x2−y2+2ixy(x + \mathrm{i}y)^2 = x^2 + 2\mathrm{i}xy + \mathrm{i}^2y^2 = x^2 - y^2 + 2\mathrm{i}xy

    3. 3

      Expand the second term: 2i(x−iy)=2ix−2i2y=2ix+2y2\mathrm{i}(x - \mathrm{i}y) = 2\mathrm{i}x - 2\mathrm{i}^2y = 2\mathrm{i}x + 2y

    4. 4

      Group, with the right side 1=1+0i1 = 1 + 0\mathrm{i}: (x2−y2+2y)+i(2xy+2x)=1+0i\left(x^2 - y^2 + 2y\right) + \mathrm{i}\left(2xy + 2x\right) = 1 + 0\mathrm{i}

    5. 5

      Equate parts: x2−y2+2y=1and2xy+2x=0x^2 - y^2 + 2y = 1 \qquad\text{and}\qquad 2xy + 2x = 0

    6. 6

      Factorise the imaginary-part equation: 2x(y+1)=02x(y + 1) = 0, so x=0x = 0 or y=−1y = -1.

      Don't divide by x — that would lose the case x = 0, which gives one of the two answers.

    7. 7

      Case x=0x = 0: the real-part equation becomes −y2+2y=1-y^2 + 2y = 1, i.e. y2−2y+1=0y^2 - 2y + 1 = 0, so (y−1)2=0(y - 1)^2 = 0 and y=1y = 1. This gives w=iw = \mathrm{i}, which has Re⁡w=0⩽0\operatorname{Re} w = 0 \leqslant 0 ✓.

    8. 8

      Case y=−1y = -1: the real-part equation becomes x2−1−2=1x^2 - 1 - 2 = 1, so x2=4x^2 = 4 and x=±2x = \pm 2.

    9. 9

      The condition Re⁡w⩽0\operatorname{Re} w \leqslant 0 rejects x=2x = 2, leaving x=−2x = -2 and w=−2−iw = -2 - \mathrm{i}.

      The scheme withholds the mark if 2 − i is also given — read the condition before writing the final list.

    Answer

    w=iw = \mathrm{i} or w=−2−iw = -2 - \mathrm{i}

  5. 59709/32 O/N 2021 Q36 marks

    (a) Given the complex numbers u=a+ibu = a + \mathrm{i}b and w=c+idw = c + \mathrm{i}d, where a,b,ca, b, c and dd are real, prove that (u+w)∗=u∗+w∗(u + w)^* = u^* + w^*.

    (b) Solve the equation (z+2+i)∗+(2+i)z=0(z + 2 + \mathrm{i})^* + (2 + \mathrm{i})z = 0, giving your answer in the form x+iyx + \mathrm{i}y where xx and yy are real.

    Stuck? Show hint

    (a) Work out each side separately and compare. (b) Write z + 2 + i in Cartesian form first, then flip the sign of its imaginary part.

    Show solution
    1. 1

      (a) Left side: u+w=(a+c)+i(b+d)u + w = (a + c) + \mathrm{i}(b + d), so its conjugate is (u+w)∗=(a+c)−i(b+d)(u + w)^* = (a + c) - \mathrm{i}(b + d)

    2. 2

      Right side: u∗=a−ibu^* = a - \mathrm{i}b and w∗=c−idw^* = c - \mathrm{i}d, so u∗+w∗=(a+c)−i(b+d)u^* + w^* = (a + c) - \mathrm{i}(b + d)

    3. 3

      The two sides are identical, so (u+w)∗=u∗+w∗(u + w)^* = u^* + w^*. ■\blacksquare

      A proof needs both sides worked out and an explicit statement that they match.

    4. 4

      (b) Put z=x+iyz = x + \mathrm{i}y. Then z+2+i=(x+2)+i(y+1)z + 2 + \mathrm{i} = (x + 2) + \mathrm{i}(y + 1), and flipping the sign of its imaginary part gives (z+2+i)∗=(x+2)−i(y+1)(z + 2 + \mathrm{i})^* = (x + 2) - \mathrm{i}(y + 1)

    5. 5

      Expand the second term: (2+i)(x+iy)=2x+2iy+ix+i2y=(2x−y)+i(x+2y)(2 + \mathrm{i})(x + \mathrm{i}y) = 2x + 2\mathrm{i}y + \mathrm{i}x + \mathrm{i}^2y = (2x - y) + \mathrm{i}(x + 2y)

    6. 6

      Add the two and group: (x+2+2x−y)+i(−y−1+x+2y)=(3x−y+2)+i(x+y−1)=0(x + 2 + 2x - y) + \mathrm{i}(-y - 1 + x + 2y) = (3x - y + 2) + \mathrm{i}(x + y - 1) = 0

    7. 7

      Equate both parts to zero: 3x−y+2=0andx+y−1=03x - y + 2 = 0 \qquad\text{and}\qquad x + y - 1 = 0

    8. 8

      Add the two equations to eliminate yy: 4x+1=04x + 1 = 0, so x=−14x = -\tfrac14. Then y=1−x=54y = 1 - x = \tfrac54.

    Answer

    (b) z=−14+54iz = -\tfrac14 + \tfrac54\mathrm{i}

Practise complex number arithmeticReal past-paper questions · Arithmetic of complex numbers in Cartesian form (x + iy)

The rest of this note

Checking your access…

Can you do all of these?

  • Multiply out brackets, writing the i² term and then replacing it by −1

  • Divide by multiplying top and bottom by the conjugate of the denominator, showing the working

  • State Re z and Im z as real numbers

  • Equate real and imaginary parts to find unknown real constants

  • Solve an equation containing z and z* by substituting x + iy

  • Find the modulus, and the principal argument in any quadrant, exactly where possible

  • Convert between x+iyx + \mathrm{i}y, r(cos⁡θ+isin⁡θ)r(\cos\theta + \mathrm{i}\sin\theta) and reiθr\mathrm{e}^{\mathrm{i}\theta}

  • Translate “is real”, “purely imaginary”, |z| = k and arg w = θ into equations

  • Multiply, divide and take powers in polar form, bringing the argument back into range

  • Name the geometric effect of each operation: translation, reflection, enlargement and rotation

  • Use moduli for sides and differences of arguments for angles in triangle proofs

  • Use conjugate pairs and sum/product to solve a cubic or quartic with real coefficients

  • Use the quadratic formula when a coefficient is complex — no conjugate pairs

  • Find both square roots, rejecting the negative value of x² and pairing the signs

  • Sketch circles, bisectors and half-lines with a scale, and shade the correct region

  • Write the inequalities for a given shaded region

  • Find greatest and least |z| and arg z, checking whether a tangent or a corner gives the extreme

Now do the questions
117 real Paper 3 parts from 2021–2025, sorted by difficulty, with mark schemes