Skip to main content

Factorising polynomials over the complex field in QCE Specialist Mathematics Unit 3

Syllabus dot point

“Factorise polynomials with real coefficients over the complex field, apply the conjugate root theorem and the fundamental theorem of algebra, and find all roots of polynomial equations including those with complex coefficients”

QCESpecialist MathematicsUnit 3: Mathematical induction, and…8 min read

Quick answer

By the fundamental theorem of algebra, a degree-nn polynomial has exactly nn complex roots and factorises into nn linear factors over C\mathbb{C}. For real coefficients, the conjugate root theorem forces complex roots into conjugate pairs α±iβ\alpha \pm i\beta, which multiply to the real quadratic z2−2αz+(α2+β2)z^2 - 2\alpha z + (\alpha^2 + \beta^2). Use a known complex root and its conjugate to form a real quadratic factor, divide it out, then solve the quotient. Conjugate pairing fails when coefficients are complex.

Jump to a section
  1. What this dot point is asking
  2. The answer
  3. Exam-style questions

What this dot point is asking

QCAA wants you to find every root of a polynomial, real or complex, and to factorise it completely over the complex field. The key tools are the fundamental theorem of algebra, which guarantees the right number of roots, and the conjugate root theorem, which says complex roots of a real polynomial come in conjugate pairs. This lets you use one known complex root to unlock the rest.

The answer

Fundamental theorem of algebra

Every polynomial of degree n≥1n \geq 1 with complex coefficients has exactly nn roots in the complex numbers, counted with multiplicity. Consequently a degree-nn polynomial factorises completely into nn linear factors over C\mathbb{C}:

P(z)=a(z−z1)(z−z2)⋯(z−zn).P(z) = a(z - z_1)(z - z_2)\cdots(z - z_n).

Conjugate root theorem

If a polynomial has real coefficients and z=α+iβz = \alpha + i\beta is a root, then its conjugate zˉ=α−iβ\bar z = \alpha - i\beta is also a root. Complex roots of real polynomials therefore occur in conjugate pairs. This is why a real cubic has either three real roots or one real root plus a conjugate pair; complex roots cannot appear alone.

Real quadratic factors from a conjugate pair

A conjugate pair α±iβ\alpha \pm i\beta multiplies to a quadratic with real coefficients:

(z−(α+iβ))(z−(α−iβ))=z2−2αz+(α2+β2).(z - (\alpha + i\beta))(z - (\alpha - i\beta)) = z^2 - 2\alpha z + (\alpha^2 + \beta^2).

So every real polynomial factorises over the reals into real linear factors and real irreducible quadratics, and each such quadratic splits into a conjugate pair over C\mathbb{C}.

Strategy for finding all roots

Given one complex root of a real polynomial, immediately write down its conjugate as a second root. Multiply the two corresponding factors to get a real quadratic, divide the polynomial by that quadratic (polynomial long division), and solve the remaining lower-degree quotient. This reduces a quartic to a quadratic in one division.

Sum and product of roots

For P(z)=anzn+⋯+a0P(z) = a_n z^n + \dots + a_0, the sum of the roots is −an−1/an-a_{n-1}/a_n and the product is (−1)na0/an(-1)^n a_0/a_n. These relations check your factorisation: the roots you find must reproduce the coefficients.

Complex coefficients

When coefficients are themselves complex, the conjugate root theorem no longer applies, since it requires real coefficients. You then find roots directly, for example by the quadratic formula (which holds over C\mathbb{C}) or by substitution, without assuming conjugate pairs.

The factor and remainder theorems

The factor theorem extends unchanged to the complex field: z=cz = c is a root of P(z)P(z) exactly when (z−c)(z - c) is a factor, and the remainder on dividing P(z)P(z) by (z−c)(z - c) is P(c)P(c). This is the engine of every full-factorisation question: once a root is confirmed by substitution, the corresponding linear factor can be peeled off and the degree drops by one. With a conjugate pair you peel off a real quadratic and the degree drops by two, which is why a quartic with one known complex root reduces to a single quadratic after one division.

Multiplicity and the count of roots

The fundamental theorem of algebra counts roots with multiplicity, so a repeated factor must be counted as often as it appears. The polynomial (z−1)2(z2+4)(z - 1)^2(z^2 + 4) has degree four and exactly four roots: z=1z = 1 twice and z=±2iz = \pm 2i. If a question states that a real polynomial has a repeated root, that root satisfies both P(z)=0P(z) = 0 and P′(z)=0P'(z) = 0, which gives a second equation to pin it down. Keeping careful track of multiplicity matters when a question asks for the full factorisation rather than just the distinct roots, because dropping a repeated factor leaves the degree wrong and the coefficient check failing.

Find all roots and fully factorise P(z)=z3−3z2+7z−5P(z) = z^3 - 3z^2 + 7z - 5, given z=1+2iz = 1 + 2i is a root.

Step 1: Apply the conjugate root theorem to get a second root

All coefficients of P(z)P(z) are real, so the conjugate root theorem guarantees that the complex conjugate of any non-real root is also a root. Since z=1+2iz = 1 + 2i is a root, so is:

zˉ=1−2i\bar{z} = 1 - 2i

Step 2: Build the real quadratic factor from the conjugate pair

Multiplying the two linear factors corresponding to the conjugate pair eliminates the imaginary parts and gives a quadratic with real coefficients. With α=1\alpha = 1 and β=2\beta = 2:

(z−(1+2i))(z−(1−2i))=z2−2(1)z+(12+22)=z2−2z+5(z - (1+2i))(z - (1-2i)) = z^2 - 2(1)z + (1^2 + 2^2) = z^2 - 2z + 5

Step 3: Divide out the quadratic factor to find the remaining factor

Dividing P(z)P(z) by the quadratic z2−2z+5z^2 - 2z + 5 by polynomial long division gives:

z3−3z2+7z−5=(z2−2z+5)(z−1)z^3 - 3z^2 + 7z - 5 = (z^2 - 2z + 5)(z - 1)

Verification: (z2−2z+5)(z−1)=z3−z2−2z2+2z+5z−5=z3−3z2+7z−5.(z^2 - 2z + 5)(z - 1) = z^3 - z^2 - 2z^2 + 2z + 5z - 5 = z^3 - 3z^2 + 7z - 5. Correct.

Step 4: Read off all roots and verify with the root sum

From the linear factor z−1=0z - 1 = 0, the third root is z=1z = 1. The three roots are:

z=1,z=1+2i,z=1−2iz = 1, \quad z = 1 + 2i, \quad z = 1 - 2i

Check the sum: 1+(1+2i)+(1−2i)=31 + (1 + 2i) + (1 - 2i) = 3, which matches −(coefficient of z2)/(leading coefficient)=−(−3)/1=3-(\text{coefficient of } z^2)/(\text{leading coefficient}) = -(-3)/1 = 3.

Final answer: all roots are z=1z = 1, z=1+2iz = 1 + 2i, z=1−2iz = 1 - 2i, and the complete factorisation over C\mathbb{C} is (z−1)(z−1−2i)(z−1+2i)(z - 1)(z - 1 - 2i)(z - 1 + 2i).

Common trap

The most penalised slip is using the conjugate root theorem when the coefficients are not all real; the theorem only guarantees conjugate pairs for real polynomials. A second error is sign mistakes when expanding the conjugate-pair product: the quadratic is z2−2αz+(α2+β2)z^2 - 2\alpha z + (\alpha^2 + \beta^2), with a plus on the constant term because (iβ)(−iβ)=+β2(i\beta)(-i\beta) = +\beta^2. Always confirm by checking that your roots reproduce the original coefficients.

Exam-style questions

Questions in the style of QCAA 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.

Practice6 marks
Paper 2 (complex familiar). Given that z=2−iz = 2 - i is a root of P(z)=z3−6z2+13z−10P(z) = z^3 - 6z^2 + 13z - 10, determine all roots of P(z)=0P(z) = 0 and hence factorise P(z)P(z) fully over C\mathbb{C}.
Show worked answer →

The coefficients are real, so by the conjugate root theorem zˉ=2+i\bar z = 2 + i is also a root.

Real quadratic factor from the pair 2±i2 \pm i: z2−2(2)z+(22+12)=z2−4z+5.z^2 - 2(2)z + (2^2 + 1^2) = z^2 - 4z + 5.

Divide: z3−6z2+13z−10=(z2−4z+5)(z−2)z^3 - 6z^2 + 13z - 10 = (z^2 - 4z + 5)(z - 2). Check the linear factor by matching the constant: 5×(−2)=−10.5 \times (-2) = -10. So the third root is z=2z = 2.

All roots: z=2, 2+i, 2−iz = 2,\ 2 + i,\ 2 - i. Over C\mathbb{C}, P(z)=(z−2)(z−2−i)(z−2+i)P(z) = (z - 2)(z - 2 - i)(z - 2 + i).

Markers reward citing the conjugate root theorem, building the real quadratic, the division, and the complete factorisation.

Practice3 marks
Paper 1 (technique). Solve z2−4z+13=0z^2 - 4z + 13 = 0 over C\mathbb{C}, giving the roots in the form a+bia + bi.
Show worked answer →

Complete the square or use the quadratic formula: z=4±16−522=4±−362.z = \dfrac{4 \pm \sqrt{16 - 52}}{2} = \dfrac{4 \pm \sqrt{-36}}{2}.

Since −36=6i\sqrt{-36} = 6i, z=4±6i2=2±3i.z = \dfrac{4 \pm 6i}{2} = 2 \pm 3i.

The roots are z=2+3iz = 2 + 3i and z=2−3iz = 2 - 3i, a conjugate pair as expected for a real quadratic. Markers reward the discriminant, writing −36=6i\sqrt{-36} = 6i, and both roots.

Practise this

Sources & how we know this

ExamExplained