## The Differential Mean Value Theorem

Let’s say we’ve got a function that’s continuous on the closed interval and differentiable on . We don’t even assume the function is defined outside the interval, so we can’t really set up the limit for differentiability at the endpoints, but they don’t matter much in the end.

Anyhow, if we look at the graph of we could just draw a straight line from the point to the point . The graph itself wanders away from this line and back, but the line tells us that on average we’re moving from to at a certain rate — the slope of the line. Since this is an *average* behavior, sometimes we must be going faster and sometimes slower. The differential mean value theorem says that there’s at least one point where we’re going *exactly* that fast. Geometrically, this means that the tangent line will be parallel to the secant we drew between the endpoints. In formulas we say there is a point with .

First let’s nail down a special case, called “Rolle’s theorem”. If , we’re asserting that there is some point with . Since is compact and is continuous, the extreme value theorem tells us that must take a maximum and a minimum. If these are both zero, then we’re looking at the constant function , and any point in the middle satisfies . On the other hand, if either the maximum or minimum is nonzero, then we have a local extremum at a point where is differentiable (since it’s differentiable all through the open interval). Now Fermat’s theorem tells us that since is a local extremum! Thus Rolle’s theorem is proved.

Now for the general case. Start with the function and build from it the function . On the graph, this corresponds to applying an “affine transformation” (which sends straight lines in the plane to other straight lines in the plane) to pull both and down to zero. In fact, it’s a straightforward calculation to see that . Thus Rolle’s theorem applies and we find a point with . But applying our laws of differentiation, we see that . And so , as desired.