Polynomial remainder theorem

From HandWiki
Short description: The remainder of dividing a polynomial, f(x), by (x-r) is f(r)


In algebra, the polynomial remainder theorem or little Bézout's theorem (named after Étienne Bézout)[1] is an application of Euclidean division of polynomials. It states that the remainder of the division of a polynomial f(x) by a linear polynomial xr is equal to f(r). In particular, xr is a divisor of f(x) if and only if f(r)=0,[2] a property known as the factor theorem.

Examples

Example 1

Let f(x)=x312x242. Polynomial division of f(x) by (x3) gives the quotient x29x27 and the remainder 123. Therefore, f(3)=123.

Example 2

Show that the polynomial remainder theorem holds for an arbitrary second degree polynomial f(x)=ax2+bx+c by using algebraic manipulation:

f(x)xr=ax2+bx+cxr=ax2arx+arx+bx+cxr=ax(xr)+(b+ar)x+cxr=ax+(b+ar)(xr)+c+r(b+ar)xr=ax+b+ar+c+r(b+ar)xr=ax+b+ar+ar2+br+cxr

Multiplying both sides by (x − r) gives

f(x)=ax2+bx+c=(ax+b+ar)(xr)+ar2+br+c.

Since R=ar2+br+c is the remainder, we have indeed shown that f(r)=R.

Proof

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

f(x)=Q(x)g(x)+R(x)andR(x)=0  or deg(R)<deg(g).

If the divisor is g(x)=xr, then either R(x) = 0 or its degree is zero; in both cases, R(x) is a constant that is independent of x; that is

f(x)=Q(x)(xr)+R.

Setting x=r in this formula, we obtain:

f(r)=R.

A slightly different proof, which may appear to some people as more elementary, starts with an observation that f(x)f(r) is a linear combination of terms of the form xkrk, each of which is divisible by xr since xkrk=(xr)(xk1+xk2r++xrk2+rk1).

Applications

The polynomial remainder theorem may be used to evaluate f(r) by calculating the remainder, R. Although polynomial long division is more difficult than evaluating the function itself, synthetic division is computationally easier. Thus, the function may be more "cheaply" evaluated using synthetic division and the polynomial remainder theorem.

The factor theorem is another application of the remainder theorem: if the remainder is zero, then the linear divisor is a factor. Repeated application of the factor theorem may be used to factorize the polynomial.[3]

References

  1. Piotr Rudnicki (2004). "Little Bézout Theorem (Factor Theorem)". Formalized Mathematics 12 (1): 49–58. http://mizar.org/fm/2004-12/pdf12-1/uproots.pdf. 
  2. Larson, Ron (2014), College Algebra, Cengage Learning
  3. Larson, Ron (2011), Precalculus with Limits, Cengage Learning