Mean Value Theorem - A Simple Application

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:

    “Christina Bailey: I was just thinking how much you can tell about a person from such simple things. Your car, for instance.
    Mike Hammer: Now what kind of message does it send you?
    Christina: You have only one real, lasting love.
    Mike: Now who could that be?
    Christina: You. You’re one of those self-indulgent males who thinks about nothing but his clothes, his car, himself. I’ll bet you do push-ups every morning just to keep your belly hard.”
    —A.I. (Albert Isaac)

    “It is known that Whistler when asked how long it took him to paint one of his “nocturnes” answered: “All of my life.” With the same rigor he could have said that all of the centuries that preceded the moment when he painted were necessary. From that correct application of the law of causality it follows that the slightest event presupposes the inconceivable universe and, conversely, that the universe needs even the slightest of events.”
    —Jorge Luis Borges (1899–1986)