Rolle's Theorem and the Hypotheses That Matter

Picture a curve that goes up and comes back down to the exact same height it started at. Somewhere in between, it has to stop rising and start falling — or vice versa — and at that turning instant the tangent line is horizontal. That's the whole idea. Rolle's Theorem makes this rigorous: if f is continuous on the closed interval [a, b], differentiable on the open interval (a, b), and f(a) = f(b), then there exists some c strictly between a and b where f'(c) = 0.

Each hypothesis blocks a specific way the conclusion could fail. Drop continuity, and the curve can jump — think of a function that leaps up at one point, so it never has to double back smoothly. Drop differentiability, and the curve can have a sharp corner, like f(x) = |x - k|: it comes down, hits a point, and goes back up without ever having a defined, zero slope there — the one-sided slopes disagree at the corner. Drop the equal-endpoints condition, and there's no reason the curve ever has to level off at all. All three hypotheses together force the graph to have nowhere to go but flat somewhere in the middle.

Rolle's Theorem is really a stripped-down version of the Mean Value Theorem, where the secant line connecting the endpoints happens to be horizontal because the endpoint heights match. Once you're comfortable finding where f' equals zero to satisfy Rolle's, you're already doing the algebra that the Mean Value Theorem asks for in the next topic, just with a flat secant line instead of a tilted one.