Try this
- There are only candidates: . How are they related to the constant term ? Why is there no need to try or ?
- Tap : the remainder is , and the graph crosses the -axis exactly at . Now tap : the remainder is . Look at the graph: how high is the curve at ?
- When the remainder is , the first few numbers in the bottom row of the table are the coefficients of the quotient.
- Once you have found all three roots, multiply the three linear factors together and compare the result with .
Two theorems are at work here:
- The Remainder Theorem: when is divided by , the remainder is .
- The Factor Theorem: if , then is a factor of , and the converse is true too.
So “find a linear factor” becomes “find a root”. The table on the workbench is called synthetic division: while it works out , it also gives you the quotient for free.
Predict first
Without dividing: what is the remainder when is divided by ?
By the Remainder Theorem, the remainder .
Why? Call the quotient and the (constant) remainder . Then . Substitute : the first term becomes , leaving .
Why
Why are only a few rational numbers worth trying? Suppose the fraction in lowest terms is a root of the integer polynomial . Substitute it and multiply both sides by :
Every term except the last contains , so divides ; and and are coprime, so . In the same way, every term except the first contains , so .
Example: find all the linear factors of 2x³ − 3x² − 3x + 2
Step 1 / 7- List the candidates
The numerator is a divisor of the constant term : . The denominator is a divisor of the leading coefficient : . The candidates are : in all.
Remove one condition
Break it
Counterexample lab: remove one condition
Conclusion: It must be on the candidate list ← still true?
All three roots of are rational, and all of them are on the list. Sift them out.
: the only candidates are . Try them all.
None of the four candidates is a root, yet the graph clearly crosses the -axis between and . That root is . It is irrational, so the list has nothing to say about it.
So state the conclusion precisely: has no rational root, and therefore no linear factor with rational coefficients. For a cubic, that means it cannot be factored over the rationals.
Practice
What is the remainder when is divided by ?
Find all the rational roots of . (Separate them with commas.)
Factor .
Factor .