In algebra, the polynomial remainder theorem or little Bézout's theorem (named after Étienne Bézout) is an application of Euclidean division of polynomials. It states that, for every number r {\displaystyle r} , any polynomial f ( x ) {\displaystyle f(x)} is the sum of f ( r ) {\displaystyle f(r)} and the product of x − r {\displaystyle x-r} and a polynomial in x {\displaystyle x} of a degree one less than the degree of f {\displaystyle f} . In particular, f ( r ) {\displaystyle f(r)} is the remainder of the Euclidean division of f ( x ) {\displaystyle f(x)} by x − r {\displaystyle x-r} , and x − r {\displaystyle x-r} is a divisor of f ( x ) {\displaystyle f(x)} if and only if f ( r ) = 0 {\displaystyle f(r)=0} , a property known as the factor theorem.
Examples
Example 1 Let f ( x ) = x 3 − 12 x 2 − 42 {\displaystyle f(x)=x^{3}-12x^{2}-42} . Polynomial division of f ( x ) {\displaystyle f(x)} by ( x − 3 ) {\displaystyle (x-3)} gives the quotient x 2 − 9 x − 27 {\displaystyle x^{2}-9x-27} and the remainder − 123 {\displaystyle -123} . By the polynomial remainder theorem, f ( 3 ) = − 123 {\displaystyle f(3)=-123} .
Example 2 Proof that the polynomial remainder theorem holds for an arbitrary second degree polynomial f ( x ) = a x 2 + b x + c {\displaystyle f(x)=ax^{2}+bx+c} by using algebraic manipulation:
f ( x ) − f ( r ) = a x 2 + b x + c − ( a r 2 + b r + c ) = a ( x 2 − r 2 ) + b ( x − r ) = a ( x − r ) ( x + r ) + b ( x − r ) = ( x − r ) ( a x + a r + b ) {\displaystyle {\begin{aligned}f(x)-f(r)&=ax^{2}+bx+c-(ar^{2}+br+c)\\&=a(x^{2}-r^{2})+b(x-r)\\&=a(x-r)(x+r)+b(x-r)\\&=(x-r)(ax+ar+b)\end{aligned}}}
So,
f ( x ) = ( x − r ) ( a x + a r + b ) + f ( r ) , {\displaystyle f(x)=(x-r)(ax+ar+b)+f(r),}
which is exactly the formula of Euclidean division. The generalization of this proof to any degree is given below in § Direct proof.
Proofs
Using Euclidean division The polynomial remainder theorem follows from the theorem of Euclidean division, which, given two polynomials f(x) (the dividend) and g(x) (the divisor), asserts the existence (and the uniqueness) of a quotient Q(x) and a remainder R(x) such that
… excerpt ends here. Continue reading the full article.
