Skip to main content
VICSpecialist MathematicsSyllabus dot point

How do we solve polynomial equations completely over the complex numbers, and how does the conjugate root theorem constrain the roots of a real polynomial?

Solution of polynomial equations over the complex numbers, the fundamental theorem of algebra, the conjugate root theorem for polynomials with real coefficients, and the full factorisation of real polynomials into linear and irreducible quadratic factors

A focused answer to the VCE Specialist Mathematics Unit 3 key-knowledge point on solving polynomials over the complex numbers. The fundamental theorem of algebra, the conjugate root theorem, and full factorisation into linear and irreducible quadratic factors.

Generated by Claude Opus 4.76 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. How many roots, and where
  3. The conjugate root theorem
  4. Factorising over the reals
  5. Examples in context
  6. Try this

What this dot point is asking

VCAA wants you to solve polynomial equations completely over C\mathbb{C}, using the fundamental theorem of algebra to know how many roots to expect, the conjugate root theorem to pair complex roots of real polynomials, and the factor theorem to factorise. The goal is a full factorisation into linear factors over C\mathbb{C}, or into real linear and irreducible quadratic factors over R\mathbb{R}.

How many roots, and where

The fundamental theorem of algebra guarantees that any polynomial P(z)P(z) of degree n1n \ge 1 with complex coefficients has at least one complex root, and by repeated factoring exactly nn roots counted with multiplicity. Over C\mathbb{C} it therefore splits completely:

P(z)=an(zz1)(zz2)(zzn).P(z) = a_n (z - z_1)(z - z_2)\cdots(z - z_n).

Some of the zkz_k may coincide (repeated roots) or be real; the count of nn always holds.

The conjugate root theorem

If PP has real coefficients and a+bia + bi (with b0b \ne 0) is a root, then its conjugate abia - bi is also a root. The reason is that conjugation distributes over sums and products, and real coefficients are their own conjugates, so P(z)=P(z)\overline{P(z)} = P(\overline{z}); if P(z)=0P(z) = 0 then P(z)=0P(\overline{z}) = 0 too.

A consequence is parity: complex roots come in pairs, so a real polynomial of odd degree must have at least one real root. A real cubic, for example, has either three real roots or one real root and one conjugate pair.

Factorising over the reals

Multiplying a conjugate pair clears the imaginary part:

(z(a+bi))(z(abi))=z22az+(a2+b2),(z - (a + bi))(z - (a - bi)) = z^2 - 2az + (a^2 + b^2),

a quadratic with real coefficients and negative discriminant, hence irreducible over R\mathbb{R}. Therefore every real polynomial factorises over R\mathbb{R} into real linear factors (one per real root) and irreducible real quadratics (one per conjugate pair). To carry this out:

  1. Find one root, by inspection, the rational root test, or a given clue.
  2. Divide P(z)P(z) by the corresponding factor to reduce the degree.
  3. Solve the reduced polynomial, using the conjugate pair to write a quadratic factor directly when a complex root is found.

Examples in context

Example 1. A real polynomial with roots 2i2i and 2i-2i has the factor z2+4z^2 + 4 (here a=0a = 0, b=2b = 2).

Example 2. z4+1=0z^4 + 1 = 0 has four roots, the fourth roots of 1-1, forming two conjugate pairs and factorising over R\mathbb{R} into two irreducible quadratics.

Try this

Q1. A real quartic has roots 1+i1 + i and 3-3. Name one further root it must have. [1 mark]

  • Cue. 1i1 - i, the conjugate of 1+i1 + i.

Q2. Solve z2+4z+13=0z^2 + 4z + 13 = 0 over C\mathbb{C}. [2 marks]

  • Cue. z=2±3iz = -2 \pm 3i.

Q3. Given z=1iz = 1 - i is a root of z33z2+4z2=0z^3 - 3z^2 + 4z - 2 = 0, find all roots. [3 marks]

  • Cue. Conjugate 1+i1 + i gives factor z22z+2z^2 - 2z + 2; division leaves z1z - 1, so roots are 11, 1±i1 \pm i.

Exam-style practice questions

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

2025 VCAA4 marksConsider the function with rule f(z) = z^4 + 6z^2 + 25, where z is in C. Given that 1 + 2i is a solution of f(z) = 0, find a quadratic factor of f(z) and hence find all remaining solutions of f(z) = 0.
Show worked answer →

The coefficients of f are real, so by the conjugate root theorem the conjugate 1 - 2i is also a solution.

A quadratic factor is therefore (z - (1 + 2i))(z - (1 - 2i)). Expand using (z - a)(z - a-conjugate) = z^2 - 2Re(a)z + |a|^2: here 2Re = 2 and |1 + 2i|^2 = 1 + 4 = 5, so the factor is z^2 - 2z + 5.

Divide f(z) by this factor: z^4 + 6z^2 + 25 = (z^2 - 2z + 5)(z^2 + 2z + 5). (Check: the cross terms in z^3 and z cancel, and the z^2 terms give 5 - 4 + 5 = 6.)

Set the second factor to zero: z^2 + 2z + 5 = 0. Using the quadratic formula, z = (-2 +/- sqrt(4 - 20)) / 2 = (-2 +/- sqrt(-16)) / 2 = -1 +/- 2i.

So the remaining solutions are z = -1 + 2i and z = -1 - 2i (the full solution set is 1 + 2i, 1 - 2i, -1 + 2i, -1 - 2i).

2025 VCAA1 marksThe equation z^3 + az^2 + bz - 52 = 0, where a, b are in R and z is in C, has a solution z = 2 - 3i. The value of ab is A. -232 B. -64 C. -8 D. 0
Show worked answer →

The answer is A.

Because a and b are real, the conjugate root theorem gives a second root z = 2 + 3i. The quadratic factor from this pair is (z - (2 - 3i))(z - (2 + 3i)) = z^2 - 4z + 13.

The cubic has a third (real) root r. For z^3 + az^2 + bz - 52, the product of the three roots equals -(-52) = 52. The product of the complex pair is 13, so 13r = 52, giving r = 4.

Expand (z^2 - 4z + 13)(z - 4) = z^3 - 8z^2 + 29z - 52. Comparing coefficients, a = -8 and b = 29.

Therefore ab = (-8)(29) = -232, which is option A.