1.Division, the remainder theorem and the factor theorem
Every polynomial with real coefficients can be divided by a linear polynomial . The division algorithm says , where is a polynomial of degree one less than and is a constant, because the remainder must have degree less than . This single identity is the source of the two most useful facts about polynomials in contest problems.
Substitute into the identity. The term vanishes, so . This is the remainder theorem: the remainder on division by equals the value . It means you can read a remainder without performing any long division at all. The factor theorem is the special case : the linear factor divides exactly if and only if , that is, if and only if is a root.
The same reasoning works for any divisor. If has degree , then with . For with , the remainder is a line , and substituting and gives the two equations and . Solving them is usually quicker than dividing. This is the first appearance of an idea we will return to in the interpolation concept: a low-degree polynomial is determined by enough values.
Two practical consequences matter on the test. First, if has integer coefficients and is an integer, then is the remainder, so a divisibility condition such as becomes the single equation . Second, a nonzero polynomial of degree has at most roots, which is proved by repeatedly applying the factor theorem: each root peels off one linear factor, and the degree drops by one each time. This counting argument is the reason that two polynomials of degree at most agreeing at points must be equal, a fact used heavily in interpolation.
- for every polynomial
- if and only if
- Remainder on division by is with ,
- A nonzero polynomial of degree has at most roots
Spot it: The problem gives a value of a polynomial at a point, asks for a remainder, or says a linear or quadratic factor divides a polynomial.
- Taking the remainder of a quadratic divisor to be a constant; it is a linear polynomial and needs two conditions.
- Substituting the root into and forgetting that the answer is the remainder, not the quotient.
Find the remainder when is divided by .