| Mean value theorem | |
|---|---|
| Rolle's theorem |
Lesson
The theory — Mean Value Theorem
The mean value theorem: if f is continuous on [a, b] and differentiable on (a, b), then at some c strictly between a and b the tangent is parallel to the chord, f′(c) = (f(b) − f(a))/(b − a). Rolle's theorem is the case f(a) = f(b), where f′(c) = 0.
Where the formula comes from
- Check the hypotheses. f must have no break anywhere on [a, b], ends included, and a derivative at every point strictly inside. Polynomials, eˣ, sin and cos pass on any interval; look for division by zero, a root of a negative, or a corner such as |x|.
- Find the chord's slope. m is the rise from f(a) to f(b) over the run from a to b, the dashed line on the picture.
- Why a c exists. The gap g between the curve and the chord is 0 at both ends. A continuous function on a closed interval has a largest and a smallest value; if g is not 0 everywhere, one of them is inside, where the curve is farthest from the chord, and there g′ = 0. That is f′(c) = m. On the picture it is the point where the tangent runs parallel.
- Solve f′(c) = m and keep only the roots strictly between a and b. An answer outside the interval, or at an end, is not a c.
Problems solved in full
-
Find c, and reject the root outside 2 steps
Show that f(x) = x³ satisfies the hypotheses of the mean value theorem on [0, 3], and find every c it promises.
-
f is a polynomial, so it is continuous and differentiable everywhere. The chord's slope:
-
Solve f′(c) = m:
Answer
c = √3 ≈ 1.7321. The root −√3 also solves 3c² = 9 but lies outside (0, 3).
-
-
Rolle's theorem: equal ends 2 steps
Verify Rolle's theorem for f(x) = sin x + cos x on [0, π/2].
Show solution
-
sin and cos are continuous and differentiable everywhere. The ends agree:
-
So the chord is flat and some c has f′(c) = 0:
Answer
c = π/4 ≈ 0.7854, the top of the arch.
-
-
Two values of c 2 steps
Find every c promised by the mean value theorem for f(x) = x³ − 3x on [−2, 2].
Show solution
-
A polynomial, so both hypotheses hold. The chord's slope:
-
Solve f′(c) = m:
Answer
c = −2/√3 ≈ −1.1547 and c = 2/√3 ≈ 1.1547. Both lie in (−2, 2), so the theorem's "at least one" is two here.
-
-
An exponential: c by a logarithm 2 steps
Find the value of c given by the mean value theorem for f(x) = eˣ on [0, 1].
Show solution
-
eˣ is continuous and differentiable everywhere. The chord's slope:
-
Solve f′(c) = eᶜ = m by taking logarithms:
Answer
c = ln(e − 1) ≈ 0.5413, which lies in (0, 1).
-
-
A corner inside: no c 2 steps
Show that there is no c in (−1, 2) with f′(c) = (f(2) − f(−1))/3 for f(x) = |x|. Why does this not contradict the mean value theorem?
Show solution
-
The chord's slope:
-
Away from 0 the slope of |x| is −1 or 1, never 1/3:
Answer
No c exists. |x| has no derivative at 0, which lies inside (−1, 2), so the hypothesis of differentiability fails and the theorem promises nothing.
-
-
A break inside: Rolle's conclusion fails 2 steps
f(x) = 1/x² has f(−1) = f(1). Is there a c in (−1, 1) with f′(c) = 0? Explain.
Show solution
-
The ends agree, so the chord is flat:
-
But f′ is never 0:
Answer
No. f is not defined at 0, so it is not continuous on [−1, 1], Rolle's theorem does not apply, and its conclusion fails.
-
-
No derivative at an end: the theorem still applies 2 steps
Does the mean value theorem apply to f(x) = √x on [0, 4]? If so, find c.
Show solution
-
√x is continuous on [0, 4] and differentiable on (0, 4); f′(0) does not exist, but an end is not required to have one. The chord's slope:
-
Solve f′(c) = m:
Answer
Yes; c = 1.
-
-
Average speed between two cameras 2 steps
A car passes one camera and, 6 minutes later, a second camera 12 km further along the road. The limit is 100 km/h. Show that at some instant between them the car was doing exactly 120 km/h.
Show solution
-
Let s(t) be the distance travelled in km after t hours. The car moves without jumps and has a speed at every instant, so s is continuous and differentiable. The average speed over the 0.1 h is the chord's slope:
-
By the mean value theorem some instant c between the cameras has s′(c) equal to it:
Answer
At some instant the speed was exactly 120 km/h, so the car broke the limit even if no single camera caught it.
-
-
A bound from a bound on f′ 2 steps
f is differentiable, f(1) = 10 and f′(x) ≤ 3 for every x. How large can f(5) be?
Show solution
-
On [1, 5] the mean value theorem gives some c with:
-
Since f′(c) ≤ 3:
Answer
f(5) ≤ 22, and f(x) = 3x + 7 reaches it.
-
Supplementary problems, answers only
-
Find c for f(x) = x² − 4x + 1 on [0, 5].
Show answer
c = 2.5
-
Verify Rolle's theorem for f(x) = x³ − 4x on [0, 2] and find c.
Show answer
c = 2/√3 ≈ 1.1547
-
Find c for f(x) = ln x on [1, e].
Show answer
c = e − 1 ≈ 1.7183
-
Find c for f(x) = 1/x on [1, 3].
Show answer
c = √3 ≈ 1.7321
-
Does the mean value theorem apply to f(x) = |x − 2| on [0, 3]? Is there a c?
Show answer
No: a corner at x = 2; the chord's slope is −1/3 and f′ is only ±1, so there is no c
-
f(0) = 5 and f′(x) ≥ −2 for every x. What is the least possible value of f(6)?
Show answer
−7
Learning path
What f′ and f″ say about a graph
References (2)
- Rolle's theorem (Theorem 4.4) and the mean value theorem (Theorem 4.5) with their hypotheses, continuity on [a, b] and differentiability on (a, b); and the corollaries insight block 2 is about: a zero derivative on an interval means a constant (4.6), equal derivatives differ by a constant (4.7), and f′ > 0 means increasing (4.8): G. Strang and E. Herman, Calculus Volume 1, OpenStax (2016), section 4.4, “The Mean Value Theorem”.
- Insight block 3: William Heytesbury formulated the middle degree theorem (the mean speed theorem) for uniformly accelerated motion in his Regulae solvendi sophismata; his extant writings date from the 1330s, and the theorem was later developed by Galileo: M. Hanke and E. Jung, “William Heytesbury”, The Stanford Encyclopedia of Philosophy, first published 19 January 2018, revised 19 June 2026.