# 2.7: Approximating Real Zeros of Polynomial Functions

**At Grade**Created by: CK-12

## Learning Objectives

- Understand the statement of the Intermediate Value Theorem
- Apply the intermediate value theorem to find bounds on the zeros of a function
- Use numerical methods to find roots of a polynomial

## Intermediate Value Theorem & Bounds on Zeros

The intermediate value theorem offers one way to find roots of a continuous function. Recall that our informal definition of *continuous* is that a function is continuous over a certain interval if it has no breaks, jumps asymptotes, or holes in that interval. Polynomial functions are continuous for all real numbers \begin{align*}x\end{align*}. Rational functions are often not continuous over the set of real numbers because of asymptotes or holes in the graph. But for intervals without holes, rational functions are continuous.

If we know a function is continuous over some interval \begin{align*}[a,b]\end{align*}, then we can use the intermediate value theorem:

**Intermediate Value Theorem**

If \begin{align*}f(x)\end{align*} is continuous on some interval \begin{align*}[a,b]\end{align*} and \begin{align*}n\end{align*} is between \begin{align*}f(a)\end{align*} and \begin{align*}f(b)\end{align*}, then there is some \begin{align*}c\in[a,b]\end{align*} such that \begin{align*}f(c)=n\end{align*}.

The following graphs highlight how the intermediate value theorem works. Consider the graph of the function \begin{align*}f(x)=\frac{1}{4} \left ( x^{3}-\frac{5x^{2}}{2}-9x \right )\end{align*} below on the interval [-3, -1].

\begin{align*}f(-3)=-5.625\end{align*} and \begin{align*}f(-1)=1.375\end{align*}. If we draw bounds on [-3, -1] and \begin{align*}[f(-3),f(-1)]\end{align*}, then we see that for any \begin{align*}y-\end{align*}value between \begin{align*}y=-5.625\end{align*} and \begin{align*}y=1.375\end{align*}, there must be an \begin{align*}x\end{align*} value in [-3, -1] such that \begin{align*}f(x)=y\end{align*}.

So, for example, if we choose \begin{align*}c=-2\end{align*}, we know that for some \begin{align*}x\in[-3,-1], f(x)=-2,\end{align*} even though solving this by hand would be a chore!

## The Bounds on Zeros Theorem

The Bounds on Zeros Theorem is a corollary to the Intermediate Value Theorem:

**Bounds on Zeros Theorem**

If \begin{align*}f\end{align*} is continuous on \begin{align*}[a,b]\end{align*} and there is a sign change between \begin{align*}f(a)\end{align*} and \begin{align*}f(b)\end{align*} (that is, \begin{align*}f(a)\end{align*} is positive and \begin{align*}f(b)\end{align*} is negative, or vice versa), then there is a \begin{align*}c\in(a,b)\end{align*} such that \begin{align*}f(c)=0\end{align*}.

The bounds on zeros theorem is a corollary to the intermediate value theorem because it is not fundamentally different from the general statement of the IVT, just a special case where \begin{align*}n=0\end{align*}.

Looking back at \begin{align*}f(x)=\frac{1}{4} \left (x^{3}-\frac{5x^{2}}{2}-9x \right )\end{align*} above, because \begin{align*}f(-3)<0\end{align*} and \begin{align*}f(-1)>0\end{align*}, we know that for some \begin{align*}x\in[-3,-1], f(x)\end{align*} has a root. In fact, that root is at \begin{align*}x=2\end{align*}. and we can test that using synthetic division or by evaluating \begin{align*}f(2)\end{align*} directly.

**Example 1**

Show that \begin{align*}f(x)=-3x^{3}+5x\end{align*} has at least one root in the interval [1, 2]

Solution

Since \begin{align*}f(x)\end{align*} is a polynomial we know that it is continuous. \begin{align*}f(1)=2\end{align*} and \begin{align*}f(2)=-14\end{align*}. Let \begin{align*}n=0\in[-14,2]\end{align*}. Applying the Intermediate Value Theorem, there must exist some point \begin{align*}c\in[1,2]\end{align*} such that \begin{align*}f(c)=0\end{align*}. This proves that \begin{align*}f(x)\end{align*} has a root in [1, 2].

**Example 2**

The table below shows several sample values of a polynomial \begin{align*}p(x)\end{align*}.

\begin{align*}& x && -4 && -2 && \qquad 0 && \qquad 1 && \quad 4 && 6 && \qquad 8 && \qquad 10 && \qquad 15 && 18\\ & p(x) && 44.15 && 6.62 && -4.12 && -4.09 && 1.16 && 0 && -8.74 && -24.07 && -49.89 && 3.41\end{align*}

Based on the information in the table

(a) What is the minimum number of roots of \begin{align*}p(x)\end{align*}?

(b) What are bounds on the roots of \begin{align*}p(x)\end{align*} that you identified in (a)?

Solution

Since \begin{align*}p(x)\end{align*} is a polynomial we already know that it is continuous. We can use the Intermediate Value Theorem to identify roots by looking at when \begin{align*}p(x)\end{align*} changes from negative to positive, or from positive to negative.

(a) There are four sign changes of \begin{align*}p(x)\end{align*} in the table, so at minimum, \begin{align*}p(x)\end{align*} has four roots.

(b) The roots are in the following intervals \begin{align*}x\in[-2,0], x\in[1,4], x\in[15,18],\end{align*} and the table also tells us that one root is at \begin{align*}x=6\end{align*}.

## Approximate Zeros of Polynomials Functions

In calculus you will learn several methods for numerically approximating the roots of functions. In this section we show one elementary numerical method for finding the zeros of a polynomial which takes advantage of the Intermediate Value Theorem.

Given a continuous function \begin{align*}g(x)\end{align*},

- Find two points such that \begin{align*}g(a)>0\end{align*} and \begin{align*}g(b)<0\end{align*}. Once you have found these two points, you can iteratively use the steps below to find the root of \begin{align*}g(x)\end{align*} on the interval \begin{align*}[a,b]\end{align*}. (Note, we will assume \begin{align*}a<b\end{align*}, the same algorithm works with minor adjustments if \begin{align*}b>a\end{align*})
- Evaluate \begin{align*}g \left ( \frac{a+b}{2} \right )\end{align*}.
- If \begin{align*}g \left ( \frac{a+b}{2} \right )=0\end{align*}, then the root is \begin{align*}x=\frac{a+b}{2}\end{align*}.
- If \begin{align*}g \left ( \frac{a+b}{2} \right )>0\end{align*}, replace \begin{align*}a\end{align*} with \begin{align*}\frac{a+b}{2}\end{align*}. and repeat steps 1-2 using \begin{align*}\left [ \frac{a+b}{2},b \right ]\end{align*}
- If \begin{align*}g\left ( \frac{a+b}{2} \right )<0\end{align*}, replace \begin{align*}b\end{align*} with \begin{align*}\frac{a+b}{2}\end{align*}. and repeat steps 1-2 using \begin{align*}\left [ a,\frac{a+b}{2} \right ]\end{align*}

This algorithm will not usually find the exact root of \begin{align*}g(x)\end{align*}, but it will allow you to find a reasonably small interval for the root. For example, you could repeat this process enough times so that you find an interval with \begin{align*}|a-b|<0.01\end{align*}, and you will know the root of \begin{align*}g(x)\end{align*} within a reasonably good approximation. The quality of the approximation you use (and the number of steps you use) will depend on why you are looking for the root. For most applications coming within 0.01 of the root is a reasonable approximation, but for some applications (such as building a bridge or launching a rocket) you need much more accuracy.

**Example 3**

Show the first 5 iterations of finding the root of \begin{align*}h(x)=x^{2}-x-1\end{align*} using the starting values \begin{align*}a=0\end{align*} and \begin{align*}b=2\end{align*}.

Solution:

- First we verify that there is a root between \begin{align*}x=0\end{align*} and \begin{align*}x=2\end{align*}. \begin{align*}h(0)=-1\end{align*} and \begin{align*}h(2)=1\end{align*} so we know there is a root in the interval [0, 2]. Check \begin{align*}h\left ( \frac{2+0}{2} \right )=h(1)=-1\end{align*}. Since \begin{align*}-1<0\end{align*} we know the root is between \begin{align*}x=1\end{align*} and \begin{align*}x=2\end{align*}, and we use the new interval [1, 2].
- Now we use the interval [1, 2]. \begin{align*}h\left ( \frac{1+2}{2} \right )=h(1.5)=-0.25\end{align*}. Since \begin{align*}-0.25<0\end{align*}, we use the interval [1.5, 2].
- \begin{align*}h\left ( \frac{1.5+2}{2} \right )=h(1.75)=0.31\end{align*}. Since \begin{align*}0.31>0\end{align*}, we know that the zero is in the interval [1.5, 1.75].
- \begin{align*}h\left ( \frac{1.5+1.75}{2} \right )=h(1.625)=0.02\end{align*}. Since \begin{align*}0.02>0\end{align*}, we know the root is between 1.5 and 1.625.
- \begin{align*}h\left ( \frac{1.5+1.625}{2} \right )=h(1.5620)=-0.12\end{align*}. Since \begin{align*}-0.12<0\end{align*}, we know the root is between 1.5620 and 1.625.

This example shows that after five iterations we have narrowed the possible location of the root to within 0.06 units. Not bad!

Recall that we have already reviewed using the **CALC** menu on a graphing calculator to find the roots of a function. This algorithm is not the one used by a calculator, but the calculator uses a similar, more efficient, algorithm for approximating the root of a function to 13 decimal places. When the calculator prompts for a **GUESS**? it is asking for a starting value to run the iterations.

## Optional: An Interesting Corollary of the IVT

One surprising result of the Intermediate Value Theorem is that if you draw any great circle around the globe, then there must two antipodal points on that great circle that have exactly the same temperature.

Recall that a *great circle* is a path around a sphere that gives the shortest distance between any two points on the sphere. The equator is a great circle around the globe. *Antipodal* points are two points on opposite sides of the sphere. In the diagram below, \begin{align*}B\end{align*} and \begin{align*}B'\end{align*} are antipodal.

(*Source:* http://commons.wikimedia.org/wiki/File:Spherical_triangle_3d_opti.png ** License:** GNU FDL)

For an informal proof of this result, look at the the image of a sphere with three great circles above. Suppose that the temperature at \begin{align*}B\end{align*} is \begin{align*}75^{\circ}\end{align*} and the temperature \begin{align*}B'\end{align*} is \begin{align*}50^{\circ}\end{align*}. The difference between the temperature at \begin{align*}B\end{align*} and at \begin{align*}B'\end{align*} is \begin{align*}75-50=25\end{align*}. Now imagine rotating the segment \begin{align*}\overline{BB'}\end{align*} around the blue great circle. When the segment has rotated 180 degrees (i.e. when \begin{align*}B\end{align*} has rotated to where \begin{align*}B'\end{align*} is), then The difference between the temperatures at these two points is \begin{align*}50-75=-25\end{align*}. Since temperatures vary continuously, by the intermediate value theorem, there must be some point on that circle when the difference was 0, implying two antipodal points had the same temperature.

Notice that this little demonstration does not tell us which two antipodal points had the same temperature, only that there must be two such points on any great circle.

## Exercises

For Exercises 1-5 use the intermediate value theorem to show the bounds on the zeros of each function. Your bounds should be within the whole number

- \begin{align*}f(x)=2x^{3}-3x+4\end{align*}
- \begin{align*}g(x)=-5x^{2}+8x+12\end{align*}
- \begin{align*}h(x)=\frac{1}{2}x^{4}-x^{3}-3x^{2}+1\end{align*}
- \begin{align*}j(x)=-\frac{2}{x^{2}+1}+\frac{1}{2}\end{align*}
- \begin{align*}k(x)\end{align*} is a polynomial and selected values of \begin{align*}k(x)\end{align*} are given in the following table: \begin{align*}& x && -3 && -2 && -1 && \ \ \ 0 && \ 1 && \ \ \ 2 && \ \ \ \ 3\\ & k(x) && -23.5 && -1 && 0.5 && -1 && .5 && -1 && -23.5\end{align*}
- Stephen argues the function \begin{align*}r(x)=\frac{4x+1}{x+3.5}\end{align*} has two zeros based on the following table and an application of the Bounds on Zeros Theorem. What is faulty about Stephen's reasoning? \begin{align*}& x && -5 && -4 && -3 && \ -2 && \ -1 && \ 0 && \ 1 && \ 2 && \ 3 && \ 4\\ & r(x) && 12.67 && \ 30 && -22 && -4.67 && -1.20 && 0.29 && 1.11 && 1.64 && 2.0 && 2.27\end{align*}
- Apply the numerical algorithm five times to find a bound on the zeros of the following functions given the indicated starting values. What is your final estimate for the zero?
- \begin{align*}k(x)=x^{4}-3x+1\end{align*} on [0, 1]
- \begin{align*}b(x)=-0.1x^{5}+3x^{3}-5x^{2}\end{align*} on [1, 3]
- \begin{align*}c(x)=\frac{3x^{2}-2}{x^{4}+2}\end{align*} on [0, 2]

## Answers

- There is a zero in [-2, -1]
- There is a zero in [-1, 0] and [2, 3]
- There is a zero in [-2, -1], [-1, 0], [0, 1], and [3, 4]
- There is a zero in [-2, -1] and [1, 2]
- There is a zero in [-2, -1], [-1, 0], [0, 1] and [1, 2]
- Unlike the previous question which specified the function was a polynomial (and hence continuous), \begin{align*}r(x)=\frac{4x+1}{x+3.5}\end{align*} has a vertical asymptote at \begin{align*}x=-3.5\end{align*}, so it is not continuous in the interval [-4, -3]. Therefore we cannot use the Bounds on Zeros theorem to claim there is a zero in that interval.
- The zero is in [0.3125, 0.34825]
- The zero is in [1.5000, 1.5625]
- [0.8125, 0.875]