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:
“And would you be a poet
Before youve been to school?
Ah, well! I hardly thought you
So absolute a fool.
First learn to be spasmodic
A very simple rule.
For first you write a sentence,
And then you chop it small;
Then mix the bits, and sort them out
Just as they chance to fall:
The order of the phrases makes
No difference at all.”
—Lewis Carroll [Charles Lutwidge Dodgson] (18321898)
“Most people, no doubt, when they espouse human rights, make their own mental reservations about the proper application of the word human.”
—Suzanne Lafollette (18931983)