The Mean Value Theorem is one of the most important theorems in calculus. We look at some of its implications at the end of this section. First, let’s start with a special case of the Mean Value Theorem, called Rolle’s theorem.
Informally, Rolle’s theorem states that if the outputs of a differentiable function $f$
are equal at the endpoints of an interval, then there must be an interior point $c$
where $f\prime \left(c\right)=0.$
[link] illustrates this theorem.
Let $f$
be a continuous function over the closed interval $[a,b]$
and differentiable over the open interval $\left(a,b\right)$
such that $f\left(a\right)=f\left(b\right).$
There then exists at least one $c\in \left(a,b\right)$
such that $f\prime \left(c\right)=0.$
Let $k=f(a)=f(b).$
We consider three cases:
for all
$x\in \left(a,b\right).$such that
$f\left(x\right)>k.$such that
$f\left(x\right)<k.$Case 1: If $f\left(x\right)=0$
for all $x\in \left(a,b\right),$
then $f\prime \left(x\right)=0$
for all $x\in \left(a,b\right).$
Case 2: Since $f$
is a continuous function over the closed, bounded interval $[a,b],$
by the extreme value theorem, it has an absolute maximum. Also, since there is a point $x\in \left(a,b\right)$
such that $f\left(x\right)>k,$
the absolute maximum is greater than $k.$
Therefore, the absolute maximum does not occur at either endpoint. As a result, the absolute maximum must occur at an interior point $c\in \left(a,b\right).$
Because $f$
has a maximum at an interior point $c,$
and $f$
is differentiable at $c,$
by Fermat’s theorem, $f\prime \left(c\right)=0.$
Case 3: The case when there exists a point $x\in \left(a,b\right)$
such that $f\left(x\right)<k$
is analogous to case 2, with maximum replaced by minimum.
□
An important point about Rolle’s theorem is that the differentiability of the function $f$
is critical. If $f$
is not differentiable, even at a single point, the result may not hold. For example, the function $f\left(x\right)=\backslash |x\backslash |-1$
is continuous over $[\mathrm{-1},1]$
and $f\left(\mathrm{-1}\right)=0=f\left(1\right),$
but $f\prime \left(c\right)\ne 0$
for any $c\in (\mathrm{-1},1)$
as shown in the following figure.
![The function f(x) = |x| − 1 is graphed. It is shown that f(1) = f(−1), but it is noted that there is no c such that f’(c) = 0.](../resources/CNX_Calc_Figure_04_04_002.jpg “Since f(x)= | x | −1 is not differentiable at x=0, the conditions of Rolle’s theorem are not satisfied. In fact, the conclusion does not hold here; there is no c∈(−1,1) such that f′(c)=0.”){: #CNX_Calc_Figure_04_04_002} |
Let’s now consider functions that satisfy the conditions of Rolle’s theorem and calculate explicitly the points $c$
where $f\prime (c)=0.$
For each of the following functions, verify that the function satisfies the criteria stated in Rolle’s theorem and find all values $c$
in the given interval where $f\prime \left(c\right)=0.$
over
$[\mathrm{-2},0]$over
$[\mathrm{-2},2]$is a polynomial, it is continuous and differentiable everywhere. In addition,
$f\left(\mathrm{-2}\right)=0=f\left(0\right).$Therefore,
$f$satisfies the criteria of Rolle’s theorem. We conclude that there exists at least one value
$c\in \left(\mathrm{-2},0\right)$such that
$f\prime \left(c\right)=0.$Since
$f\prime \left(x\right)=2x+2=2\left(x+1\right),$we see that
$f\prime \left(c\right)=2\left(c+1\right)=0$implies
$c=\mathrm{-1}$as shown in the following graph.
is a polynomial and therefore is continuous and differentiable everywhere. Also,
$f\left(\mathrm{-2}\right)=0=f\left(2\right).$That said,
$f$satisfies the criteria of Rolle’s theorem. Differentiating, we find that
$f\prime \left(x\right)=3{x}^{2}-4.$Therefore,
$f\prime \left(c\right)=0$when
$x=\text{\xb1}\frac{2}{\sqrt{3}}.$Both points are in the interval
$[\mathrm{-2},2],$and, therefore, both points satisfy the conclusion of Rolle’s theorem as shown in the following graph.
Verify that the function $f\left(x\right)=2{x}^{2}-8x+6$
defined over the interval $[1,3]$
satisfies the conditions of Rolle’s theorem. Find all points $c$
guaranteed by Rolle’s theorem.
Find all values $c,$
where $f\prime \left(c\right)=0.$
Rolle’s theorem is a special case of the Mean Value Theorem. In Rolle’s theorem, we consider differentiable functions $f$
defined on a closed interval $[a,b]$
with $f\left(a\right)=f\left(b\right)$
. The Mean Value Theorem generalizes Rolle’s theorem by considering functions that do not necessarily have equal value at the endpoints. Consequently, we can view the Mean Value Theorem as a slanted version of Rolle’s theorem ([link]). The Mean Value Theorem states that if $f$
is continuous over the closed interval $[a,b]$
and differentiable over the open interval $\left(a,b\right),$
then there exists a point $c\in \left(a,b\right)$
such that the tangent line to the graph of $f$
at $c$
is parallel to the secant line connecting $\left(a,f\left(a\right)\right)$
and $\left(b,f\left(b\right)\right).$
Let $f$
be continuous over the closed interval $[a,b]$
and differentiable over the open interval $(a,b).$
Then, there exists at least one point $c\in \left(a,b\right)$
such that
The proof follows from Rolle’s theorem by introducing an appropriate function that satisfies the criteria of Rolle’s theorem. Consider the line connecting $\left(a,f\left(a\right)\right)$
and $\left(b,f\left(b\right)\right).$
Since the slope of that line is
and the line passes through the point $\left(a,f\left(a\right)\right),$
the equation of that line can be written as
Let $g\left(x\right)$
denote the vertical difference between the point $\left(x,f\left(x\right)\right)$
and the point $\left(x,y\right)$
on that line. Therefore,
Since the graph of $f$
intersects the secant line when $x=a$
and $x=b,$
we see that $g\left(a\right)=0=g\left(b\right).$
Since $f$
is a differentiable function over $\left(a,b\right),$
$g$is also a differentiable function over $\left(a,b\right).$
Furthermore, since $f$
is continuous over $[a,b],$
$g$is also continuous over $[a,b].$
Therefore, $g$
satisfies the criteria of Rolle’s theorem. Consequently, there exists a point $c\in \left(a,b\right)$
such that $g\prime \left(c\right)=0.$
Since
we see that
Since $g\prime (c)=0,$
we conclude that
□
In the next example, we show how the Mean Value Theorem can be applied to the function $f(x)=\sqrt{x}$
over the interval $[0,9].$
The method is the same for other functions, although sometimes with more interesting consequences.
For $f\left(x\right)=\sqrt{x}$
over the interval $[0,9],$
show that $f$
satisfies the hypothesis of the Mean Value Theorem, and therefore there exists at least one value $c\in (0,9)$
such that ${f}^{\prime}(c)$
is equal to the slope of the line connecting $\left(0,f\left(0\right)\right)$
and $\left(9,f\left(9\right)\right).$
Find these values $c$
guaranteed by the Mean Value Theorem.
We know that $f(x)=\sqrt{x}$
is continuous over $[0,9]$
and differentiable over $\left(0,9\right).$
Therefore, $f$
satisfies the hypotheses of the Mean Value Theorem, and there must exist at least one value $c\in \left(0,9\right)$
such that ${f}^{\prime}\left(c\right)$
is equal to the slope of the line connecting $\left(0,f\left(0\right)\right)$
and $\left(9,f\left(9\right)\right)$
([link]). To determine which value(s) of $c$
are guaranteed, first calculate the derivative of $f.$
The derivative ${f}^{\prime}\left(x\right)=\frac{1}{(2\sqrt{x})}.$
The slope of the line connecting $(0,f(0))$
and $(9,f(9))$
is given by
We want to find $c$
such that ${f}^{\prime}(c)=\frac{1}{3}.$
That is, we want to find $c$
such that
Solving this equation for $c,$
we obtain $c=\frac{9}{4}.$
At this point, the slope of the tangent line equals the slope of the line joining the endpoints.
One application that helps illustrate the Mean Value Theorem involves velocity. For example, suppose we drive a car for 1 h down a straight road with an average velocity of 45 mph. Let $s(t)$
and $v\left(t\right)$
denote the position and velocity of the car, respectively, for $0\le t\le 1$
h. Assuming that the position function $s\left(t\right)$
is differentiable, we can apply the Mean Value Theorem to conclude that, at some time $c\in \left(0,1\right),$
the speed of the car was exactly
If a rock is dropped from a height of 100 ft, its position $t$
seconds after it is dropped until it hits the ground is given by the function $s\left(t\right)=\mathrm{-16}{t}^{2}+100.$
of the rock for when the rock is released and the rock hits the ground.
guaranteed by the Mean Value Theorem when the instantaneous velocity of the rock is
${v}_{\text{avg}}.$Solving the equation
$\mathrm{-16}{t}^{2}+100=0$for
$t,$we find that
$t=\text{\xb1}\frac{5}{2}\phantom{\rule{0.1em}{0ex}}\text{sec}.$Since we are only considering
$t\ge 0,$the ball will hit the ground
$\frac{5}{2}$sec after it is dropped.
such that
$v(t)={s}^{\prime}(t)={v}_{\text{avg}}=\mathrm{-40}\phantom{\rule{0.2em}{0ex}}\text{ft/sec}.$Since
$s(t)$is continuous over the interval
$[0,5\text{/}2]$and differentiable over the interval
$(0,5\text{/}2),$by the Mean Value Theorem, there is guaranteed to be a point
$c\in (0,5\text{/}2)$such that
Taking the derivative of the position function
$s\left(t\right),$we find that
${s}^{\prime}\left(t\right)=\mathrm{-32}t.$Therefore, the equation reduces to
${s}^{\prime}\left(c\right)=\mathrm{-32}c=\mathrm{-40}.$Solving this equation for
$c,$we have
$c=\frac{5}{4}.$Therefore,
$\frac{5}{4}$sec after the rock is dropped, the instantaneous velocity equals the average velocity of the rock during its free fall:
$\mathrm{-40}$ft/sec.
Suppose a ball is dropped from a height of 200 ft. Its position at time $t$
is $s\left(t\right)=\mathrm{-16}{t}^{2}+200.$
Find the time $t$
when the instantaneous velocity of the ball equals its average velocity.
sec
First, determine how long it takes for the ball to hit the ground. Then, find the average velocity of the ball from the time it is dropped until it hits the ground.
Let’s now look at three corollaries of the Mean Value Theorem. These results have important consequences, which we use in upcoming sections.
At this point, we know the derivative of any constant function is zero. The Mean Value Theorem allows us to conclude that the converse is also true. In particular, if ${f}^{\prime}\left(x\right)=0$
for all $x$
in some interval $I,$
then $f\left(x\right)$
is constant over that interval. This result may seem intuitively obvious, but it has important implications that are not obvious, and we discuss them shortly.
Let $f$
be differentiable over an interval $I.$
If ${f}^{\prime}\left(x\right)=0$
for all $x\in I,$
then $f\left(x\right)=$
constant for all $x\in I.$
Since $f$
is differentiable over $I,$
$f$must be continuous over $I.$
Suppose $f\left(x\right)$
is not constant for all $x$
in $I.$
Then there exist $a,b\in I,$
where $a\ne b$
and $f\left(a\right)\ne f\left(b\right).$
Choose the notation so that $a<b.$
Therefore,
Since $f$
is a differentiable function, by the Mean Value Theorem, there exists $c\in (a,b)$
such that
Therefore, there exists $c\in I$
such that ${f}^{\prime}\left(c\right)\ne 0,$
which contradicts the assumption that ${f}^{\prime}\left(x\right)=0$
for all $x\in I.$
□
From [link], it follows that if two functions have the same derivative, they differ by, at most, a constant.
If $f$
and $g$
are differentiable over an interval $I$
and ${f}^{\prime}\left(x\right)={g}^{\prime}\left(x\right)$
for all $x\in I,$
then $f\left(x\right)=g\left(x\right)+C$
for some constant $C.$
Let $h\left(x\right)=f\left(x\right)-g\left(x\right).$
Then, ${h}^{\prime}\left(x\right)={f}^{\prime}\left(x\right)-{g}^{\prime}\left(x\right)=0$
for all $x\in I.$
By Corollary 1, there is a constant $C$
such that $h(x)=C$
for all $x\in I.$
Therefore, $f(x)=g(x)+C$
for all $x\in I.$
□
The third corollary of the Mean Value Theorem discusses when a function is increasing and when it is decreasing. Recall that a function $f$
is increasing over $I$
if $f\left({x}_{1}\right)<f\left({x}_{2}\right)$
whenever ${x}_{1}<{x}_{2},$
whereas $f$
is decreasing over $I$
if $f{\left(x\right)}_{1}>f\left({x}_{2}\right)$
whenever ${x}_{1}<{x}_{2}.$
Using the Mean Value Theorem, we can show that if the derivative of a function is positive, then the function is increasing; if the derivative is negative, then the function is decreasing ([link]). We make use of this fact in the next section, where we show how to use the derivative of a function to locate local maximum and minimum values of the function, and how to determine the shape of the graph.
This fact is important because it means that for a given function $f,$
if there exists a function $F$
such that ${F}^{\prime}\left(x\right)=f\left(x\right);$
then, the only other functions that have a derivative equal to $f$
are $F(x)+C$
for some constant $C.$
We discuss this result in more detail later in the chapter.
Let $f$
be continuous over the closed interval $[a,b]$
and differentiable over the open interval $\left(a,b\right).$
for all
$x\in (a,b),$then
$f$is an increasing function over
$[a,b].$for all
$x\in (a,b),$then
$f$is a decreasing function over
$[a,b].$We will prove i.; the proof of ii. is similar. Suppose $f$
is not an increasing function on $I.$
Then there exist $a$
and $b$
in $I$
such that $a<b,$
but $f\left(a\right)\ge f\left(b\right).$
Since $f$
is a differentiable function over $I,$
by the Mean Value Theorem there exists $c\in \left(a,b\right)$
such that
Since $f\left(a\right)\ge f\left(b\right),$
we know that $f(b)-f(a)\le 0.$
Also, $a<b$
tells us that $b-a>0.$
We conclude that
However, ${f}^{\prime}\left(x\right)>0$
for all $x\in I.$
This is a contradiction, and therefore $f$
must be an increasing function over $I.$
□
is continuous over
$[a,b]$and differentiable over
$\left(a,b\right)$and
$f\left(a\right)=0=f\left(b\right),$then there exists a point
$c\in \left(a,b\right)$such that
${f}^{\prime}\left(c\right)=0.$This is Rolle’s theorem.
is continuous over
$[a,b]$and differentiable over
$\left(a,b\right),$then there exists a point
$c\in \left(a,b\right)$such that
This is the Mean Value Theorem.
over an interval
$I,$then
$f$is constant over
$I.$and
$g$satisfy
${f}^{\prime}(x)={g}^{\prime}(x)$over
$I,$then
$f\left(x\right)=g\left(x\right)+C$for some constant
$C.$over an interval
$I,$then
$f$is increasing over
$I.$If
${f}^{\prime}(x)<0$over
$I,$then
$f$is decreasing over
$I.$Why do you need continuity to apply the Mean Value Theorem? Construct a counterexample.
Why do you need differentiability to apply the Mean Value Theorem? Find a counterexample.
One example is $f(x)=\backslash |x\backslash |+3,\phantom{\rule{0.2em}{0ex}}\mathrm{-2}\le x\le 2$
When are Rolle’s theorem and the Mean Value Theorem equivalent?
If you have a function with a discontinuity, is it still possible to have ${f}^{\prime}\left(c\right)\left(b-a\right)=f\left(b\right)-f\left(a\right)?$
Draw such an example or prove why not.
Yes, but the Mean Value Theorem still does not apply
For the following exercises, determine over what intervals (if any) the Mean Value Theorem applies. Justify your answer.
For the following exercises, graph the functions on a calculator and draw the secant line that connects the endpoints. Estimate the number of points $c$
such that ${f}^{\prime}(c)(b-a)=f(b)-f(a).$
[T] $y=3{x}^{3}+2x+1$
over $[\mathrm{-1},1]$
2 points
[T] $y=\text{tan}\left(\frac{\pi}{4}x\right)$
over $\left[-\frac{3}{2},\frac{3}{2}\right]$
[T] $y={x}^{2}\text{cos}\left(\pi x\right)$
over $[\mathrm{-2},2]$
5 points
[T] $y={x}^{6}-\frac{3}{4}{x}^{5}-\frac{9}{8}{x}^{4}+\frac{15}{16}{x}^{3}+\frac{3}{32}{x}^{2}+\frac{3}{16}x+\frac{1}{32}$
over $[\mathrm{-1},1]$
For the following exercises, use the Mean Value Theorem and find all points $0<c<2$
such that $f\left(2\right)-f\left(0\right)={f}^{\prime}\left(c\right)\left(2-0\right).$
For the following exercises, show there is no $c$
such that $f\left(1\right)-f\left(\mathrm{-1}\right)={f}^{\prime}\left(c\right)\left(2\right).$
Explain why the Mean Value Theorem does not apply over the interval $[\mathrm{-1},1].$
Not differentiable
Not differentiable
(Hint: This is called the floor function and it is defined so that $f(x)$
is the largest integer less than or equal to $x.)$
For the following exercises, determine whether the Mean Value Theorem applies for the functions over the given interval $[a,b].$
Justify your answer.
over $[0,1]$
Yes
over $\left[-\frac{3}{2},0\right]$
over $[0,2]$
The Mean Value Theorem does not apply since the function is discontinuous at $x=\frac{1}{4},\frac{3}{4},\frac{5}{4},\frac{7}{4}.$
over $[\mathrm{-3},3]$
over $[0,3]$
Yes
over $[0,6]$
over $[\mathrm{-1},1]$
The Mean Value Theorem does not apply; discontinuous at $x=0.$
over $[0,1]$
over $[0,e-1]$
Yes
over $[0,2]$
over $[\mathrm{-1},1]$
The Mean Value Theorem does not apply; not differentiable at $x=0.$
For the following exercises, consider the roots of the equation.
Show that the equation $y={x}^{3}+3{x}^{2}+16$
has exactly one real root. What is it?
Find the conditions for exactly one root (double root) for the equation $y={x}^{2}+bx+c$
Find the conditions for $y={e}^{x}-b$
to have one root. Is it possible to have more than one root?
For the following exercises, use a calculator to graph the function over the interval $[a,b]$
and graph the secant line from $a$
to $b.$
Use the calculator to estimate all values of $c$
as guaranteed by the Mean Value Theorem. Then, find the exact value of $c,$
if possible, or write the final equation and use a calculator to estimate to four digits.
[T] $y=\text{tan}(\pi x)$
over $\left[-\frac{1}{4},\frac{1}{4}\right]$
[T] $y=\frac{1}{\sqrt{x+1}}$
over $[0,3]$
[T] $y=\backslash |{x}^{2}+2x-4\backslash |$
over $[\mathrm{-4},0]$
The Mean Value Theorem does not apply.
[T] $y=x+\frac{1}{x}$
over $\left[\frac{1}{2},4\right]$
[T] $y=\sqrt{x+1}+\frac{1}{{x}^{2}}$
over $[3,8]$
At 10:17 a.m., you pass a police car at 55 mph that is stopped on the freeway. You pass a second police car at 55 mph at 10:53 a.m., which is located 39 mi from the first police car. If the speed limit is 60 mph, can the police cite you for speeding?
Two cars drive from one spotlight to the next, leaving at the same time and arriving at the same time. Is there ever a time when they are going the same speed? Prove or disprove.
Yes
Show that $y={\text{sec}}^{2}x$
and $y={\text{tan}}^{2}x$
have the same derivative. What can you say about $y={\text{sec}}^{2}x-{\text{tan}}^{2}x?$
Show that $y={\text{csc}}^{2}x$
and $y={\text{cot}}^{2}x$
have the same derivative. What can you say about $y={\text{csc}}^{2}x-{\text{cot}}^{2}x?$
It is constant.
is continuous over
$[a,b]$and differentiable over
$\left(a,b\right),$then there exists
$c\in \left(a,b\right)$such that
is continuous over
$[a,b]$and differentiable over
$\left(a,b\right),$and if
$f\left(a\right)=f\left(b\right),$then there exists
$c\in \left(a,b\right)$such that
${f}^{\prime}\left(c\right)=0$You can also download for free at http://cnx.org/contents/9a1df55a-b167-4736-b5ad-15d996704270@5.1
Attribution: