We motivate this section with the following question: Suppose you leave your house and drive to your friend’s house in a city 100 miles away, completing the trip in two hours. Is there necessarily a moment during the trip when you are going 50 miles per hour?
In answering this question, it is clear that the average speed for the entire trip is 50 mph (i.e. 100 miles in 2 hours), but the question is whether or not your instantaneous speed is ever exactly 50 mph. More simply, does your speedometer ever read exactly 50 mph?. Figure 3.2.1 shows a graphical interpretation of this question. The answer, under some very reasonable assumptions, is “yes.”
Let’s now see why this situation is in a calculus text by translating it into mathematical symbols.
First assume that the function gives the distance (in miles) traveled from your home at time (in hours) where . In particular, this gives and . The slope of the secant line (average velocity) connecting the starting and ending points and is therefore
The slope at any point on the graph itself (instantaneous velocity) is given by the derivative . So, since the answer to the question above is “yes,” this means that at some time during the trip, the derivative takes on the value of 50 mph. Symbolically,
for some time
How about more generally? Given any function and a range does the value of the derivative at some point between and have to match the slope of the secant line connecting the points and ? Or equivalently, does the equation have to hold for some ?
Let’s look at two functions in an example.
Consider functions
with and as shown in Figure 3.2.2(a) and (b), respectively. Both functions have a value of 1 at and . Therefore the slope of the secant line connecting the end points is in each case. But if you look at the plots of each, you can see that there are no points on either graph where the tangent lines have slope zero. Therefore we have found that there is no in such that
So what went “wrong ”? It may not be surprising to find that the discontinuity of and the corner of play a role. If our functions had been continuous and differentiable, would we have been able to find that special value ? This is our motivation for the following theorem.
Let be a continuous function on the closed interval and differentiable on the open interval . There exists a value , , such that
That is, there is a value in where the instantaneous rate of change of at is equal to the average rate of change of on .
Note that the reasons that the functions in Example 3.2.1 fail are indeed that has a discontinuity on the interval and is not differentiable at the origin.
We will give a proof of the Mean Value Theorem below. To do so, we use Rolle’s Theorem, stated here.
Let be continuous on and differentiable on , where . There is some in such that
Consider Figure 3.2.4 where the graph of a function is given, where . It should make intuitive sense that if is differentiable (and hence, continuous) that there would be a value in where ; that is, there would be a relative maximum or minimum of in . Rolle’s Theorem guarantees at least one; there may be more.
Rolle’s Theorem is really just a special case of the Mean Value Theorem. If , then the average rate of change on is , and the theorem guarantees some where . We will prove Rolle’s Theorem, then use it to prove the Mean Value Theorem.
Let be differentiable on where . We consider two cases.
Consider the case when is constant on ; that is, for all in . Then for all in , showing there is at least one value in where .
Now assume that is not constant on . The Extreme Value Theorem guarantees that has a maximal and minimal value on , found either at the endpoints or at a critical point in . Since and is not constant, it is clear that the maximum and minimum cannot both be found at the endpoints. Assume, without loss of generality, that the maximum of is not found at the endpoints. Therefore there is a in such that is the maximum value of . By Theorem 3.1.2, must be a critical point of ; since is differentiable, we have that , completing the proof of the theorem.∎
Show that has exactly one real root.
SolutionWe’ll do this in two steps. The first step is to use the Intermediate Value Theorem to show that there is at least one root. The second step is to use Rolle’s Theorem to show that there is at most one root. (Because is a polynomial, it is continuous and differentiable, so both of these theorems apply.)
We can apply the Intermediate Value Theorem on the interval . Since , the Intermediate Value Theorem tells us that there is at least one place in where . This means that there is at least one root, but there may be more in the interval (and there may be more outside the interval where we haven’t even looked).
We will now use Rolle’s Theorem to show that has at most one root. Suppose for this paragraph that had two (or more) roots. Then by Rolle’s Theorem, there is some in between the roots so that . But this cannot happen, since is always at least 3.
Therefore, has at most one root. Combining this with “there is at least one root”, we see that has exactly one root. (Notice that because both the Intermediate Value Theorem and Rolle’s Theorem are existential theorems, we don’t know what the root is, only that it must exist.)
We will now use Rolle’s Theorem to prove the Mean Value Theorem.
Define the function
We know is differentiable on and continuous on since is. We also see that
which shows that . We can then apply Rolle’s theorem to guarantee the existence of such that . But note that
hence
which is what we sought to prove. ∎
Going back to the very beginning of the section, we see that the only assumption we would need about our distance function is that it be continuous and differentiable for from 0 to 2 hours (both reasonable assumptions). By the Mean Value Theorem, we are guaranteed a time during the trip where our instantaneous speed is 50 mph. This fact is used in practice. Some law enforcement agencies monitor traffic speeds while in aircraft. They do not measure speed with radar, but rather by timing individual cars as they pass over lines painted on the highway whose distances apart are known. The officer is able to measure the average speed of a car between the painted lines; if that average speed is greater than the posted speed limit, the officer is assured that the driver exceeded the speed limit at some time.
Note that the Mean Value Theorem is an existence theorem. It states that a special value exists, but it does not give any indication about how to find it. It turns out that when we need the Mean Value Theorem, existence is all we need.
Watch the video:
The Mean Value Theorem from https://youtu.be/xYOrYLq3fE0
Consider on . Find in that satisfies the Mean Value Theorem.
SolutionThe average rate of change of on is:
We want to find such that . We find . We set this equal to 14 and solve for .
We have found 2 values in where the instantaneous rate of change is equal to the average rate of change; the Mean Value Theorem guaranteed at least one. In Figure 3.2.5 is graphed with a dashed line representing the average rate of change; the lines tangent to at are also given. Note how these lines are parallel (i.e., have the same slope) as the dashed line.
While the Mean Value Theorem has practical use (for instance, the speed monitoring application mentioned before), it is mostly used to advance other theory. We will use it in the next section to relate the shape of a graph to its derivative.
Explain in your own words what the Mean Value Theorem states.
Explain in your own words what Rolle’s Theorem states.
In Exercises 3–10, a function and interval are given. Check if Rolle’s Theorem can be applied to on ; if so, find in such that .
on .
on .
on .
on .
on .
on .
on .
on .
In Exercises 11–18, a function and interval are given. Check if the Mean Value Theorem can be applied to on ; if so, find a value in guaranteed by the Mean Value Theorem.
on .
on .
on .
on .
on .
on .
on .
on .
Suppose that is continuous on and differentiable on . If and for , how small can possibly be?
Does there exist a function such that , , and for all ?
Show that the equation has exactly one real root.
Show that a polynomial of degree 3 has at most 3 real roots.
Let , , and be constants, and define . Show that the Mean Value Theorem applied to for the interval is always satisfied at the midpoint of the interval.
Find the extreme values of on .
Describe the critical points of .
Describe the critical points of .