Pete Brady strolled out of the U.S. Postal Service office just off Weaver Lake Road in Maple Grove, Minnesota at exactly 10 am.
Coffee and important package in hand, he set off on his 161 mile (259 kilometer) journey to the northwest on Interstate 94 to the police department in Fergus Falls, Minnesota.
It was a cloudy and windy October day, with a hint of winter in the air. As he listened to his favorite tunes, the miles rolled by relatively unnoticed, as well as the readings on his car’s dashboard. He would stop for lunch after making the delivery to his uncle Robert Brady, who was head of public safety in Fergus Falls. But then he would get out of town as quickly as possible.
Robert had only recently made the transition from being a college mathematics professor for many years into his new role, but he brought his passion for mathematics with him. Pete was okay at math, but he didn’t like to talk about it outside of school, and spending too much time with Robert made his head hurt.
Robert was also a stickler about obeying the law and continually scrutinized other peoples’ lives. Pete wanted to make sure he didn’t reveal too much about his recent activities with his friends — the less time spent around Robert the better.
After arriving, Pete warily opened the door and sauntered in.
Robert saw him immediately and sprang up. “You are here too early.”
With a quizzical look on his face, Pete decided not to say anything, but just started to raise the package to hand it off. Shouldn’t Robert be pleased that he was there early — whatever he meant by it?
“You arrived at exactly 12:18 pm,” Robert continued. “You were speeding.”
Pete knew that he had a history of speeding, but he also had been in no rush to see uncle Robert. It didn’t seem possible. Maybe he hadn’t watched the speedometer enough?
“What do you mean?”
“I saw you leave the Maple Grove post office at exactly 10 am through our video feed.” Robert paused, then explained, “This package is too important, so I felt I had to watch the feed to make sure you got it.”
Pete was upset, but not completely surprised. “So?”
“So?” Robert sighed, “That means your overall average speed was 70 miles per hour!”
Now Pete was really perplexed. After about five seconds, he stammered, “How…how do you know? And why does it matter?” Pete instantly wished he had not asked.
“Simple mathematics — child’s play, really,” Robert proclaimed. “The distance between that post office and this police station is exactly 161 miles, and it took you exactly 2.3 hours, so your average speed was 161 miles divided by 2.3 hours, which is exactly 70 miles per hour. I’m going to give you a ticket for speeding. I will also have to consider contacting your parents. It is for your own good. I do care about you, you know.”
As Robert moved to a counter to start the process of issuing a citation, Pete thought he saw an out. “Wait a minute — isn’t the speed limit on the interstate highway 70 miles per hour? What you just said actually proves that I followed the speed limit!”
“Do not use the word ‘proves’ in such a casual manner young man! You had to speed up as you left the post office in Maple Grove and you had to slow down in Fergus Falls, so your average speed on the interstate must have been greater than 70 miles per hour. So you did indeed exceed the speed limit.”
Then Pete remember some physics from a few years before and decided to take on Robert’s scolding tone, “But that was just my average speed, not my instantaneous speed. You can’t prove that there was ever a point in time where I was going over the speed limit.”
Robert turned and smirked at his nephew’s attempt to mimic him. “Oh…yes…I…can. I can invoke the glorious Mean Value Theorem. It can be used to show that, at some point in time, your instantaneous speed equaled your average speed, which was higher than 70 miles per hour.”
Pete didn’t remember the Mean Value Theorem. There was no use in fighting. He was defeated. He gave his uncle the package in exchange for the ticket.
“You have 60 days to pay.”
“See ya later uncle Robert.”
Statement of the Mean Value Theorem
Yes, I went overboard on this story. The stereotypical portrayal of uncle Robert as a priggish mathematician was just for fun. Please forgive me.
Mathematicians do indeed enjoy mathematics to an extreme degree in many peoples’ eyes. But they are, in my personal experience, often kind and generous.
But was uncle Robert right? Did Pete break the speed limit? And what does the Mean Value Theorem (MVT) have to do with it? We should look at its precise statement, which was explored in Part 1 and Part 2 of this series.
Mean Value Theorem (MVT): If is a real-valued function defined and continuous on a closed interval and if is differentiable on the open interval then there exists a number with the property that
Related Videos
You may find both parts of Lecture 16 from my class on Real Analysis to also be helpful.
Back to Pete’s Story
Let us first work on understanding the MVT in the context of Pete’s driving. Assume Pete left the Maple Grove post office at time 0 hours (10 am) and arrived at the police station in Fergus Falls at time 2.3 hours (12:18 pm). Then Pete’s average speed was indeed miles per hour.
Let represent the distance, in miles, that Pete traveled from time 0 to time in hours. If time was the time that Pete entered the interstate and time was the time that Pete exited the interstate (with ), then it is also true that was Pete’s average speed on the interstate. Because Pete had to speed up at the beginning and slow down at the end, we can say that where miles per hour.
It is a reasonable physical assumption to say that is continuous and differentiable over the the intervals and respectively. The MVT now implies that there is a time when Pete’s instantaneous speed, the derivative equaled his average speed on the interstate . Pete did indeed break the speed limit of 70 miles per hour.
To some readers, this may seem intuitively obvious. Is the MVT really necessary to use? Isn’t it obviously true? If this is your situation, you should read Part 2 to see that its proof is not trivial. It rests on foundational principles (“axioms“), definitions, and facts in the subject real analysis.
A Return to Steady Eddie and Wild Kyle
The main goal of Part 1 of this series of posts was to “deconstruct” the MVT by understanding the parts of its statement. We also illustrated its implications and limitations through examples. The main goal of Part 2 was to “deconstruct” the MVT by working backwards from its statement toward first principles to understand why it is true — or, at least, to understand how it is proved within a certain axiomatic system.
Our main goal in this, Part 3, is not so much a “deconstruction”. Rather, we will explore why the MVT is so valuable by exploring more of its implications.
Let’s start by considering the physical example from Part 2: the “race” between Steady Eddie and Wild Kyle. Below is the animated graphic of their race. Steady Eddie is driving the constant-speed blue car, and Wild Kyle is driving the varying-speed red car.
They start and end the race at the same times, so they have the same average speed. The MVT implies that there is at least one time where Kyle’s instantaneous speed equals Eddie’s constant speed. In fact, in this case, there is more than one such time.
Kyle Becomes More Wild
We can take this example even further. Suppose Kyle convinces Eddie to be a bit more “free-spirited” and not keep a constant speed. In addition, let’s say that Kyle decides to be even more wild and travel both forward (positive velocity) and backward (negative velocity) toward the finish line. Is there ever a time where their instantaneous velocities are equal?
The Mean Value Theorem still implies that the answer is “yes”!
To verify this, let be Steady Eddie’s position at time and let be Wild Kyle’s position at time (all with respect to appropriate measurement units). The starting line is taken to be position 0 and the rightward direction is the positive direction. It is physically reasonable to assume that both and are continuous and differentiable on the interval , where is the ending time of the race.
Define a new function by the formula Since and are continuous and differentiable on the same is true of . We also know that and that and
By the Mean Value Theorem (or Rolle’s Theorem), there exists a time such that . But this means that . That does it. That means that they have the same instantaneous velocity (which could be positive or negative) at some point in time. At some point in time the slopes of tangent lines to the graphs of and are the same.
Monotonicity
The Mean Value Theorem can be used to prove the “Monotonicity Theorem”, which is sometimes split into three pieces: 1) the “Increasing Function Theorem”. 2) the “Decreasing Function Theorem”. And 3) the “Constant Function Theorem”. These are fundamental and useful facts from calculus related to monotonic functions. Here’s the full statement:
Monotonicity Theorem: Let be a real-value function defined on a closed interval . Suppose that is continuous on and differentiable on . Then the following three statements are true: 1) If for all , then is (strictly) increasing on . 2) If for all , then is (strictly) decreasing on . 3) If for all , then is constant on .
Proof of Part 1 of the Monotonicity Theorem (using the MVT):
Let be arbitrary points with Since these points are arbitrary, to prove that is increasing on we only need to show that
Our assumptions about allows us to apply the MVT to this function over the interval to conclude that there exists a number such that But this means that However, this quantity is positive because and We are finished. This means and therefore is (strictly) increasing on
The proofs of Parts 2 and 3 of this theorem are similar.
A Possible Misinterpretation
Many students in calculus misinterpret this theorem to mean that if a differentiable function is strictly increasing on an interval, then its derivative must always be positive on that interval. However, this is technically a false statement (though a person might say be tempted to say that it is “usually true” in some vague sense). For example, the function is strictly increasing on the interval but its derivative is not always positive on because You might be tempted to say this example is a form of “cheating”, but it is really not. It illustrates an important subtlety to be aware of. There are many things in calculus and real analysis that sound “true”, and might indeed be “usually true”, but are technically “false” because of certain “counterexamples“.
The First Derivative Test
Very much related to the Monotonicity Theorem is the so-called First Derivative Test. This has important applications to calculus and its real-world consequences.
One of the main applications that calculus students tend to remember is optimization. This is the search for extreme points of functions (maxima and minima) in many real-life situations.
We first find the derivative of the function in question. Next, we find the critical points of the function. And then we draw a number line to help visualize the possible changes in the sign of the derivative as the independent variable increases through the critical points. This leads to the identification of local maximum and minimum points. However, some critical points are neither local maxima nor local minima — such as for over any open interval containing zero.
A Real-Life Optimization
It’s a bit tough to tell, but in the following animation, the angle between the red lines is maximized when the boat is close to, but not too close to, the Statue of Liberty on the right. This is an example of a practical real-life maximization. The location where the angle between the red lines is largest is the “best” viewing location for viewing the “size” of the statue.
Here’s the statement of one form of the First Derivative Test.
First Derivative Test: Suppose that is continuous on and differentiable on (it is actually sufficient to just assume the second fact here). Furthermore, suppose is a critical point of (where, in this case, ). Then each of the following statements is true: 1) If for all and for all , then has a (local) maximum point at . 2) If for all and for all , then has a (local) minimum point at .
We can also prove this by using the Monotonicity Theorem above. It is therefore also a consequence of the Mean Value Theorem. We prove Part 1 here. The proof of Part 2 is similar.
Proof of Part 1 (using the Monotonicity Theorem):
The fact that for all implies, by the Monotonicity Theorem, that is strictly increasing on (after all, ). In a similar manner, the fact that for all implies, by the Monotonicity Theorem, that is strictly decreasing on Therefore, if or if , it must be the case that by what it means for a function to be strictly increasing and strictly decreasing. But this means that has a (local) maximum point at This proves Part 1 of the First Derivative Test.
The Fundamental Theorem of Calculus (FTC)
The most important result in calculus is, as its name seems to imply, the Fundamental Theorem of Calculus (FTC). In fact, though more rudimentary ideas in calculus had been circulating before the time, it was the discovery and application of this theorem that marked the traditional “birth” of calculus by Isaac Newton and Gottfried Wilhelm Leibniz in the 1600’s.
Its statement is often written in two parts, though we can combine these under one theorem-heading. Take the term “Riemann integrable” as basically meaning that, if the graph of the function is always above the horizontal axis, then the area under its graph and above the interval is well-defined. We will not delve into a rigorous description of what this means.
Statement of the FTC
Fundamental Theorem of Calculus: Suppose the real-valued function is Riemann integrable on the interval . Then the following two statements are true: 1) If is continuous on and if is a function defined by the equation then is differentiable on and for all (with appropriate one-sided derivatives at the endpoints). 2) If is an antiderivative of on so that for all and if is continuous on then
Note: the assumption of the continuity of on is actually not necessary for the truth of Part 2, but will make our proof using the MVT possible to do.
One way that Part 2 of the FTC can be proved is by using Part 1. However, Part 2 of the FTC can also be proved using the MVT. We will do this now, though the “proof” we give is really only an idea/sketch/outline of a proof because we have not defined what integration really means in terms of limits of Riemann sums. If you have done so in a previous course, however, this proof should make sense to you, though its very last part is very subtle.
Idea of Proof of Part 2 of the FTC (using the MVT):
For an arbitrary partition of the interval our assumptions and the MVT allow us to conclude that there exist numbers with for each such that
But this means that
But this last sum is an arbitrary Riemann sum for estimating the integral which exists because we are assuming is continuous. Since the “mesh” or “norm“, of such a Riemann sum can be made as small as we like, this implies that must actually equal all of such Riemann sums, which all equal
This last sentence is very subtle, but it is true. You should realize that other Riemann sums might not equal the integral. The key is that these particular Riemann sums, which arise from the truth of the MVT, do all equal the integral.
The FTC is key to many of the applications of integration. We will certainly explore the FTC in depth in the future, Lord willing.