The Intermediate Value Theorem

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

Here we see a consequence of a function being continuous.

The Intermediate Value Theorem should not be brushed off lightly. Once it is understood, it may seem “obvious,” but mathematicians should not underestimate its power.

Intermediate Value Theorem If $f$ is a continuous function for all $x$ in the closed interval $[a,b]$ and $L$ is between $f(a)$ and $f(b)$ , then there is a number $c$ in $[a, b]$ such that $f(c) = L$ .

If you are more of a visual person, you should imagine a continuous function, where you know the value of the function at two endpoints, $x=a$ and $x=b$ , but you don’t really know what the function does between the points $x=a$ and $x=b$ :

The Intermediate Value Theorem says that despite the fact that you don’t really know what the function is doing between the endpoints, a point $x=c$ exists and gives an intermediate value for $f$ .

Now, let’s contrast this with a time when the conclusion of the Intermediate Value Theorem does not hold.

Consider the following situation,

and select all that are true:

$f$ is continuous on $(a,b)$ . $f$ is continuous on $[a,b)$ . $f$ is continuous on $(a,b]$ . $f$ is continuous on $[a,b]$ . There is a point $c$ in $[a,b]$ with $f(c) = L$ .

Building on the question above, it is not difficult to see that each of the hypothesis of the Intermediate Value Theorem are necessary.

Let’s see the Intermediate Value Theorem in action.

Explain why the function $f(x)=x^3 + 3x^2+x-2$ has a root between $0$ and $1$ .

Since $f$ is a polynomial, we see that $f$ is continuous for all real numbers. Since $f(0)=\answer [given]{-2}$ and $f(1)=\answer [given]{3}$ , and $0$ is between $-2$ and $3$ , by the Intermediate Value Theorem, there is a point $c$ in the interval $[0,1]$ such that $f(c)=\answer [given]{0}$ .

This example also points the way to a simple method for approximating roots.

Approximate a root of $f(x) =x^3 + 3x^2+x-2$ between $0$ and $1$ to within one decimal place.

Again, since $f$ is a polynomial, we see that $f$ is continuous for all real numbers. Compute $\begin {array}{c|c} x & f(x) \\ \hline 0.1 & \answer [given]{-1.869}\\ 0.2 & \answer [given]{-1.672}\\ 0.3 & \answer [given]{-1.403}\\ 0.4 & \answer [given]{-1.056}\\ 0.5 & \answer [given]{-0.625}\\ 0.6 & \answer [given]{-0.104}\\ 0.7 & \answer [given]{0.513} \end {array}$ By the Intermediate Value Theorem, $f$ has a root between $0.6$ and $0.7$ . Repeating the process $\begin {array}{c|c} x & f(x) \\ \hline 0.61 & \answer [given]{-0.046719}\\ 0.62 & \answer [given]{0.011528} \end {array}$ so by the Intermediate Value Theorem, $f$ has a root between $0.61$ and $0.62$ , and the root is $0.6$ rounded to one decimal place.

The Intermediate Value Theorem can be use to show that curves cross:

Explain why the functions $\begin{align*} f(x) &= x^2\sqrt[3]{x}\\ g(x) &= 2(x+1)\cos(\sqrt[3]{x}) \end{align*}$

intersect on the interval $\left [0,\left ( \frac {\pi }{2}\right )^3 \right ]$ .

To start, note that both $f$ and $g$ are continuous functions, and hence $h = f-g$ is also a continuous function. Now

$\begin{align*} h(0) &= f(0) - g(0) \\ &= (\answer[given]{0})^2\cdot \sqrt[3]{(\answer[given]{0})} - 2\cdot(\answer[given]{0}+1) \cdot \cos\left(\sqrt[3]{(\answer[given]{0})} \right)\\ &= \answer[given]{-2}. \end{align*}$

and in a similar fashion

$\begin{align*} h\left(\left( \frac{\pi}{2}\right)^3\right) &= f\left(\left( \frac{\pi}{2}\right)^3\right) - g\left(\left( \frac{\pi}{2}\right)^3\right) \\ &= \left( \left( \frac{\pi}{2}\right)^3\right)^2\cdot \sqrt[3]{\left( \frac{\pi}{2}\right)^3} \\ & - 2\cdot\left( \left( \frac{\pi}{2}\right)^3+1\right) \cdot \cos\left(\sqrt[3]{\left( \frac{\pi}{2}\right)^3} \right)\\ \end{align*}$

Since $\cos \left ( \frac {\pi }{2}\right )=0$ we see that the expression above is positive. Hence by the Intermediate Value Theorem, $f$ and $g$ intersect on the interval $\left [0,\left ( \frac {\pi }{2}\right )^3 \right ]$ . We can see this point of intersection by looking at the graphs of $y=f(x)$ and $y=g(x)$ on the given interval. $\graph [xmin=1,xmax=e,ymin=-10,ymax=10]{x^2 *x^(1/3), 2(x+1)\cos (x^(1/3))}$

Now we move on to a more subtle example:

Suppose you have two cats, Roxy and Yuri. Is there a time when Roxy and Yuri have the same amount of water in their bowls assuming:

They start and finish drinking at the same times.
Roxy starts with more water than Yuri, and leaves less water left in her bowl than Yuri.

To solve this problem, consider two functions:

$W_{\mathrm {Roxy}}(t) =$ the amount of water in Roxy’s bowl at time $t$ .
$W_{\mathrm {Yuri}}(t) =$ the amount of water in Yuri’s bowl at time $t$ .

Now if $t_\mathrm {start}$ is the time the cats start drinking and $t_\mathrm {finish}$ is the time the cats finish drinking. Then we have $W_\mathrm {Roxy}(t_\mathrm {start})-W_{\mathrm {Yuri}}(t_\mathrm {start}) > 0$ and $W_\mathrm {Roxy}(t_\mathrm {finish})-W_{\mathrm {Yuri}}(t_\mathrm {finish}) < 0.$ Since the amount of water in a bowl at time $t$ is a continuous function, as water is “lapped” up in continuous amounts, $W_\mathrm {Roxy}-W_{\mathrm {Yuri}}$ is a continuous function, and hence the Intermediate Value Theorem applies. Since $W_\mathrm {Roxy}-W_{\mathrm {Yuri}}$ is positive when at $t_\mathrm {start}$ and negative at $t_\mathrm {finish}$ , there is some time $t_\mathrm {equal}$ when the value is zero, meaning $W_\mathrm {Roxy}(t_\mathrm {equal})- W_{\mathrm {Yuri}}(t_\mathrm {equal}) =0$ meaning there is the same amount of water in each of their bowls.

And finally, an example when the Intermediate Value Theorem does not apply.

Suppose you have two cats, Roxy and Yuri. Is there a time when Roxy and Yuri have the same amount of dry cat food in their bowls assuming:

They start and finish eating at the same times.
Roxy starts with more food than Yuri, and leaves less food uneaten than Yuri.

Here we could try the same approach as before, setting:

$F_{\mathrm {Roxy}}(t) =$ the amount of dry cat food in Roxy’s bowl at time $t$ .
$F_{\mathrm {Yuri}}(t) =$ the amount of dry cat food in Yuri’s bowl at time $t$ .

However in this case, the amount of food in a bowl at time $t$ is not a continuous function! This is because dry cat food consists of discrete kibbles, and is not eaten in a continuous fashion. Hence the Intermediate Value Theorem does not apply, and we can make no definitive statements concerning the question above.

For some interesting extra reading check out:

The intermediate value theorem is NOT obvious—and I am going to prove it to you, S.M. Walk, College Math Journal, September 2011.