In Section Polydivision, we found that we can use synthetic division to determine if a given real number is a zero of a polynomial function. This section presents results which will help us determine good candidates to test using synthetic division. There are two approaches to the topic of finding the real zeros of a polynomial. The first approach is to use a little bit of Mathematics followed by a good use of technology like graphing utilities. The second approach makes good use of mathematical machinery (theorems) only. For completeness, we include the two approaches but in separate subsections. Both approaches benefit from the following two theorems, the first of which is due to the famous mathematician Augustin Cauchy. It gives us an interval on which all of the real zeros of a polynomial can be found.

There’s a lot going on in the statement of Cauchy’s Bound, so we’ll get right to an example and show how it is used. For those wanting a proof of Cauchy’s Bound, see Exercise CauchyBoundProofExercise in Section Summation.

Whereas the previous result tells us where we can find the real zeros of a polynomial, the next theorem gives us a list of possible real zeros.

The Rational Zeros Theorem gives us a list of numbers to try in our synthetic division and that is a lot nicer than simply guessing. If none of the numbers in the list are zeros, then either the polynomial has no real zeros at all, or all of the real zeros are irrational numbers. To see why the Rational Zeros Theorem works, suppose \(c\) is a zero of \(f\) and \(c = \frac {p}{q}\) in lowest terms. This means \(p\) and \(q\) have no common factors. Since \(f(c) = 0\), we have

\[a_{n} \left (\frac {p}{q}\right )^{n} + a_{n-1}\left (\frac {p}{q}\right )^{n-1} + \ldots + a_{1} \left (\frac {p}{q}\right ) + a_0 = 0.\]

Multiplying both sides of this equation by \(q^n\), we clear the denominators to get

\[a_{n}p^{n} + a_{n-1}p^{n-1}q + \ldots + a_{1}p q^{n-1} + a_0q^n = 0\]

Rearranging this equation, we get

\[a_{n}p^{n} = -a_{n-1}p^{n-1}q - \ldots - a_{1}p q^{n-1} -a_0q^n\]

Now, the left hand side is an integer multiple of \(p\), and the right hand side is an integer multiple of \(q\). (Can you see why?) This means \(a_{n}p^{n}\) is both a multiple of \(p\) and a multiple of \(q\). Since \(p\) and \(q\) have no common factors, \(a_{n}\) must be a multiple of \(q\). If we rearrange the equation

\[a_{n}p^{n} + a_{n-1}p^{n-1}q + \ldots + a_{1}p q^{n-1} + a_0q^n = 0\]

as

\[a_0q^n = -a_{n}p^{n} - a_{n-1}p^{n-1}q - \ldots - a_{1}p q^{n-1}\]

we can play the same game and conclude \(a_0\) is a multiple of \(p\), and we have the result.

Our discussion now diverges between those who wish to use technology and those who do not.

1 For Those Wishing to use a Graphing Utility

At this stage, we know not only the interval in which all of the zeros of \(f(x) = 2x^4+4x^3-x^2-6x-3\) are located, but we also know some potential candidates. We can now use our calculator to help us determine all of the real zeros of \(f\), as illustrated in the next example.

Our next example shows how even a mild-mannered polynomial can cause problems.

A couple of remarks are in order. First, the graph of \(f(x) = x^4 + x^2 - 12\) appears to be symmetric about the \(y\)-axis. Sure enough, we find \(f(-x) = (-x)^4+(-x)^2 - 12 = x^4+x^2=12 = f(x)\) proving \(f\) is, indeed, an even function, thus proving the symmetry suggested by the graph. Second, the technique used to factor \(f(x)\) in Example 4 is called \(u\)-substitution. We shall this technique now and then in the sections to come, so it is worth taking the time to let this idea sink in. In general, substitution can help us identify a ‘quadratic in disguise’ - in essence, it helps us ‘see the forest for the trees.’ Last, but not least, it is entirely possible that a polynomial has no real roots at all, or worse, it has real roots but none of the techniques discussed in this section can help us find them exactly. In the latter case, we are forced to approximate using technology.

2 For Those Wishing NOT to use a Graphing Calculator

Suppose we wish to find the zeros of \(f(x) = 2x^4+4x^3-x^2-6x-3\) without using the calculator. In this subsection, we present some more advanced mathematical tools (theorems) to help us. Our first result is due to René Descartes.

A few remarks are in order. First, to use Descartes’ Rule of Signs, we need to understand what is meant by a ‘variation in sign’ of a polynomial function. Consider \(f(x) = 2x^4+4x^3-x^2-6x-3\). If we focus on only the signs of the coefficients, we start with a \((+)\), followed by another \((+)\), then switch to \((-)\), and stay \((-)\) for the remaining two coefficients. Since the signs of the coefficients switched once as we read from left to right, we say that \(f(x)\) has one variation in sign. When we speak of the variations in sign of a polynomial function \(f\) we assume the formula for \(f(x)\) is written with descending powers of \(x\), as in Definition ??, and concern ourselves only with the nonzero coefficients. Second, unlike the Rational Zeros Theorem, Descartes’ Rule of Signs gives us an estimate to the number of positive and negative real zeros, not the actual value of the zeros. Lastly, Descartes’ Rule of Signs counts multiplicities. This means that, for example, if one of the zeros has multiplicity \(2\), Descsartes’ Rule of Signs would count this as two zeros. Lastly, note that the number of positive or negative real zeros always starts with the number of sign changes and decreases by an even number. For example, if \(f(x)\) has \(7\) sign changes, then, counting multplicities, \(f\) has either \(7\), \(5\), \(3\) or \(1\) positive real zero. This implies that the graph of \(y=f(x)\) crosses the positive \(x\)-axis at least once. If \(f(-x)\) results in \(4\) sign changes, then, counting multiplicities, \(f\) has \(4\), \(2\) or \(0\) negative real zeros; hence, the graph of \(y=f(x)\) may not cross the negative \(x\)-axis at all. The proof of Descartes’ Rule of Signs is a bit technical, and can be found here.

Cauchy’s Bound gives us a general bound on the zeros of a polynomial function. Our next result helps us determine bounds on the real zeros of a polynomial as we synthetically divide which are often sharper bounds than Cauchy’s Bound.

The Upper and Lower Bounds Theorem works because of Theorem ??. For the upper bound part of the theorem, suppose \(c>0\) is divided into \(f\) and the resulting line in the division tableau contains, for example, all nonnegative numbers. This means \(f(x) = (x-c) q(x) + r\), where the coefficients of the quotient polynomial and the remainder are nonnegative. (Note that the leading coefficient of \(q\) is the same as \(f\) so \(q(x)\) is not the zero polynomial.) If \(b > c\), then \(f(b) = (b-c) q(b) + r\), where \((b-c)\) and \(q(b)\) are both positive and \(r \geq 0\). Hence \(f(b) > 0\) which shows \(b\) cannot be a zero of \(f\). Thus no real number \(b > c\) can be a zero of \(f\), as required. A similar argument proves \(f(b) < 0\) if all of the numbers in the final line of the synthetic division tableau are non-positive. To prove the lower bound part of the theorem, we note that a lower bound for the negative real zeros of \(f(x)\) is an upper bound for the positive real zeros of \(f(-x)\), since all we are doing is reflecting the numbers across the \(x=0\). Applying the upper bound portion to \(f(-x)\) gives the result. (Do you see where the alternating signs come in?) With the additional mathematical machinery of Descartes’ Rule of Signs and the Upper and Lower Bounds Theorem, we can find the real zeros of \(f(x) = 2x^4+4x^3-x^2-6x-3\) without the use of a graphing utility.

3 The Intermediate Value Theorem and Inequalities

As we mentioned in Section ??, polynomial functions are continuous. An important property of continuous functions is that they cannot change sign between two values unless there is a zero in between. We used this property of quadratic functions when constructing sign diagrams to help us solve inequalities (see Section ??.) This property is a version of the celebrated Intermediate Value Theorem.

The Intermediate Value Theorem is discussed in greater detail in Calculus, and its proof is usually delayed until a formal analysis course. It is an example of an ‘existence’ theorem - it tells us that, under suitable conditions, a zero exists - but offers us no algorithm to find it. Its use to us in this section is that it provides the justification needed to create sign diagrams for general polynomial functions in the same manner in which we constructed them for quadratic functions.

Steps for Constructing a Sign Diagram for a Polynomial Function

Suppose \(f\) is a polynomial function.

  1. Find the zeros of \(f\) and place them on the number line with the number \(0\) above them.
  2. Choose a real number, called a test value, in each of the intervals determined in step 1.
  3. Determine and record the sign of \(f(x)\) for each test value in step 2.

The Intermediate Value Theorem justifies the use of just one ‘test’ value in the algorithm above, since a continuous function cannot change signs on an interval without there being a zero on that interval. Since we have found the zeros in Step 1 of the algorithm and used these to create the intervals for Step 2, there cannot be any sign changes on any of the intervals in Step 2.

Not surprisingly, we use sign diagrams to solve inequalities involving higher order polynomial functions in the same way we used them to solve inequalities involving quadratic functions. We reproduce our algorithm from section ?? for reference.

Solving Inequalities using Sign Diagrams

To solve an inequality using a sign diagram:

  1. Rewrite the inequality so a function \(f(x)\) is being compared to ‘\(0\).’
  2. Make a sign diagram for \(f\).
  3. Record the solution.

Note that we could have used end behavior and the concept of multiplicity to create the sign diagram used in Example 7 as follows. We know the end behavior of \(p(x) = 2x^5-3x^4+6x^3-8x^2+3\) matches that of \(y = 2x^5\) which means \(\ds {\lim _{x \rightarrow -\infty } p(x) = -\infty }\). This means for the interval \(\left (-\infty , -\frac {1}{2}\right )\), \(p(x) < 0\) or \((-)\). From our work finding the zeros of \(p\), we can deduce the multiplicity of the zero \(x = -\frac {1}{2}\) is \(1\) which means the graph of \(y = p(x)\) crosses through the \(x\)-axis at \(\left ( -\frac {1}{2}, 0 \right )\), hence, changing sign from \((-)\) to \((+)\). Finally, we can deduce the multiplicity of the zero \(x = 1\) is \(2\) which means the graph of \(y = p(x)\) rebounds here, meaning the sign of \(p(x)\) for \(x > 1\) is \((+)\). This matches the end behavior, since \(\ds {\lim _{x \rightarrow \infty } p(x) = \infty }\). The reader is encouraged to tackle any given problem using whatever tools are comfortable and convenient, but it also never hurts to think outside the box and revisit a problem from a variety of perspectives.

Next up is an application problem torn from Exercises ?? - ?? of Section ??.

It would be a sin of omission if the authors left the reader with the impression that the theory in this section is compete in that given any polynomial function, provided here are the tools to find all of its real zeros exactly. The reality is this couldn’t be further from the truth. In general, no matter how many theorems you throw at a polynomial, it may well be impossible to express its zeros exactly. The polynomial \(f(x) = x^5-x-1\) is one such beast. According to Descartes’ Rule of Signs, \(f\) has exactly one positive real zero, and it could have two negative real zeros, or none at all. The Rational Zeros Test gives us \(\pm 1\) as rational zeros to try but neither of these work since \(f(1) = f(-1) = -1\). If we try the substitution technique we used in Example 4, we find \(f(x)\) has three terms, but the exponent on the \(x^5\) isn’t exactly twice the exponent on \(x\). How could we go about approximating the positive zero? We use the Bisection Method.

The first step in the Bisection Method is to find an interval on which \(f\) changes sign. We know \(f(1) = -1\) and we find \(f(2) = 29\). By the Intermediate Value Theorem, we know that the zero of \(f\) lies in the interval \([1,2]\). Next, we ‘bisect’ this interval by finding the midpoint, \(1.5\). We compute \(f(1.5)\approx 5.09\). Once again, the Intermediate Value Theorem guarantees our zero is between \(1\) and \(1.5\), since \(f\) changes sign on this interval. Now, we ‘bisect’ the interval \([1,1.5]\) and find \(f(1.25) \approx 0.80\), so now we have the zero between \(1\) and \(1.25\). Bisecting \([1,1.25]\), we find \(f(1.125) \approx -0.32\), which means the zero of \(f\) is between \(1.125\) and \(1.25\). We continue in this fashion until we have ‘sandwiched’ the zero between two numbers whose digits agree to a desired amount. You can think of the Bisection Method as reversing the sign diagram process: instead of finding the zeros and checking the sign of \(f\) using test values, we are using test values to determine where the signs switch to find the zeros. It is a slow and tedious, yet fool-proof, method for approximating a real zero when the other analytical methods fail us.