Throw a ball straight up and catch it at the same height. At some moment in between, it must have stopped rising and started falling: its velocity was exactly zero. Rolle’s theorem is the mathematical version of that idea. If a smooth function starts and ends at the same value, then somewhere in between its derivative is zero. It looks almost too obvious to state, but it’s the stepping stone to the mean value theorem, one of the most important results in calculus.
What Is Rolle’s Theorem?
Rolle’s theorem. Suppose
is
- continuous on the closed interval
, - differentiable on the open interval
, and . Then there is at least one number
in such that .
In the picture, the curve leaves height 0 at
The theorem tells you that
Why Each Condition Matters
- Differentiable on
. on has , but the bottom is a sharp corner. Its slope is on the left and on the right, never 0. The theorem fails because isn’t differentiable at 0. - Continuous on
. A function can start and end at the same height but jump in the middle, rising the whole time on both pieces. Without continuity there’s no reason to level off. . A sloped line is as smooth as it gets, but it never levels off because it doesn’t come back to its starting height.
Note the difference between the two intervals: continuity is needed on the closed interval, including the endpoints, while differentiability is only needed on the open interval. So
How to Apply Rolle’s Theorem
- Check continuity on
. - Check differentiability on
. - Check
. - Solve
and keep the solutions with .
Polynomials,
Example 1: Finding c
Verify Rolle’s theorem for
Step 1 — check the conditions.
Step 2 — differentiate. Expand first:
Step 3 — solve
Example 2: More Than One Value of c
Find every
Both are inside
Example 3: A Trig Function
Find
Example 4: When Rolle’s Theorem Doesn’t Apply
Does Rolle’s theorem apply to
The function is continuous, and
is undefined at
This isn’t a contradiction. Rolle’s theorem only promises a horizontal tangent when all three conditions hold.
Example 5: Proving an Equation Has Exactly One Root
Rolle’s theorem is also used to count roots. Show that
Step 1 — there is at least one. Let
Step 2 — there can’t be two. Suppose there were two roots,
for every
The pattern works for any function whose derivative is never zero: between two roots there would have to be a horizontal tangent.
Why Rolle’s Theorem Is True
The proof uses the extreme value theorem and the fact from the critical points lesson that an interior maximum or minimum has a flat tangent.
- If
is constant on , then everywhere, and any in works. - If
is not constant, it goes above or below somewhere. Since is continuous on , the extreme value theorem says it has an absolute maximum and minimum there. At least one of them differs from , so it happens at a point strictly inside , not at an endpoint. An interior maximum or minimum of a differentiable function has (Fermat’s theorem).
All three conditions are used: continuity for the extreme value theorem, equal end values to push the extreme inside, and differentiability for Fermat’s theorem.
Rolle’s Theorem vs the Mean Value Theorem
Tilt the picture. If
When
Common Mistakes
- Not checking the conditions. Always confirm continuity, differentiability and
before using the theorem. - Keeping an endpoint as
. must be strictly between and . In Example 1, is excluded. - Thinking
and must be 0. They only have to be equal. on works with . - Reading the theorem backwards. A function can have
without meeting the conditions. The theorem only goes one way.
Practice Problems
Try each one before opening the answer. The practice set has 12 more with instant checking.
Problem 1. Find
Show answer
Answer:
Problem 2. Find every
Show answer
Both are inside
Answer:
Problem 3. Find
Show answer
Answer:
Problem 4. Find
Show answer
Only
Answer:
Problem 5. Does Rolle’s theorem apply to
Show answer
Answer: no,
Problem 6. Show that
Show answer
At least one:
At most one:
Answer: exactly one real root, between 0 and 1
Rolle’s theorem handles the case where the ends are level. Next, the mean value theorem tilts the picture and says the same thing about any smooth function.