B1, B3 - Complex roots of cubic and quartic equations
How much can one known root tell you about an entire polynomial equation? B3 supplies a second root when the coefficients are real, and B1 uses the resulting factors to solve cubics and quartics. You will recover all the roots from the information supplied, including zero and repeated roots.
Conjugate roots and real coefficients
If a cubic with real coefficients has root , what other root must it have? The partner is forced by conjugation. This gives more information than an arbitrary single root would provide.
Root and factor
A root of satisfies . By the factor theorem, is then a factor of . The theorem works for real and complex roots.
Suppose and . Conjugating that equality changes every occurrence of to , while the real coefficients stay fixed. The result is .
More generally, write a polynomial with real coefficients as . Conjugation preserves sums and products, so
If , then . When is non-real, , so these are two distinct roots.
Conjugate-root theorem
Non-real roots of a polynomial equation with real coefficients occur in conjugate pairs. If is a root, with real and , then is also a root. Together they give the real quadratic factor
Not in the formula booklet: learn it.
The real-coefficient condition is essential. The equation has root , but is not a root: substituting it gives . Its constant coefficient is non-real, so the theorem does not apply. A real root is its own conjugate; the theorem does not turn it into a second distinct root.
For the opening pair, the quadratic factor is . Two linear factors containing have combined into a factor with real coefficients. This is the useful connection: a complex root can unlock ordinary real polynomial division.
Watch out
Wrong: “complex roots always come in pairs”. Correct: non-real conjugate roots pair up when the polynomial has real coefficients. A general non-real root need not be purely imaginary.
Apply the conditions as well as the sign change.
Factoring a cubic from a known root
A cubic becomes a quadratic after division by a known linear factor. If the given root is non-real and the coefficients are real, use its conjugate too: the quadratic factor leaves only a linear quotient.
You already know
Polynomial division finds and a remainder such that , with the remainder's degree smaller than the divisor's. If is a factor, the remainder is zero. Expanding the proposed product checks the division.
Start with a real root so that the quadratic is obtained by ordinary division.
Worked example 1: a given real root
Question. It is given that is a root of . Find all the roots.
Plan. Divide by , then solve the quadratic quotient.
For the division, subtracting first leaves . Subtracting then leaves , so the last quotient term is and the remainder is zero.
Answer. .
Check. Expanding gives . The given root makes the first factor zero; the two new roots make zero.
Keep the polynomial the same, but change the information supplied: this time you know a non-real root. That changes which factor is available first.
Worked example 2: a given non-real root
Question. It is given that is a root of . Find the other roots.
Plan. Use real coefficients to obtain the conjugate root, form their quadratic factor and divide it out.
In this division, subtracting leaves , which is times the divisor. That gives the quotient with zero remainder.
Answer. The other roots are and .
Check. Substitution of the real root gives . For each non-real root, the quadratic factor becomes .
Both routes reach the same factorisation. A cubic may also have three real roots; do not assume a non-real pair exists unless the information or the remaining quadratic establishes it.
Watch out
Wrong: a root gives the factor . Correct: subtract the whole root, .
Use the non-real-root route for a new cubic.
Quartics from a complex root or quadratic factor
A quartic has a quadratic quotient after division by a quadratic factor. A given non-real root supplies such a factor through its conjugate; a given quadratic factor lets you start the division immediately. In either case, solve both quadratic factors to obtain the full root set.
Worked example 3: a quartic with a given complex root
Question. It is given that is a root of . Find all the roots.
Plan. Form the real quadratic factor from the conjugate pair, divide, then solve the other quadratic.
Include the missing cubic term as when dividing. The successive quotient terms are , and : the successive remainders are , then , then zero.
Answer. .
Check. In the product of quadratics, the cubic terms cancel, the quadratic coefficient is , the linear coefficient is , and the constant is . Each listed pair makes its corresponding quadratic factor zero.
Now keep the same first quadratic factor but change the second factor's constant. The question supplies the first factor directly, so no conjugate-root deduction is needed to start.
Worked example 4: a quartic with a given quadratic factor
Question. The polynomial has factor . Solve .
Plan. Divide by the supplied factor and solve each quadratic by completing the square.
The division successively leaves , then , then zero, giving quotient .
Answer. or .
Check. The product's cubic and linear coefficients are zero, its quadratic coefficient is , and its constant is . Substituting each root into its completed-square factor gives zero.
Changing the quotient changed only its own root pair. The known factor still supplied . A quadratic quotient can instead give real or repeated roots; inspect its discriminant rather than forcing every answer into a non-real pair.
Watch out
Wrong: after solving the quotient, report only its two roots. Correct: include the roots of the factor that was divided out as well. Division reduces the work, not the original equation's root set.
Recover both pairs for a new quartic.
Repeated roots and complete root sets
A factor can occur more than once, so the number of distinct root values can be smaller than the degree. The factorisation tells you both which values solve the equation and how many times each occurs.
Multiplicity
A root has multiplicity when is a factor but is not. A repeated root has multiplicity at least . Repeating a root in a list records its multiplicity; it does not create a new value.
For a product of complex numbers to be zero, at least one factor must be zero. Indeed, if a factor is nonzero, you can divide by it. But if you divide an equation by an expression involving , first keep the values that make that expression zero, or you may discard roots.
Worked example 5: a repeated conjugate pair
Question. It is given that is a factor of . Solve , stating multiplicities.
Plan. Divide out the given factor and check whether it appears again.
Answer. and , each of multiplicity . There are two distinct roots and four roots counted with multiplicity.
Check. Squaring recovers the polynomial. At either root , so the original expression is . The displayed linear factor powers confirm the multiplicities.
Keep the supplied factor , but change the quotient from to . This replaces the repeated non-real pair with a repeated zero root.
Worked example 6: retaining zero roots
Question. Solve , stating multiplicities.
Plan. Factor out , retaining the values that make it zero.
Answer. , of multiplicity , and , each of multiplicity .
Check. Zero gives , while either non-real root gives . The multiplicities add to the quartic's degree: .
For the factored cubics and quartics here, the linear factor degrees account for the whole polynomial. This is a useful completeness check, but counting alone cannot prove that an incorrectly calculated value is a root: also check the factorisation or substitute back. Non-real pairs in a real-coefficient polynomial have matching multiplicities, because conjugating each repeated factor preserves its exponent.
Watch out
Wrong: divide by and report only . That division assumed . Correct: factor first, so the repeated root remains visible.
Find both the values and their multiplicities in this fresh case.
Quick Recap
- A root gives a factor .
- With real coefficients, a non-real root supplies its conjugate and a real quadratic factor.
- Divide a cubic or quartic by the known factor, then solve every remaining factor.
- Retain zero roots, repeated factors and the roots of factors already divided out.
One supplied root can reveal its partner and reduce the degree enough to solve the whole equation.