From 11:00PM PDT on Friday, July 1 until 5:00AM PDT on Saturday, July 2, the Shmoop engineering elves will be making tweaks and improvements to the site. That means Shmoop will be unavailable for use during that time. Thanks for your patience!

# I Like Abstract Stuff; Why Should I Care?

We've started getting into "real" math in the last couple of units, with theorems, hypotheses, and counterexamples. It's about time we actually did a proof.

Rolle's Theorem says:

Let f be a function that

• is continuous on the closed interval [a, b]

• is differentiable on the open interval (a, b), and

• has f(a) = f(b).

Then there is some c in the open interval (a, b) with f ' (c) = 0.

### Proof of Rolle's Theorem

We'll prove this in a couple of different cases.

Case 1 (the boring case): If f is constant on [a, b], then f(a) = f(c) for every c in (a, b):

A horizontal line has a derivative (slope) of zero everywhere, so f ' (c) = 0 for all c in (a, b).

If f is constant on any sub-interval of [a, b], the same argument applies:

Now suppose f is not constant on any sub-interval of [a, b], since we've already taken care of that case. The extreme value theorem says f must have a maximum and a minimum on [a, b]. The max and the min can't both equal f(a) since then we would be back in Case 1.

Case 2: The maximum value of f on [a, b] is greater than f(a). Let c be a value of x where this maximum occurs:

Calculate f ' (c) by looking at the limit definition:

.

We know f(c + h) < f(c) since f(c) is the maximum value of f on our interval. The numerator of the quotient will be negative for any value of h close to 0. If h is less than zero we'll have a negative over a negative, so the quotient will be positive:

.

If h is greater than zero we'll have a negative over a positive, so the quotient will be negative:

.

We're assuming f is differentiable on (a, b), which means f ' (c) needs to exist. We're getting positive numbers as h approaches 0 from the left, and negative numbers as h approaches 0 from the right. The only way the limit can exist is if it's to equal 0. Therefore

Case 3: The minimum value of f on [a, b] is less than f(a).

### Sample Problem

Finish the proof in Case 3.

This is the same as Case 2. Let c be a value of x where a minimum occurs:

Since f(c) is a minimum, f(c + h) will be larger and therefore f(c + h) – f(c) is positive. If h is negative then the quotient

is negative; if h is positive then the quotient is positive. As in Case 2, the only way for the limit

to exist is to have f ' (c) = 0, since we find negative numbers as h approaches from one side and positive numbers as h approaches from the other side.