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\).

\[ \begin{array}{r} x^2 + 6x + 7 \\ x - 2 \quad \overline {)\quad x^3 + 4x^2 - 5x - 14 \,} \\ -\underline {(x^3 - 2x^2)} \phantom {- 5x - 14} \\ 6x^2 - 5x \phantom {- 14} \\ -\underline {(6x^2 - 12x)} \phantom {- 14} \\ 7x - 14 \\ -\underline {(7x - 14)} \\ 0 \end{array} \]

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.

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.

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

\[p(x) = (x-c) q_1(x) = (x-c) (x-c) q_2(x) = (x-c)^2 q_2(x).\]

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.

\[ \begin{array}{r} x^2 + 6x + 7 \\ x - 2 \quad \overline {)\quad x^3 + 4x^2 - 5x - 14 \,} \\ \underline {-x^3 + 2x^2} \phantom {- 5x - 14} \\ 6x^2 - 5x \phantom {- 14} \\ \underline {-6x^2 + 12x} \phantom {- 14} \\ 7x - 14 \\ \underline {-7x + 14} \\ 0 \end{array} \]

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.

\[ \begin{array}{r} x^2 + 6x + 7 \\ x - 2 \quad \overline {)\quad x^3 + 4x^2 - 5x - 14 \,} \\ \underline {\phantom {-x^3} + 2x^2} \phantom {- 5x - 14} \\ 6x^2 \phantom {- 5x - 14} \\ \underline {\phantom {-6x^2 +} 12x} \phantom {- 14} \\ 7x \phantom {- 14} \\ \underline {\phantom {-7x +} 14} \\ 0 \end{array} \]

Let’s move terms up a bit and copy the \(x^3\) into the last row.

\[ \begin{array}{r} x^2 + 6x + \phantom {7}7 \\ x - 2 \quad \overline {)\quad x^3 + 4x^2 - \phantom {7}5x - 14 \,} \\ \underline {\phantom {-x^3 +} 2x^2 \phantom {777} 12x \quad 14}\\ x^3 \quad 6x^2 \quad \phantom {7}7x \quad \quad 0 \end{array} \]

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.

\[ \begin{array}{r} - 2 \quad | \quad x^3 + 4x^2 - \phantom {7}5x - 14 \, \\ \underline {\phantom {-x^3 +} 2x^2 \phantom {777} 12x \quad 14}\\ x^3 \quad 6x^2 \quad \phantom {7}7x \quad \quad 0 \end{array} \]

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

\[ \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 }\\ 1 \quad \quad 6 \quad \quad 7 \quad \quad \quad 0 \end{array} \]

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.

The next example pulls together all of the concepts discussed in this section.

Our next example demonstrates how we can extend the synthetic division tableau to accommodate zeros of multiplicity greater than \(1\).

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

\[\begin{array}{rcl} p(x) & = & 4x^4-4x^3-11x^2+12x-3 \\ & = & \left (x-\frac {1}{2}\right )^2 \left (x-\sqrt {3}\right )\left (x - \left (-\sqrt {3}\right )\right ) (4) \\ & = & 4\left (x-\frac {1}{2}\right )^2 \left (x-\sqrt {3}\right )\left (x - \left (-\sqrt {3}\right )\right ) \\ \end{array} \]

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.

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.

Connections Between Zeros, Factors and Graphs of Polynomial Functions

  Suppose \(p\) is a polynomial function of degree \(n \geq 1\). The following statements are equivalent:

  • The real number \(c\) is a zero of \(p\)
  • \(p(c) = 0\)
  • \(x = c\) is a solution to the polynomial equation \(p(x) = 0\)
  • \((x - c)\) is a factor of \(p(x)\)
  • The point \((c, 0)\) is an \(x\)-intercept of the graph of \(y = p(x)\)