2.13: Intermediate Value Theorem
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'?
Watch This
Embedded Video:
 Polynomials Upper and Lower Bounds
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 \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:
The 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 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 intermediate value theorem, 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.
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 \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*}, but 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 12 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 12 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*}ab<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 A
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 B
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*}.
Example C
Show the first 5 iterations of finding the root of \begin{align*}h(x)=x^{2}x1\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!
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, \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*}7550=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*}5075=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:


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^35x^27x5\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 712 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*}
Problems 79: 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.
 \begin{align*}k(x)=x^{4}3x+1\end{align*} on \begin{align*}[0, 1]\end{align*}
 \begin{align*}b(x)=0.1x^{5}+3x^{3}5x^{2}\end{align*} on \begin{align*}[1, 3]\end{align*}
 \begin{align*}c(x)=\frac{3x^{2}2}{x^{4}+2}\end{align*} on \begin{align*}[0, 2]\end{align*}
Bounds on Zeros Theorem
The bounds on zeros theorem states that if is continuous on and there is a sign change between and (that is, is positive and is negative, or vice versa), then there is a such that .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
A continuous function is a function without breaks or gaps. It contains an infinite, uncountable number of values.intermediate value theorem
The intermediate value theorem states that if is continuous on some interval and is between and , then there is some such that .interval
An interval is a specific and limited part of a function.Rational Function
A rational function is any function that can be written as the ratio of two polynomial functions.Synthetic Division
Synthetic division is a shorthand version of polynomial long division where only the coefficients of the polynomial are used.theorem
A theorem is a statement that can be proven true using postulates, definitions, and other theorems that have already been proven.Zeroes
The zeroes of a function are the values of that cause to be equal to zero.Zeros
The zeros of a function are the values of that cause to be equal to zero.Image Attributions
Here you will learn to understand the statement of the Intermediate Value Theorem, apply the intermediate value theorem to find bounds on the zeros of a function, and use numerical methods to find roots of a polynomial
Concept Nodes:
Bounds on Zeros Theorem
The bounds on zeros theorem states that if is continuous on and there is a sign change between and (that is, is positive and is negative, or vice versa), then there is a such that .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
A continuous function is a function without breaks or gaps. It contains an infinite, uncountable number of values.intermediate value theorem
The intermediate value theorem states that if is continuous on some interval and is between and , then there is some such that .interval
An interval is a specific and limited part of a function.Rational Function
A rational function is any function that can be written as the ratio of two polynomial functions.Synthetic Division
Synthetic division is a shorthand version of polynomial long division where only the coefficients of the polynomial are used.theorem
A theorem is a statement that can be proven true using postulates, definitions, and other theorems that have already been proven.Zeroes
The zeroes of a function are the values of that cause to be equal to zero.Zeros
The zeros of a function are the values of that cause to be equal to zero.