Rolle's Theorem

If a differentiable function agrees at the endpoints, it has a critical point inside
Rolle's Theorem

Rolle’s Theorem: Let f:[a,b]Rf:[a,b]\to\mathbb{R} be on [a,b][a,b] and on (a,b)(a,b). If f(a)=f(b)f(a)=f(b), then there exists c(a,b)c\in(a,b) such that f(c)=0.f'(c)=0.

Rolle’s theorem is the key step in proving the and links global behavior (endpoint values) to local behavior (vanishing ).

Proof sketch (optional): By the , ff attains a and a on [a,b][a,b]. If ff is constant then f0f'\equiv 0. Otherwise, at least one extremum occurs at an interior point c(a,b)c\in(a,b), and differentiability forces f(c)=0f'(c)=0 at an interior .