What this move does
Cubic and quartic equations have no handy all-purpose formula. Our plan fits in three words: reduce the degree. Turn the equation into linear and quadratic equations. There are two common routes:
- Substitution: if a “block” appears again and again (such as , or ), treat that block as a new letter . The higher-degree equation becomes a quadratic in .
- Solve for , then send it back: each value of gives a lower-degree equation in . Some values of cannot be sent back (for example ), and that branch has no real roots.
- Factorization: if the left side factors into lower-degree factors and the right side is , set each factor equal to in turn.
The simplest example is a biquadratic equation, with only , and a constant: . Cover up and call it , and it becomes .
Predict first
How many real roots does have? (Hint: with it becomes .)
, so or .
: , , two roots. : , which no real number can do. So there are only real roots.
“A quartic equation has four roots” is only true when every can be sent back. Put the lens on and look at the branch in the red dashed box:
Work through one
The block does not have to be . Expanded, the equation below is , which looks scary. But this is how it was actually written:
Example: solve (x² + x)² − 8(x² + x) + 12 = 0
Step 1 / 5- Find the repeated block
appears twice: once squared, once not. Whatever you do, do not rush to expand: that just gives the quartic above.
Equations with symmetric coefficients
The coefficients of are : the same read from the left or from the right. Equations like this have a ready-made block: .
Since is not a root, we can divide both sides by and pair the first and last terms:
Let . Then , and the equation becomes , that is, .
Notice that the branch gives only one value, (a double root), so the curve just touches the -axis at .
The other route: factorization
When there is no obvious block, try the method from Vol. 1: guess a rational root, then divide out the matching linear factor.
Example: solve x³ − 2x² − 5x + 6 = 0
Step 1 / 4- Try some roots
The leading coefficient is , so any rational root must be a divisor of the constant : . Try : . A hit.
Practice
Solve . (Give all the real roots, separated by commas.)
Solve .
Solve .
Solve .