Remainder and Factor Theorem
Contents
Remainder Theorem
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 the remainder of the division of a polynomial by a linear polynomial is equal to In particular, is a divisor of if and only if a property known as the factor theorem.
Examples
Example 1
Let . Polynomial division of by gives the quotient and the remainder . Therefore, .
Example 2
Show that the polynomial remainder theorem holds for an arbitrary second degree polynomial by using algebraic manipulation:
Multiplying both sides by (x − r) gives
- .
Since is the remainder, we have indeed shown that .
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
If the divisor is where r is a constant, 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
Setting in this formula, we obtain:
A slightly different proof, which may appear to some people as more elementary, starts with an observation that is a linear combination of terms of the form each of which is divisible by since
Applications
The polynomial remainder theorem may be used to evaluate by calculating the remainder, . 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.
Factor Theorem
In algebra, the factor theorem is a theorem linking factors and zeros of a polynomial. It is a special case of the polynomial remainder theorem.
The factor theorem states that a polynomial has a factor if and only if (i.e. is a root).
Factorization of polynomials
Two problems where the factor theorem is commonly applied are those of factoring a polynomial and finding the roots of a polynomial equation; it is a direct consequence of the theorem that these problems are essentially equivalent.
The factor theorem is also used to remove known zeros from a polynomial while leaving all unknown zeros intact, thus producing a lower degree polynomial whose zeros may be easier to find. Abstractly, the method is as follows:
- "Guess" a zero of the polynomial . (In general, this can be very hard, but math textbook problems that involve solving a polynomial equation are often designed so that some roots are easy to discover.)
- Use the factor theorem to conclude that is a factor of .
- Compute the polynomial , for example using polynomial long division or synthetic division.
- Conclude that any root of is a root of . Since the polynomial degree of is one less than that of , it is "simpler" to find the remaining zeros by studying .
Example
Find the factors of
To do this one would use trial and error (or the rational root theorem) to find the first x value that causes the expression to equal zero. To find out if is a factor, substitute into the polynomial above:
As this is equal to 18 and not 0, this means is not a factor of . So, we next try (substituting into the polynomial):
This is equal to . Therefore , which is to say , is a factor, and is a root of
The next two roots can be found by algebraically dividing by to get a quadratic:
and therefore and are factors of Of these, the quadratic factor can be further factored using the quadratic formula, which gives as roots of the quadratic Thus the three irreducible factors of the original polynomial are and
Resources
- Dividing Polynomials, Paul's Online Notes
Licensing
Content obtained and/or adapted from:
- Polynomial remainder theorem, Wikipedia under a CC BY-SA license
- Factor theorem, Wikipedia under a CC BY-SA license