A Simple Application
Assume that f is a continuous, real-valued function, defined on an arbitrary interval I of the real line. If the derivative of f at every interior point of the interval I exists and is zero, then f is constant.
Proof: Assume the derivative of f at every interior point of the interval I exists and is zero. Let (a, b) be an arbitrary open interval in I. By the mean value theorem, there exists a point c in (a,b) such that
This implies that f(a) = f(b). Thus, f is constant on the interior of I and thus is constant on I by continuity. (See below for a multivariable version of this result.)
Remarks:
- Only continuity of ƒ, not differentiability, is needed at the endpoints of the interval I. No hypothesis of continuity needs to be stated if I is an open interval, since the existence of a derivative at a point implies the continuity at this point. (See the section continuity and differentiability of the article derivative.)
- The differentiability of ƒ can be relaxed to one-sided differentiability, a proof given in the article on semi-differentiability.
Read more about this topic: Mean Value Theorem
Famous quotes containing the words simple and/or application:
“You are all alike, you respectable people. You can’t tell me the bursting strain of a ten-inch gun, which is a very simple matter; but you all think you can tell me the bursting strain of a man under temptation. You daren’t handle high explosives; but you’re all ready to handle honesty and truth and justice and the whole duty of man, and kill one another at that game. What a country! What a world!”
—George Bernard Shaw (1856–1950)
“We will not be imposed upon by this vast application of forces. We believe that most things will have to be accomplished still by the application called Industry. We are rather pleased, after all, to consider the small private, but both constant and accumulated, force which stands behind every spade in the field. This it is that makes the valleys shine, and the deserts really bloom.”
—Henry David Thoreau (1817–1862)