Rolle's Theorem

The theorem

If ff is continuous on [a,b][a,b], differentiable on (a,b)(a,b), and f(a)=f(b)f(a) = f(b), then there exists at least one point c∈(a,b)c \in (a,b) where f′(c)=0f'(c) = 0: intuitively, if a smooth curve starts and ends at the same height, it must have a flat point somewhere in between.

Worked example

Verify Rolle's theorem for f(x)=x2+2x−8f(x) = x^2 + 2x - 8 on [−4,2][-4, 2].

Solution: ff is a polynomial, so it's continuous and differentiable everywhere. Checking the endpoints:

f(−4)=16−8−8=0,f(2)=4+4−8=0f(-4) = 16 - 8 - 8 = 0, \qquad f(2) = 4 + 4 - 8 = 0

Since f(−4)=f(2)f(-4) = f(2), Rolle's theorem guarantees a point c∈(−4,2)c \in (-4, 2) with f′(c)=0f'(c)=0. Since f′(x)=2x+2f'(x) = 2x+2:

2c+2=0  ⇒  c=−12c + 2 = 0 \;\Rightarrow\; c = -1

c=−1c=-1 does lie in (−4,2)(-4,2), so the theorem is verified.

Graph of f(x) equals x squared plus 2x minus 8 on the interval from minus 4 to 2. The curve starts and ends at height 0, and at c equals minus 1 its tangent is horizontal.−3−2−11−44a = −4b = 2c = −1, f′(c) = 0
f(x) = x² + 2x − 8 on [−4, 2]. The curve starts and ends at height 0, so somewhere between it must level off: at c = −1, where the tangent is horizontal.

When the theorem doesn't apply

All three conditions matter. f(x)=∣x∣f(x) = |x| on [−1,1][-1, 1] has f(−1)=f(1)=1f(-1) = f(1) = 1 and is continuous, but it is not differentiable at x=0x = 0, and there is no point where f′(c)=0f'(c) = 0: the slope is −1-1 on the left and +1+1 on the right. So before using the theorem, check continuity on [a,b][a, b], differentiability on (a,b)(a, b), and equal end values.

The mean value theorem

Rolle's theorem is a special case of the mean value theorem. Drop the condition f(a)=f(b)f(a) = f(b), and some point still has a tangent parallel to the chord joining the endpoints: if ff is continuous on [a,b][a, b] and differentiable on (a,b)(a, b), there is a c∈(a,b)c \in (a, b) with

f′(c)=f(b)−f(a)b−af'(c) = \dfrac{f(b) - f(a)}{b - a}

When f(a)=f(b)f(a) = f(b), the right side is 0, which is exactly Rolle's theorem.

Rolle's theorem and the mean value theorem side by side
Rolle's theoremMean value theorem
Continuous on[a,b][a, b][a,b][a, b]
Differentiable on(a,b)(a, b)(a,b)(a, b)
End valuesf(a)=f(b)f(a) = f(b)no condition
Conclusionf′(c)=0f'(c) = 0f′(c)=f(b)−f(a)b−af'(c) = \dfrac{f(b) - f(a)}{b - a}

Worked example: the mean value theorem

Find the value of cc guaranteed by the mean value theorem for f(x)=xf(x) = \sqrt{x} on [0,4][0, 4].

Solution: x\sqrt{x} is continuous on [0,4][0, 4] and differentiable on (0,4)(0, 4). The chord's slope is f(4)−f(0)4−0=24=12\dfrac{f(4) - f(0)}{4 - 0} = \dfrac{2}{4} = \dfrac{1}{2}. Setting the derivative equal to it:

12c=12  ⇒  c=1  ⇒  c=1\dfrac{1}{2\sqrt{c}} = \dfrac{1}{2} \;\Rightarrow\; \sqrt{c} = 1 \;\Rightarrow\; c = 1

c=1c = 1 lies in (0,4)(0, 4), as the theorem promises.

Graph of f(x) equals root x on the interval from 0 to 4, with the chord from (0, 0) to (4, 2) and the parallel tangent at c equals 1, both with slope one half.123412tangent at c = 1chord, slope 1/2y = √x
f(x) = √x on [0, 4]. The chord from (0, 0) to (4, 2) has slope 1/2, and the tangent at c = 1 is parallel to it.

Continue learning

The point Rolle's theorem guarantees is exactly the kind of critical point that shows up when hunting for a local maximum or minimum.