Rolle's theorem

From Wikipedia, the free encyclopedia

In calculus, a branch of mathematics, Rolle's theorem essentially states that a smooth function, which attains equal values at two points, must have a stationary point somewhere between them.

Contents 1 Standard version of the theorem 2 History 3 Examples 3.1 First example 3.2 Second example 4 Generalization 4.1 Remarks 5 Proof of the generalized version 6 Generalization to higher derivatives 6.1 Proof 7 See also 8 External links 9 Footnotes

[edit] Standard version of the theorem

If a real-valued function f is continuous on a closed interval [a,b], differentiable on the open interval (a,b), and f(a) = f(b), then there is some real number c in the open interval (a,b) such that

This version of Rolle's theorem is used to prove the mean value theorem, Rolle's theorem is indeed a special case of it.

[edit] History

A version of the theorem was first stated by the Indian astronomer Bhaskara in the 12th century ^[1]. The first known formal proof was offered by Michel Rolle in 1691, which used the methods of the differential calculus.

[edit] Examples

[edit] First example

For a radius r > 0 consider the function

Its graph is the upper semicircle centered at the origin. This function is continuous on the closed interval [−r,r] and differentiable in the open interval (−r,r), but not differentiable at the endpoints −r and r. Since f(−r) = f(r), Rolle's theorem applies, and indeed, there is a single point where the derivative of f is zero.

[edit] Second example

If differentiability fails at an interior point of the interval, the standard version of Rolle's theorem can fail. For some real a > 0 consider the absolute value function

Then f(−a) = f(a), but there is no c between −a and a for which the derivative is zero. This is because that function, although continuous, is not differentiable at x = 0. Note that the derivative of f changes its sign at x = 0, but without attaining the value 0.

[edit] Generalization

The second and third example illustrate the following generalization of Rolle's theorem:

Consider a real-valued, continuous function f on a closed interval [a,b] with f(a) = f(b). If for every x in the open interval (a,b) the right-hand limit

and the left-hand limit

exist in the extended real line [−∞,∞], then there is some number c in the open interval (a,b) such that one of the two limits

is ≥ 0 and the other one is ≤ 0. If the right- and left-hand limit agree for every x, then they agree in particular for c, hence the derivative of f exists at c and is equal to zero.

[edit] Remarks

1. If f is convex or concave, then the right- and left-hand derivatives exist at every inner point, hence the above limits exist and are real numbers.
2. This generalized version of the theorem is sufficient to prove convexity when the one-sided derivatives are monotonically increasing:^[2]

[edit] Proof of the generalized version

Since the proof for the standard version of Rolle's theorem and the generalization are very similar, we prove the generalization.

The idea of the proof is to argue that if f(a) = f(b), then f must attain either a maximum or a minimum somewhere between a and b, say at c, and the function must change from increasing to decreasing (or the other way round) at c. In particular, if the derivative exists, it must be zero at c.

By assumption, f is continuous on [a,b], and by the extreme value theorem attains both its maximum and its minimum in [a,b]. If these are both attained at the endpoints of [a,b], then f is constant on [a,b] and so the derivative of f is zero at every point in (a,b).

Suppose then that the maximum is obtained at an interior point c of (a,b) (the argument for the minimum is very similar, just consider −f ). We shall examine the above right- and left-hand limits separately.

For a real h such that c + h is in [a,b], the value f(c + h) is smaller or equal to f(c) because f attains is maximum at c. Therefore, for every h > 0,

hence

where the limit exists by assumption, it may be minus infinity.

Similarly, for every h < 0, the inequality turns around because the denominator is now negative and we get

hence

where the limit might be plus infinity.

Finally, when the above right- and left-hand limits agree (in particular when f is differentiable), then the derivative of f at c must be zero.

[edit] Generalization to higher derivatives

We can also generalize Rolle's theorem by requiring that f has more points with equal values and greater regularity. Specifically, suppose that

• the function f is n − 1 times continuously differentiable on the closed interval [a,b] and the n^th derivative exists on the open interval (a,b), and
• there are n intervals given by a₁ < b₁ ≤ a₂ < b₂ ≤ . . .≤ a_n < b_n in [a,b] such that f(a_k) = f(b_k) for every k from 1 to n.

Then there is a number c in (a,b) such that the n^th derivative of f at c is zero.

Of course, the requirements concerning the n^th derivative of f can be weakened as in the generalization above, giving the corresponding (possibly weaker) assertions for the right- and left-hand limits defined above with f ⁽ⁿ⁻¹⁾ in place of f.

[edit] Proof

The proof uses mathematical induction. For n = 1 it is just the standard version of Rolle's theorem. As induction hypothesis, assume the generalization is true for n − 1. We want to prove it for n > 1. By the standard version of Rolle's theorem, for every integer k from 1 to n, there exists a c_k in the open interval (a_k,b_k) such that f' (c_k) = 0. Hence the first derivative satisfies the assumptions with the n − 1 closed intervals [c₁,c₂], . . ., [c_n−1,c_n]. By the induction hypothesis, there is a c such that the (n − 1)^st derivative of f'  at c is zero.

[edit] See also

• Mean value theorem
• Extreme value theorem
• Intermediate value theorem
• Linear interpolation

[edit] External links

• Rolle's and Mean Value Theorems at cut-the-knot

[edit] Footnotes

1. ^ 8 V. Bhaskaracharya II
2. ^ Artin, Emil [1931] (1964). The Gamma Function, trans. Michael Butler, Holt, Rinehart and Winston, pp. 3-4.