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.
Reviewed by: AI editorial process; not yet individually human-reviewed
Have a quick question? Jump to the Q&A page
Jump to a section
What this dot point is asking
VCAA wants you to solve polynomial equations completely over , 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 , or into real linear and irreducible quadratic factors over .
How many roots, and where
The fundamental theorem of algebra guarantees that any polynomial of degree with complex coefficients has at least one complex root, and by repeated factoring exactly roots counted with multiplicity. Over it therefore splits completely:
Some of the may coincide (repeated roots) or be real; the count of always holds.
The conjugate root theorem
If has real coefficients and (with ) is a root, then its conjugate is also a root. The reason is that conjugation distributes over sums and products, and real coefficients are their own conjugates, so ; if then 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:
a quadratic with real coefficients and negative discriminant, hence irreducible over . Therefore every real polynomial factorises over into real linear factors (one per real root) and irreducible real quadratics (one per conjugate pair). To carry this out:
- Find one root, by inspection, the rational root test, or a given clue.
- Divide by the corresponding factor to reduce the degree.
- 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 and has the factor (here , ).
Example 2. has four roots, the fourth roots of , forming two conjugate pairs and factorising over into two irreducible quadratics.
Try this
Q1. A real quartic has roots and . Name one further root it must have. [1 mark]
- Cue. , the conjugate of .
Q2. Solve over . [2 marks]
- Cue. .
Q3. Given is a root of , find all roots. [3 marks]
- Cue. Conjugate gives factor ; division leaves , so roots are , .
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.