- Verberg vooruitgang Hide progress Toon vooruitgang Show progress
- Verwijder je antwoorden (op deze pagina) Remove your answers (on this page)
In Section GraphsofPolynomials we saw how much of the ‘local’ behavior of the graph of a polynomial function is determined by the zeros of the polynomial function. In that section, the polynomial functions we were given were mostly, if not completely, factored which greatly simplified the process for determining zeros. In this section, we revisit the relationship between zeros and factors with the ultimate aim of taking a polynomial function given to us in the form stated in Definition polynomialfunction and determining its zeros.
We start by way of example: suppose we wish to determine the zeros of \(f(x) = x^3 + 4x^2-5x-14\). Setting \(f(x)=0\) results in the polynomial equation \(x^3 + 4x^2-5x-14=0\). Despite all of the factoring techniques we learned (and forgot!) in Intermediate Algebra, this equation foils us at every turn. Knowing that the zeros of \(f\) correspond to \(x\)-intercepts on the graph of \(y=f(x)\), Desmos to graph \(f\) and identify the \(x\)-intercepts we can see.
The graph suggests that the function has three zeros, one of which appears to be \(x=2\) and two others for whom we are provided what we assume to be decimal approximations: \(x \approx -4.414\) and \(x \approx -1.586\). We can verify if these are zeros easily enough. We find \(f(2) =(2)^2 + 4(2)^2-5(2)-14 = 0\), but \(f(-4.414) \approx 0.0039\) and \(f(-1.586) \approx 0.0022\), While these last two values are probably by some measures, ‘close’ to \(0\), they are not exactly equal to \(0\). The question becomes: is there a way to use the fact that \(x=2\) is a zero to obtain the other two zeros?
Based on our experience, if \(x=2\) is a zero, it seems that there should be a factor of \((x-2)\) lurking around in the factorization of \(f(x)\). In other words, we should expect that \(x^3 + 4x^2-5x-14=(x-2) \, q(x)\), where \(q(x)\) is some other polynomial. How could we find such a \(q(x)\), if it even exists? The answer comes from our old friend, polynomial division. (Again, see Section polylongdiv for a more detailed review.) Below on the right, we perform the long division: \((x^3 + 4x^2-5x-14) \div (x-2)\) and obtain \(x^2+6x+7\).
Said differently, \(f(x) = x^3 + 4x^2-5x-14=(x-2)\left (x^2+6x+7\right )\). Using this form of \(f(x)\), we find the zeros by solving \((x-2)\left (x^2+6x+7\right )=0\). Setting each factor equal to \(0\), we get \(x-2=0\) (which gives us our known zero, \(x=2\)) as well as \(x^2+6x+7=0\). The latter doesn’t factor nicely, so we apply the Quadratic Formula to get \(x = -3 \pm \sqrt {2}\). Sure enough, \(-3 - \sqrt {2} \approx -4.414\) and \(-3 +\sqrt {2} \approx -1.586\). We leave it to the reader to show \(f(-3-\sqrt {2}) = 0\) and \(f(-3+\sqrt {2}) = 0\). (See Exercise verifyrootsex.)
The point of this section is to generalize the technique applied here. First up is a friendly reminder of what we can expect when we divide polynomials.
Suppose \(d(x)\) and \(p(x)\) are nonzero polynomial functions where the degree of \(p\) is greater than or equal to the degree of \(d\). There exist two unique polynomial functions, \(q(x)\) and \(r(x)\), such that \(p(x) = d(x) \, q(x) + r(x),\,\) where either \(r(x) = 0\) or the degree of \(r\) is strictly less than the degree of \(d\).
As you may recall, all of the polynomials in Theorem polydivthm have special names. The polynomial \(p\) is called the dividend; \(d\) is the divisor; \(q\) is the quotient; \(r\) is the remainder. If \(r(x)=0\) then \(d\) is called a factor of \(p\). The word ‘unique’ here is critical in that it guarantees there is only one quotient and remainder for each division problem. The proof of Theorem polydivthm is usually relegated to a course in Abstract Algebra, but we can still use the result to establish two important facts which are the basis of the rest of the chapter.
The proof of Theorem remainderthm is a direct consequence of Theorem polydivthm. Since \(x-c\) has degree \(1\), when a polynomial function is divided by \(x-c\), the remainder is either \(0\) or degree \(0\) (i.e., a nonzero constant.) In either case, \(p(x) = (x-c) \, q(x) + r\), where \(r\), the remainder, is a real number, possibly \(0\). It follows that \(p(c) = (c-c) \, q(c) + r = 0 \cdot q(c) + r = r\), so we get \(r = p(c)\) as required. There is one last ‘low hanging fruit’ to collect which we present below.
Suppose \(p\) is a nonzero polynomial function. The real number \(c\) is a zero of \(p\) if and only if \((x-c)\) is a factor of \(p(x)\).
Once again, we see the phrase ‘if and only if’ which means there are really two things being said in The Factor Theorem: if \((x-c)\) is a factor of \(p(x)\), then \(c\) is a zero of \(p\) and the only way \(c\) is a zero of \(p\) is if \((x-c)\) is a factor of \(p(x)\).
We argue the Factor Theorem as follows: if \((x-c)\) is a factor of \(p(x)\), then \(p(x) = (x-c) \, q(x)\) for some polynomial \(q\). Hence, \(p(c) = (c-c) \, q(c) = 0\), so \(c\) is a zero of \(p\). Conversely, suppose \(c\) is a zero of \(p\), so \(p(c) = 0\). The Remainder Theorem tells us \(p(x) = (x-c)q(x) + p(c) = (x-c)q(x) + 0 = (x-c)q(x)\). Hence, \((x-c)\) is a factor of \(p(x)\).
We have enough theory to explain why the concept of multiplicity (Definition multiplicity) is well-defined. If \(c\) is a zero of \(p\), then The Factor Theorem tells us there is a polynomial function \(q_1\) so that \(p(x) = (x-c)q_1(x)\). If \(q_1(c) = 0\), then we apply the Factor Theorem to \(q_1\) and find a polynomial \(q_2\) so that \(q_1(x) = (x-c) q_2(x)\). Hence, we have
We now ‘rinse and repeat’ this process. Since the degree of \(p\) is a finite number, this process has to end at some point. That is we arrive at a factorization \(p(x) = (x-c)^m q(x)\) where \(q(c) \neq 0\). Suppose we arrive at a different factorization of \(p\) using other methods. That is, we find \(p(x) = (x-c)^k Q(x)\), where \(Q\) is a polynomial function with \(Q(c) \neq 0\). Then we have \((x-c)^m q(x) = (x-c)^k Q(x)\).
If \(m \neq k\), then either \(m<k\) or \(m>k\). If \(m<k\), then we may divide both sides by \((x-c)^{m}\) to get: \(q(x) = (x-c)^{k-m} Q(x)\). Since \(k>m\), \(k-m>0\) and we would have \(q(c) = (c-c)^{k-m} Q(c) = 0\), a contradiction since we are assuming \(q(c) \neq 0\). The assumption that \(m>k\) likewise ends in a contradiction. Therefore, we have \(m = k\), so \(p(x) = (x-c)^m q(x) = (x-c)^m Q(x)\). By the uniqueness guaranteed in Theorem polydivthm, we must have that \(q(x) = Q(x)\). Hence, the number \(m\) and quotient polynomial \(q(x)\) are unique.
The process outlined above, in which we coax out factors of \(p(x)\) one at a time until we have all of them serves as a template for our work to come. Of the things The Factor Theorem tells us, the most pragmatic is that we had better find a more efficient way to divide polynomial functions by quantities of the form \(x-c\). Fortunately, people like Ruffini and Horner have already blazed this trail. Let’s take a closer look at the long division we performed at the beginning of the section and try to streamline it. First off, let’s change all of the subtractions into additions by distributing through the \(-1\)s.
Next, observe that the terms \(-x^3\), \(-6x^2\) and \(-7x\) are the exact opposite of the terms above them. The algorithm we use ensures this is always the case, so we can omit them without losing any information.
Also note that the terms we ‘bring down’ (namely the \(-5x\) and \(-14\)) aren’t really necessary to recopy, so we omit them, too.
Let’s move terms up a bit and copy the \(x^3\) into the last row.
Note that by arranging things in this manner, each term in the last row is obtained by adding the two terms above it. Notice also that the quotient polynomial can be obtained by dividing each of the first three terms in the last row by \(x\) and adding the results.
If you take the time to work back through the original division problem, you will find that this is exactly the way we determined the quotient polynomial. This means that we no longer need to write the quotient polynomial down, nor the \(x\) in the divisor, to determine our answer.
We’ve streamlined things quite a bit so far, but we can still do more. Let’s take a moment to remind ourselves where the \(2x^2\), \(12x\) and \(14\) came from in the second row. Each of these terms was obtained by multiplying the terms in the quotient, \(x^2\), \(6x\) and \(7\), respectively, by the \(-2\) in \(x-2\), then by \(-1\) when we changed the subtraction to addition.
Multiplying by \(-2\) then by \(-1\) is the same as multiplying by \(2\), so we replace the \(-2\) in the divisor by \(2\). Furthermore, the coefficients of the quotient polynomial match the coefficients of the first three terms in the last row, so we now take the plunge and write only the coefficients of the terms to get
We have constructed a synthetic division tableau for this polynomial division problem. Let’s re-work our division problem using this tableau to see how it greatly streamlines the division process.
To divide \(x^3+4x^2-5x-14\) by \(x-2\), we write \(2\) in the place of the divisor and the coefficients of \(x^3+4x^2-5x-14\) in for the dividend. Then ‘bring down’ the first coefficient of the dividend.
| \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\phantom {1 \quad \quad 2 \quad \quad 12 \quad \quad 14 }}\\ \phantom {1 \quad \quad 6 \quad \quad 7 \quad \quad \quad 0} \end{array} \) | \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\downarrow \quad \quad \phantom { \quad \quad 11 \quad \quad 1.1 }}\\ 1 \quad \quad \phantom {6 \quad \quad 7 \quad \quad \quad 0} \end{array} \) |
Next, take the \(2\) from the divisor and multiply by the \(1\) that was ‘brought down’ to get \(2\). Write this underneath the \(4\), then add to get \(6\).
| \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\downarrow \quad \quad 2 \quad \quad \phantom {12 \quad \quad .4 }}\\ 1 \quad \quad \phantom {6 \quad \quad 7 \quad \quad \quad 0} \end{array} \) | \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\downarrow \quad \quad 2 \quad \quad \phantom {12 \quad \quad .4 }}\\ 1 \quad \quad 6 \quad \quad \phantom {7 \quad \quad \quad 0} \end{array} \) |
Now take the \(2\) from the divisor times the \(6\) to get \(12\), and add it to the \(-5\) to get \(7\).
| \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\downarrow \quad \quad 2 \quad \quad 12 \quad \quad \phantom {.4}}\\ 1 \quad \quad 6 \quad \quad \phantom {7 \quad \quad \quad 0} \end{array} \) | \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\downarrow \quad \quad 2 \quad \quad 12 \quad \quad \phantom {.4 }}\\ 1 \quad \quad 6 \quad \quad 7 \quad \quad \quad \phantom {0} \end{array} \) |
Finally, take the \(2\) in the divisor times the \(7\) to get \(14\), and add it to the \(-14\) to get \(0\).
| \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\downarrow \quad \quad 2 \quad \quad 12 \quad \quad 14}\\ 1\phantom {.} \quad \quad 6 \quad \quad 7 \quad \quad \quad \phantom {0} \end{array} \) | \( \begin{array}{r} 2 \quad |\quad 1 \quad \quad 4 \quad -5 \quad -14 \\ \underline {\downarrow \quad \quad 2 \quad \quad 12 \quad \quad 14}\\ 1\phantom {.} \quad \quad 6 \quad \quad 7 \quad \quad \fbox {0} \end{array} \) |
The first three numbers in the last row of our tableau are the coefficients of the quotient polynomial. Remember, we started with a third degree polynomial and divided by a first degree polynomial, so the quotient is a second degree polynomial. Hence the quotient is \(x^2+6x+7\).
The number in the box is the remainder. Synthetic division is our tool of choice for dividing polynomials by divisors of the form \(x-c\). It is important to note that it works only for these kinds of divisors.
Also take note that when a polynomial (of degree at least \(1\)) is divided by \(x-c\), the result will be a polynomial of exactly one less degree. Finally, it is worth the time to trace each step in synthetic division back to its corresponding step in long division. While the authors have done their best to indicate where the algorithm comes from, there is no substitute for working through it yourself.
Solution.
When setting up the synthetic division tableau, the coefficients of even ‘missing’ terms need to be accounted for, so we enter \(0\) for the coefficient of \(x\) in the dividend.
\( \begin{array}{r} 3 \quad |\quad 5 \quad \quad -2 \quad \quad 0 \quad \quad \phantom {1.} 1 \\ \underline {\downarrow \phantom {1} \quad \quad 15 \quad \quad 39 \phantom {1} \quad 117}\\ 5\phantom {1.} \quad \quad 13 \quad \quad 39 \quad \fbox {118} \end{array} \)
Since the dividend was a third degree polynomial function, the quotient is a second degree (quadratic) polynomial function with coefficients \(5\), \(13\) and \(39\): \(q(x) = 5x^2+13x+39\). The remainder is \(r(x) = 118\). According to Theorem polydivthm, we have \(5x^3 - 2x^2 + 1 = (x-3)\left (5x^2+13x+39 \right ) + 118\), which we leave to the reader to check.
To use synthetic division here, we rewrite \(t+2\) as \(t-(-2)\) and proceed as before
\( \begin{array}{r} -2 \quad |\quad 1 \quad \quad 0 \quad \quad 0 \quad \quad 8 \\ \underline {\downarrow \quad -2 \quad \phantom {1.} 4 \quad -8}\\ 1 \quad -2 \phantom {1.}\quad 4 \phantom {1.}\quad \fbox {0} \end{array} \)
We get the quotient \(q(t) = t^2-2t+4\) and the remainder \(r(t) =0\). Relating the dividend, quotient and remainder gives: \(t^3+8 = (t+2)\left ( t^2-2t+4 \right )\), which is a specific instance of the ‘sum of cubes’ formula some of you may recall from Intermediate Algebra.
To divide \(4-8z-12z^2\) by \(2z-3\), two things must be done. First, we write the dividend in descending powers of \(z\) as \(-12z^2-8z+4\). Second, since synthetic division works only for factors of the form \(z-c\), we factor \(2z-3\) as \(2\left (z-\frac {3}{2}\right )\). Hence, we are dividing \(-12z^2-8z+4\) by two factors: \(2\) and \(\left (z-\frac {3}{2}\right )\). Dividing first by \(2\), we obtain \(-6z^2-4z+2\). Next, we divide \(-6z^2-4z+2\) by \(\left (z-\frac {3}{2}\right )\):
\( \begin{array}{r} \frac {3}{2} \quad |\quad -6 \quad -4 \quad \quad \quad 2 \\ \underline {\downarrow \quad -9\phantom {.} \quad -\frac {39}{2}}\\ -6 \quad -13 \quad -\frac {35}{2} \end{array} \)
Hence, \(-6z^2-4z+2 = \left (z-\frac {3}{2}\right )(-6 z - 13) - \frac {35}{2}\). However when it comes to writing the dividend, quotient and remainder in the form given in Theorem polydivthm, we need to find \(q(z)\) and \(r(z)\) so that \(-12z^2-8z+4 = (2z-3) q(z) + r(z)\). Hence, starting with \(-6z^2-4z+2 = \left (z-\frac {3}{2}\right )(-6 z - 13) - \frac {35}{2}\), we multiply \(2\) back on both sides:
At this stage, we have written \(-12z^2-8z+4\) in the form \((2z-3) q(z) + r(z)\), so we identify the quotient as \(q(z) = -6z-13\) and the remainder is \(r(z) = -35\).
But how can we be sure these are the same quotient and remainder polynomial functions we would have obtained if we had taken the time to do the long division in the first place? Because of the word ‘unique’ in Theorem polydivthm. The theorem states that there is only one way to decompose \(-12z^2-8z+4\) as \((2z-3)q(z) + r(z)\). Since we have found such a way, we can be sure it is the only way. □
The next example pulls together all of the concepts discussed in this section.
Solution.
The Remainder Theorem states \(p(-2)\) is the remainder when \(p(x)\) is divided by \(x-(-2)\). We set up our synthetic division tableau below. We are careful to record the coefficient of \(x^2\) as \(0\):
\( \begin{array}{r} -2 \quad |\quad 2 \quad \quad 0 \quad \quad -5 \phantom {1.}\quad \quad 3 \\ \underline {\downarrow \quad \phantom {.} -4 \quad \quad 8 \quad \quad -6}\\ 2 \quad -4 \quad \phantom {111} 3 \phantom {11}\quad \fbox {-3} \end{array} \)
According to the Remainder Theorem, \(p(-2) = -3\). We can check this by direct substitution into the formula for \(p(x)\): \(p(-2) = 2(-2)^3-5(-2)+3 = -16+10+3=-3\).
We verify \(x=1\) is a zero of \(p\) by evaluating \(p(1) = 2(1)^3-5(1)+3 = 0\). To see if there are any more real zeros, we need to solve \(p(x) = 2x^3-5x+3 = 0\). From the Factor Theorem, we know since \(p(1) = 0\), we can factor \(p(x)\) as \((x-1)q(x)\). To find \(q(x)\), we use synthetic division:
\( \begin{array}{r} -2 \quad |\quad 2 \quad \quad 0 \phantom {11}\quad -5 \quad \quad 3 \\ \underline {\downarrow \quad \quad 2 \quad \quad \phantom {.} 2 \quad \phantom {1} -3}\\ 2 \phantom {1}\quad \quad 2 \phantom {1}\quad -3 \phantom {1}\quad \fbox {0} \end{array} \)
As promised, our remainder is \(0\), and we get \(p(x) = (x-1)\left ( 2x^2 + 2x - 3\right )\). Setting this form of \(p(x)\) equal to \(0\) we get \((x-1)\left ( 2x^2 + 2x - 3\right ) = 0\). We recover \(x = 1\) from setting \(x-1=0\) but we also obtain \(x = \frac {-1 \pm \sqrt {7}}{2}\) from \(2x^2 + 2x - 3=0\), courtesy of the Quadratic Formula. □
Our next example demonstrates how we can extend the synthetic division tableau to accommodate zeros of multiplicity greater than \(1\).
Solution. While computing \(p\left (\frac {1}{2} \right ) = 0\) shows \(x=\frac {1}{2}\) is a zero of \(p\), to prove it has multiplicity \(2\), we need to factor \(p(x) = \left (x - \frac {1}{2}\right )^2 q(x)\) with \(q\left ( \frac {1}{2} \right ) \neq 0\),. We set up for synthetic division, but instead of stopping after the first division, we continue the tableau downwards and divide \(\left (x - \frac {1}{2}\right )\) directly into the quotient we obtained from the first division as follows:
\( \begin{array}{r} \frac {1}{2} \quad |\quad 4 \quad \quad -4 \quad \quad -11 \quad \quad 12 \quad \quad 3\\ \underline {\downarrow \phantom {11}\quad \quad 2 \quad \phantom {1.} -1\quad \phantom {1.} -6 \quad \quad 3}\\ \frac {1}{2} \quad |\quad 4 \quad \quad -2 \quad \quad -12 \quad \quad 6 \quad \quad \fbox {0}\\ \underline {\downarrow \phantom {11}\quad \quad 2 \quad \phantom {111} 0\quad \phantom {1.} -6 \phantom {\quad \quad \fbox {0}}}\\ 4 \phantom {1.}\quad \quad 0 \phantom {1.}\quad -12 \phantom {1.}\quad \fbox {0} \phantom {\quad \quad \fbox {0}} \end{array} \)
We get: \(4x^4-4x^3-11x^2+12x-3 = \left (x-\frac {1}{2}\right )^2\left (4x^2-12\right )\). Note if we let \(q(x) = 4x^2-12\), then \(q\left (\frac {1}{2} \right ) = 4\left (\frac {1}{2} \right )^2 - 12 = -11 \neq 0\) which proves \(x = \frac {1}{2}\) is a zero of \(p\) of multiplicity \(2\). To find the remaining zeros of \(p\), we set the quotient \(4x^2-12=0\), so \(x^2 = 3\) and extract square roots to get \(x = \pm \sqrt {3}\). □
A couple of things about the last example are worth mentioning. First, the extension of the synthetic division tableau for repeated divisions will be a common site in the sections to come. Typically, we will start with a higher order polynomial and peel off one zero at a time until we are left with a quadratic, whose roots can always be found using the Quadratic Formula.
Secondly, we found \(x = \pm \sqrt {3}\) are zeros of \(p\). The Factor Theorem guarantees \(\left (x-\sqrt {3}\right )\) and \(\left (x - \left (-\sqrt {3}\right )\right )\) are both factors of \(p\). We can certainly put the Factor Theorem to the test and continue the synthetic division tableau from above to see what happens.
\( \begin{array}{r} \frac {1}{2} \quad |\quad 4 \quad \quad -4 \quad \quad -11 \quad \quad 12 \quad \quad 3\\ \underline {\downarrow \phantom {11}\quad \quad 2 \quad \phantom {1.} -1\quad \phantom {1.} -6 \quad \quad 3}\\ \frac {1}{2} \quad |\quad 4 \quad \quad -2 \quad \quad -12 \quad \quad 6 \quad \quad \fbox {0}\\ \underline {\downarrow \phantom {11}\quad \quad 2 \quad \phantom {111} 0\quad \phantom {1.} -6 \phantom {\quad \quad \fbox {0}}}\\ \sqrt {3} \quad |\quad 4 \phantom {1.}\quad \quad 0 \phantom {1.}\quad -12 \phantom {1.}\quad \fbox {0} \phantom {\quad \quad \fbox {0}}\\ \underline {\downarrow \phantom {11}\quad 4\sqrt {3} \quad \phantom {111} 12\quad \phantom {-6 \quad \quad \fbox {0}}}\\ -\sqrt {3} \quad |\quad \quad 4 \quad \quad \phantom {1.} 4\sqrt {3} \phantom {1.}\quad \fbox {0} \phantom {1.} \phantom {-12 \phantom {1.} \quad \fbox {0}}\\ \underline {\downarrow \quad \phantom {.} -4\sqrt {3} \phantom {111} \phantom {12\quad -6 \quad \quad \fbox {0}}}\\ 4 \phantom {11.}\quad \quad \fbox {0} \phantom {1.}\quad \phantom {-12 \phantom {1.}\quad \quad \quad \fbox {0}} \end{array} \)
This gives us
We have shown that \(p\) is a product of its leading coefficient times linear factors of the form \((x-c)\) where \(c\) are zeros of \(p\). It may surprise and delight the reader that, in theory, all polynomials can be reduced to this kind of factorization. We leave that discussion to Section ComplexZeros, because the zeros may not be real numbers. Our final theorem in the section gives us an upper bound on the number of real zeros.
Suppose \(f\) is a polynomial of degree \(n \geq 1\). Then \(f\) has at most \(n\) real zeros, counting multiplicities.
Theorem nzerosreal is a consequence of the Factor Theorem and polynomial multiplication. Every zero \(c\) of \(f\) gives us a factor of the form \((x-c)\) for \(f(x)\). Since \(f\) has degree \(n\), there can be at most \(n\) of these factors. The next section provides us some tools which not only help us determine where the real zeros are to be found, but which real numbers they may be.
We close this section with a summary of several concepts previously presented. You should take the time to look back through the text to see where each concept was first introduced and where each connection to the other concepts was made.
Suppose \(p\) is a polynomial function of degree \(n \geq 1\). The following statements are equivalent: