Rolle’s Theorem

Q: What is the difference between Rolle's Theorem and the Mean Value Theorem?

Rolle's Theorem is a special case of the Mean Value Theorem (MVT). The MVT states that there exists a c where f′(c) equals the slope of the secant line between (a, f(a)) and (b, f(b)). When f(a) = f(b), that secant line has slope 0, and the MVT reduces exactly to Rolle's Theorem. So Rolle's Theorem adds the extra condition f(a) = f(b) and concludes f′(c) = 0 rather than a general slope.

Q: What happens if one of the conditions of Rolle's Theorem is not met?

If any hypothesis fails, the theorem's conclusion is not guaranteed. For example, f(x) = |x| on [−1, 1] satisfies f(−1) = f(1) = 1 and is continuous, but it is not differentiable at x = 0. There is no point in (−1, 1) where f′(c) = 0 — the derivative is −1 on the left and +1 on the right. This shows that all three conditions (continuity, differentiability, and equal endpoint values) are essential.

Q: Can Rolle's Theorem give more than one value of c?

Yes. The theorem guarantees at least one c, but there can be multiple values. For example, f(x) = sin(2x) on [0, π] satisfies f(0) = f(π) = 0, and f′(x) = 2cos(2x) = 0 gives c = π/4 and c = 3π/4. Both lie in (0, π), so there are two points with horizontal tangents.

Rolle's Theorem

A theorem of calculus that ensures the existence of a critical point between any two points on a "nice" function that have the same y-value.

Rolle's Theorem: If f is continuous on [a,b], differentiable on (a,b), and f(a)=f(b), then f'(c)=0 for some c in (a,b).
Graph of y=f(x) with points (a,f(a)), (b,f(b)) at equal heights and (c,f(c)) between them where f'(c)=0.

Key Formula

\text{If } f \text{ is continuous on } [a,b], \text{ differentiable on } (a,b), \text{ and } f(a) = f(b),

\text{then there exists at least one } c \in (a,b) \text{ such that } f'(c) = 0.

Where:

$f$ = A function that is continuous on [a, b] and differentiable on (a, b)
$[a, b]$ = The closed interval on which f is continuous
$(a, b)$ = The open interval on which f is differentiable
$f(a) = f(b)$ = The condition that the function has equal values at both endpoints
$c$ = A point in (a, b) where the derivative equals zero (a critical point)
$f'(c)$ = The derivative of f evaluated at c, which the theorem guarantees equals 0

Worked Example

Problem: Verify Rolle's Theorem for f(x) = x² − 4x + 3 on the interval [1, 3] and find the value of c.

Step 1: Check continuity and differentiability. Since f(x) is a polynomial, it is continuous everywhere and differentiable everywhere. Both conditions are satisfied on [1, 3] and (1, 3).

Step 2: Check that f(a) = f(b). Evaluate f at both endpoints.

f(1) = 1 - 4 + 3 = 0, \quad f(3) = 9 - 12 + 3 = 0

Step 3: All three hypotheses are satisfied, so Rolle's Theorem guarantees at least one c in (1, 3) with f′(c) = 0. Find the derivative.

f'(x) = 2x - 4

Step 4: Set the derivative equal to zero and solve for c.

2c - 4 = 0 \implies c = 2

Step 5: Confirm that c = 2 lies in the open interval (1, 3). Since 1 < 2 < 3, the value is valid.

Answer: The value c = 2 satisfies Rolle's Theorem. At x = 2, the tangent line to the curve is horizontal (slope = 0).

Another Example

This example uses a trigonometric function rather than a polynomial, showing that Rolle's Theorem applies to any function meeting the three hypotheses — not just polynomials.

Problem: Show that Rolle's Theorem applies to f(x) = sin(x) on the interval [0, π] and find the value of c.

Step 1: Check continuity and differentiability. The sine function is continuous and differentiable for all real numbers, so both conditions hold on [0, π] and (0, π).

Step 2: Check the endpoint condition.

f(0) = \sin(0) = 0, \quad f(\pi) = \sin(\pi) = 0

Step 3: All hypotheses are met. Find the derivative and set it equal to zero.

f'(x) = \cos(x), \quad \cos(c) = 0 \implies c = \frac{\pi}{2}

Step 4: Verify that c = π/2 lies in (0, π). Since 0 < π/2 < π, the value is valid. At x = π/2, sin(x) reaches its maximum and the tangent is horizontal.

Answer: The value c = π/2 satisfies Rolle's Theorem, confirming a horizontal tangent at the peak of the sine curve.

Frequently Asked Questions

What is the difference between Rolle's Theorem and the Mean Value Theorem?

Rolle's Theorem is a special case of the Mean Value Theorem (MVT). The MVT states that there exists a c where f′(c) equals the slope of the secant line between (a, f(a)) and (b, f(b)). When f(a) = f(b), that secant line has slope 0, and the MVT reduces exactly to Rolle's Theorem. So Rolle's Theorem adds the extra condition f(a) = f(b) and concludes f′(c) = 0 rather than a general slope.

What happens if one of the conditions of Rolle's Theorem is not met?

If any hypothesis fails, the theorem's conclusion is not guaranteed. For example, f(x) = |x| on [−1, 1] satisfies f(−1) = f(1) = 1 and is continuous, but it is not differentiable at x = 0. There is no point in (−1, 1) where f′(c) = 0 — the derivative is −1 on the left and +1 on the right. This shows that all three conditions (continuity, differentiability, and equal endpoint values) are essential.

Can Rolle's Theorem give more than one value of c?

Yes. The theorem guarantees at least one c, but there can be multiple values. For example, f(x) = sin(2x) on [0, π] satisfies f(0) = f(π) = 0, and f′(x) = 2cos(2x) = 0 gives c = π/4 and c = 3π/4. Both lie in (0, π), so there are two points with horizontal tangents.

Rolle's Theorem vs. Mean Value Theorem

	Rolle's Theorem	Mean Value Theorem
Endpoint condition	Requires f(a) = f(b)	No restriction on f(a) and f(b)
Conclusion	There exists c with f′(c) = 0	There exists c with f′(c) = (f(b) − f(a))/(b − a)
Geometric meaning	Guarantees a horizontal tangent line	Guarantees a tangent line parallel to the secant line
Relationship	Special case of MVT	Generalization of Rolle's Theorem
Typical use	Proving existence of roots of derivatives; proving MVT itself	Estimating function values; proving inequalities

Why It Matters

Rolle's Theorem appears in most first-semester calculus courses as one of the first existence theorems students encounter. It serves as the foundation for proving the Mean Value Theorem, which in turn underpins many results about integrals, antiderivatives, and function behavior. Exam problems typically ask you to verify all three hypotheses and then find the specific value(s) of c, so understanding the theorem's conditions is essential.

Common Mistakes

Mistake: Forgetting to verify all three hypotheses before applying the theorem.

Correction: Always explicitly check: (1) f is continuous on [a, b], (2) f is differentiable on (a, b), and (3) f(a) = f(b). If any condition fails, you cannot conclude that a c with f′(c) = 0 exists.

Mistake: Claiming the theorem fails because no c exists, when in fact the hypotheses were not satisfied.

Correction: Rolle's Theorem never 'fails' — it either applies (all hypotheses met, so the conclusion holds) or it does not apply (a hypothesis is violated, so the theorem makes no claim). A missing c when hypotheses are not met is not a counterexample.

Related Terms

Mean Value Theorem — Generalization of Rolle's Theorem to unequal endpoints
Critical Point — The point c guaranteed by the theorem is a critical point
Continuous Function — Continuity on [a, b] is a required hypothesis
Differentiable — Differentiability on (a, b) is a required hypothesis
Theorem — Rolle's Theorem is an existence theorem in calculus
Calculus — The branch of mathematics where Rolle's Theorem is introduced
Slope of a Line — The theorem guarantees a point with zero slope
Function — The theorem applies to functions meeting specific conditions