<img src="https://d5nxst8fruw4z.cloudfront.net/atrk.gif?account=iA1Pi1a8Dy00ym" style="display:none" height="1" width="1" alt="" />
You are reading an older version of this FlexBook® textbook: CK-12 Math Analysis Concepts Go to the latest version.

# 2.13: Intermediate Value Theorem

Difficulty Level: At Grade Created by: CK-12
0%
Progress
Practice Intermediate Value Theorem
Progress
0%

This lesson introduces two theorems: The Intermediate Value Theorem, and The Bounds on Zeroes Theorem. A technical definition is given below, but what do these theorems really mean in 'ordinary language'?

Embedded Video:

### Guidance

The intermediate value theorem offers one way to find roots of a continuous function. An 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 x\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 [a,b]\begin{align*}[a,b]\end{align*}, then we can use the intermediate value theorem:

The Intermediate Value Theorem

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

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

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

So, for example, if we choose c=2\begin{align*}c=-2\end{align*}, we know that for some x[3,1],f(x)=2,\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 is a corollary to the Intermediate Value Theorem:

Bounds on Zeros Theorem

If f\begin{align*}f\end{align*} is continuous on [a,b]\begin{align*}[a,b]\end{align*} and there is a sign change between f(a)\begin{align*}f(a)\end{align*} and f(b)\begin{align*}f(b)\end{align*} (that is, f(a)\begin{align*}f(a)\end{align*} is positive and f(b)\begin{align*}f(b)\end{align*} is negative, or vice versa), then there is a c(a,b)\begin{align*}c\in(a,b)\end{align*} such that f(c)=0\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 intermediate value theorem, just a special case where n=0\begin{align*}n=0\end{align*}.

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

Approximate Zeros of Polynomial 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 g(x)\begin{align*}g(x)\end{align*},

1. Find two points such that g(a)>0\begin{align*}g(a)>0\end{align*} and g(b)<0\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 g(x)\begin{align*}g(x)\end{align*} on the interval [a,b]\begin{align*}[a,b]\end{align*}. (Note, we will assume a<b\begin{align*}a, but the same algorithm works with minor adjustments if b>a\begin{align*}b>a\end{align*})
2. Evaluate g(a+b2)\begin{align*}g \left ( \frac{a+b}{2} \right )\end{align*}.
1. If g(a+b2)=0\begin{align*}g \left ( \frac{a+b}{2} \right )=0\end{align*}, then the root is x=a+b2\begin{align*}x=\frac{a+b}{2}\end{align*}.
2. If g(a+b2)>0\begin{align*}g \left ( \frac{a+b}{2} \right )>0\end{align*}, replace a\begin{align*}a\end{align*} with a+b2\begin{align*}\frac{a+b}{2}\end{align*}. and repeat steps 1-2 using [a+b2,b]\begin{align*}\left [ \frac{a+b}{2},b \right ]\end{align*}
3. If g(a+b2)<0\begin{align*}g\left ( \frac{a+b}{2} \right )<0\end{align*}, replace b\begin{align*}b\end{align*} with a+b2\begin{align*}\frac{a+b}{2}\end{align*}. and repeat steps 1-2 using [a,a+b2]\begin{align*}\left [ a,\frac{a+b}{2} \right ]\end{align*}

This algorithm will not usually find the exact root of g(x)\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 |ab|<0.01\begin{align*}|a-b|<0.01\end{align*}, and you will know the root of g(x)\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 A

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

Solution

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

#### Example B

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

xp(x)444.1526.6204.1214.0941.166088.741024.071549.89183.41

Based on the information in the table

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

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

Solution

Since p(x)\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 p(x)\begin{align*}p(x)\end{align*} changes from negative to positive, or from positive to negative.

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

(b) The roots are in the following intervals x[2,0],x[1,4],x[15,18],\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 x=6\begin{align*}x=6\end{align*}.

#### Example C

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

Solution

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

Optional: An Interesting Corollary of the Intermediate Value Theorem

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, B\begin{align*}B\end{align*} and \begin{align*}B'\end{align*} are antipodal.

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.

How did you do on the assignment from the beginning of the lesson? Were you able to write a definition of the Intermediate Value Theorem and the Bounds on Zeroes Theorem?

One possibility might be:

The Intermediate Value Theorem simply states that if you know two points on a graph, and know that the graph includes all the points between them, then any point between them must be on the graph.
The Bounds on Zeroes Theorem suggests that if a graph contains all of the points between a positive and a negative value, then a zero point between those two values is on the graph.

### Vocabulary

A mathematical theorem is a statement that has been proven based on other previously established statements.

An interval is a specified set of values, described by noting the starting and ending values in the interval.

A continuous function is one which includes all values in a specified interval. The interval may be small, or may include all numbers, or any group between.

### Guided Practice

Problems 1 and 2: Use the image of the graph to find the following:

a. Degree of the polynomial
b. Number of real zeros and their approximate values using the graph
c. Number of imaginary zeros

1)

2)

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

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

Solutions

1) a) To identify the degree, recall that the degree of a polynomial is one number greater than the number of turns. The image shows turns at apx x = -.6 and apx x = .75, therefore this is a 3rd degree function.

b) The image shows the line crossing the x axis 3 times, at (apx) -1.15, at 0 and at (apx) 1.4.
c) Since this is a 3rd degree equation there are 3 possible zeroes, and since there are 3 real zeroes there are no imaginary ones.

2) a) To identify the degree, recall that the degree of a polynomial is one number greater than the number of turns. The image shows 1 turn at apx x = -3.5, therefore this is a 2nd degree function.

b) The image shows the line crossing the x axis 2 times, at apx -6.5 and -.75.
c) Since this is a 2nd degree equation there are 2 possible zeroes, and since there are 2 real zeroes there are no imaginary ones.

3) Since \begin{align*}f(x)\end{align*} is a polynomial we know that it is continuous. \begin{align*}f(1)=-9\end{align*} and \begin{align*}f(2)=25\end{align*}. Let \begin{align*}n=0\in[-9, 25]\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].

Note that since this is a 3rd degree polynomial, there are three zeroes. Since there is only one real zero, the other two must be imaginary.

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

Note that since this is a 3rd degree polynomial, there are three zeroes. Since there is only one real zero, the other two must be imaginary.

### Practice

For questions 1 - 6, use the image of the graph to find the following:

a. Leading coefficient and degree of the polynomial
b. Number of real Zeros and their approximate values using the graph
c. Number of imaginary Zeros

For Exercises 7-12 use the intermediate value theorem to show the bounds on the zeros of each function. (Your bounds should be within the whole number)

1. \begin{align*}f(x)=2x^{3}-3x+4\end{align*}
2. \begin{align*}g(x)=-5x^{2}+8x+12\end{align*}
3. \begin{align*}h(x)=\frac{1}{2}x^{4}-x^{3}-3x^{2}+1\end{align*}
4. \begin{align*}j(x)=-\frac{2}{x^{2}+1}+\frac{1}{2}\end{align*}
5. \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:
6. 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?

Problems 7-9: Apply the numerical algorithm five times to find a bound on the zeros of the following functions given the indicated starting values. Give a final estimate for the zero.

1. \begin{align*}k(x)=x^{4}-3x+1\end{align*} on \begin{align*}[0, 1]\end{align*}
2. \begin{align*}b(x)=-0.1x^{5}+3x^{3}-5x^{2}\end{align*} on \begin{align*}[1, 3]\end{align*}
3. \begin{align*}c(x)=\frac{3x^{2}-2}{x^{4}+2}\end{align*} on \begin{align*}[0, 2]\end{align*}

### Vocabulary Language: English

Bounds on Zeros Theorem

Bounds on Zeros Theorem

The bounds on zeros theorem states that if $f$ is continuous on $[a,b]$ and there is a sign change between $f(a)$ and $f(b)$ (that is, $f(a)$ is positive and $f(b)$ is negative, or vice versa), then there is a $c\in(a,b)$ such that $f(c)=0$.
Continuous

Continuous

Continuity for a point exists when the left and right sided limits match the function evaluated at that point. For a function to be continuous, the function must be continuous at every single point in an unbroken domain.
Continuous Function

Continuous Function

A continuous function is a function without breaks or gaps. It contains an infinite, uncountable number of values.
intermediate value theorem

intermediate value theorem

The intermediate value theorem states that if $f(x)$ is continuous on some interval $[a,b]$ and $n$ is between $f(a)$ and $f(b)$, then there is some $c\in[a,b]$ such that $f(c)=n$.
interval

interval

An interval is a specific and limited part of a function.
Rational Function

Rational Function

A rational function is any function that can be written as the ratio of two polynomial functions.
Synthetic Division

Synthetic Division

Synthetic division is a shorthand version of polynomial long division where only the coefficients of the polynomial are used.
theorem

theorem

A theorem is a statement that can be proven true using postulates, definitions, and other theorems that have already been proven.
Zeroes

Zeroes

The zeroes of a function $f(x)$ are the values of $x$ that cause $f(x)$ to be equal to zero.
Zeros

Zeros

The zeros of a function $f(x)$ are the values of $x$ that cause $f(x)$ to be equal to zero.

Nov 01, 2012

Jun 08, 2015