Rolle's and The Mean Value Theorems
The Mean Value Theorem (MVT, for short) is one of the most frequent subjects in mathematics education literature. It is one of important tools in the mathematician's arsenal, used to prove a host of other theorems in Differential and Integral Calculus. As a curiosity, it is most frequently derived as a consequence of its own special case -- Rolle's theorem. The latter is named after Michel Rolle (1652-1719), a French mathematician who established the now common symbol for the n^{th} root and insisted that
Rolle's Theorem
Let f be continuous on a closed interval
(The tangent to a graph of f where the derivative vanishes is parallel to x-axis, and so is the line joining the two "end" points
Mean Value Theorem
Let f be continuous on a closed interval
(1) | f^{ }'(c) = (f(b) - f(a)) / (b - a). |
(The Mean Value Theorem claims the existence of a point at which the tangent is parallel to the secant joining
The applet below illustrates the two theorems. It displays the graph of a function, two points on the graph that define a secant and a third point in-between to which a tangent to the graph is attached. The graph and the three points on it are draggable.
As of 2018, Java plugins are not supported by any browsers (find out more). This Wolfram Demonstration, Rolle's Theorem, shows an item of the same or similar topic, but is different from the original Java applet, named 'MVT'. The originally given instructions may no longer correspond precisely.
Proof of the Mean Value Theorem
Assume Rolle's theorem. The equation of the secant -- a straight line -- through points
g(x) = f(a) + [(f(b) - f(a)) / (b - a)](x - a).
The line is straight and, by inspection,
(f - g)(a) = f(a) - g(a) = 0 = f(b) - g(b) = (f - g)(b).
We are therefore guaranteed the existence of a point c in
(f - g)'(x) = f^{ }'(x) - g'(x) = f^{ }'(x) - (f(b) - f(a)) / (b - a).
(f - g)'(c) = 0 is then the same as
f^{}'(c) = (f(b) - f(a)) / (b - a).
Remark
The above is rather a standard proof of a standard formulation. The motivation for the choice of the auxiliary function g(x) is often questioned and even considered obscure. (f - g)(x) represents the vertical distance -- difference -- between the two graphs: that of f and the secant which is the graph of g. Other functions g can serve the same purpose.
Let A, B, X denote the points (a, f(a)),
(b, f(b)), and(x, f(x)), respectively. Then the distance d(x) from X to AB can be easily computed and then differentiated. A more elegant approach depends on the observation that the product of d(x) and the length |AB| of AB equals twice the area S(x) of ΔABX. This area has a simple expression in determinants:First of all observe that not unexpectedly S(a) = S(b) (= 0.) We are thus in a position to apply Rolle's theorem. The derivative S'(x) is given by
So that S'(c) = 0 immediately implies (1).
Both Rolle's and the Mean Value Theorem are statements of pure existence. Except for claiming that point c lies in the interval
(a, b), neither provides more accurate information as to its location. For this reason, generations of students found the theorems perplexing. Following J. Dieudonné, R. P. Boas argued that the following form of the MVT is both more intuitive and no less useful:Assume the derivative
f^{ }' of function f is bounded on(a, b): m ≤
f^{ }' (x) ≤ M.Then
(b - a)m ≤ f(b) - f(a) ≤ M(b - a).
For a function, which is the integral of its derivative, this is the same as
which, in turn, is a form of what is known as the Mean Value Theorem for Integrals:
If f is continuous on a closed interval [a, b], then there is at least one point c such that
For further information and applications see superb pages by Timothy Gowers.
References
- A Century of Calculus II, T. Apostol et al (eds), MAA, 1992
- J. Dieudonné, Foundations of Modern Analysis, Academic Press, 1960
70209120 |
Copyright © 1996-2018 Alexander Bogomolny |