What this move does
Take the quartic . The sieve from the previous stop says it has no rational root (neither of the candidates works), so it has no linear factor. But it could still be a product of two quadratics:
We do not know the coefficients yet, so we let letters hold their places (they are undetermined), and let the equation tell us what they are.
- Fix the shape: from the degree and the leading coefficient, write down what the factors look like, using letters for the unknown coefficients.
- Multiply out and compare term by term: two polynomials are equal exactly when every coefficient matches. Each coefficient gives one equation.
- Solve the system (usually starting with the integer ways to split the constant), and then check every equation.
Predict first
Does have a linear factor with rational coefficients?
The only possible rational roots are . Substitute each: , , , . None of them is .
So it has no linear factor. If the quartic factors at all, only one possibility is left: quadratic × quadratic. That is when the method of undetermined coefficients comes in.
Work through one
Example: factor x⁴ + 2x² + x + 2
Step 1 / 6- Set up the shape
The leading coefficient is , so both quadratics get leading coefficient . Four undetermined letters; four lights for four equations.
Undetermined coefficients can also find a parameter. Say is divisible by . Call the quotient and multiply out: . Comparing gives and , which both give , so . The and of the double cross method at stop 6 used exactly the same idea.
When it fails
Break it
Counterexample lab: remove one condition
Conclusion: It factors in the shape you set up ← still true?
Write as : the system has a solution.
Write as . Drag the sliders: can all three lights come on at once?
No. forces , and then the coefficient of , , must be , so : no rational number does that. Splitting the constant as instead needs , which is even worse.
A system with no solution is not a failure: it is a proof that cannot be factored over the rationals.
Practice
Given , find .
Given that is divisible by , find .
Factor .
Factor .