For all humankind
Academicsubsite
ZixuanZhang
ZixuanZhang
Ponder...

Rolle's Theorem

If is continuous on and differentiable on with , then with .

Proposition 3.10 (Rolle's Theorem)
Let be continuous on and differentiable on . If , then such that .

Proof

By the Extreme Value Theorem, attains its maximum and its minimum on : there are with

If an extremum lies in the open interval, say , then has the same sign as ; taking the limits along and forces . Similarly for a maximum , where the difference quotient has sign opposite to .

If is not constant, then either or , so at least one of , cannot sit at the endpoints and must lie in . If is constant the result is trivial.

Related

Stated in