The Mean Value Theorem — Complete Guide with

On This Page

The Intuitive Idea
Rolle's Theorem, The Special Case
The Mean Value Theorem: Statement & Proof
Geometric Interpretation
Four Key Consequences
The Cauchy (Generalised) MVT
Worked Examples
When the MVT Does Not Apply
Common Mistakes
10-Question Quiz

§ 01The Intuitive Idea

Imagine driving from one city to another, covering 120 km in exactly 2 hours. Your average speed for the trip is 60 km/h. The Mean Value Theorem says that at some point during the journey (at least once) your speedometer read exactly 60 km/h. You cannot have an average speed of 60 km/h without ever being at that speed.

This is the core insight of the Mean Value Theorem (MVT): the average rate of change of a smooth function over an interval is always achieved as an instantaneous rate of change at some interior point. If f is the position and x is time, then the average velocity (f(b) − f(a))/(b − a) equals the instantaneous velocity f′(c) at some c strictly between a and b.

The theorem requires two conditions: the function must be continuous on the closed interval [a, b], and differentiable on the open interval (a, b). Continuity ensures there are no gaps or jumps; differentiability ensures there are no corners or cusps where the derivative fails to exist. When both hold, the MVT guarantees the existence of at least one such point c: though it does not tell you where c is or how many such points there are.

The MVT is not just an interesting observation: it is one of the most powerful tools in real analysis. It underlies the proof that functions with zero derivative are constant, the proof that functions with positive derivative are increasing, the proof of L'Hôpital's Rule, and the error bounds in Taylor's theorem. Understanding the MVT is therefore understanding a large part of the theoretical backbone of calculus.

Why "Mean Value"? The word mean here means average. The average (mean) rate of change of f over [a, b] is the slope of the secant line connecting (a, f(a)) to (b, f(b)). The MVT says this average value is achieved as an actual derivative value at some interior point. So the theorem guarantees a point where the instantaneous rate of change equals the mean (average) rate of change — hence "Mean Value Theorem."

§ 02Rolle's Theorem — The Special Case

Rolle's Theorem is a special case of the MVT in which the function returns to its starting value: f(a) = f(b). In this case the average rate of change is zero, so the MVT says there must be a point c where f′(c) = 0: a horizontal tangent. Rolle's Theorem is both historically prior to and logically simpler than the MVT, and most proofs of the MVT use Rolle's Theorem as a stepping stone.

Theorem Rolle's Theorem

Hypotheses

f is continuous on the closed interval [a, b]
f is differentiable on the open interval (a, b)
f(a) = f(b) (the function returns to its starting value)

Conclusion

There exists at least one c ∈ (a, b) such that f′(c) = 0.

In other words: a smooth curve that starts and ends at the same height must have at least one horizontal tangent somewhere in between.

Rolle's Theorem — Geometric Picture

f(a) = f(b): both endpoints sit at the same height (teal dots). The curve must reach a peak or trough somewhere in between — at that point c, the tangent is horizontal (f′(c) = 0). The gold dashed line is the horizontal tangent at c.

Proof Sketch of Rolle's Theorem

Since f is continuous on the compact set [a, b], by the Extreme Value Theorem it attains both its absolute maximum and absolute minimum on [a, b]. There are two cases:

Case 1: Both the maximum and minimum occur at the endpoints a and b. Since f(a) = f(b), the function is actually constant on [a, b], and f′(x) = 0 everywhere: so any c in (a, b) works.

Case 2: Either the maximum or the minimum occurs at some interior point c ∈ (a, b). At an interior extreme point of a differentiable function, the derivative must be zero (this follows from Fermat's theorem: if f has a local extremum at c and f′(c) exists, then f′(c) = 0). Therefore f′(c) = 0 at this interior point. ∎

Example 01 Verify Rolle's Theorem for f(x) = x² − 4x + 3 on [1, 3]

Check f(a)=f(b)

f(1) = 1 − 4 + 3 = 0 f(3) = 9 − 12 + 3 = 0. ✓ Equal endpoints.

Check conditions

f is a polynomial, continuous on [1,3] and differentiable on (1,3). ✓

Find c

f′(x) = 2x − 4 = 0 ⟹ x = 2

c = 2 ∈ (1, 3). ✓

Conclusion

At c = 2, f′(2) = 0. The parabola has its vertex at x = 2, sitting symmetrically between the two roots x = 1 and x = 3. Rolle's Theorem confirmed.

Example 02 Rolle's Theorem for f(x) = sin x on [0, π]

Check

f(0) = sin 0 = 0 f(π) = sin π = 0. ✓ sin x is continuous and differentiable everywhere. ✓

Find c

f′(x) = cos x = 0 ⟹ x = π/2

c = π/2 ∈ (0, π). ✓

Result

At c = π/2, sin x reaches its maximum and has a horizontal tangent. The arc from 0 to π rises to a peak and returns — exactly as Rolle's Theorem predicts.

§ 03The Mean Value Theorem — Statement & Proof

Theorem The Mean Value Theorem (MVT)

Hypotheses

f is continuous on the closed interval [a, b]
f is differentiable on the open interval (a, b)

Conclusion

There exists at least one c ∈ (a, b) such that:

The Mean Value Theorem

f′(c) = (f(b) − f(a)) / (b − a)

The instantaneous rate of change at c equals the average rate of change over [a, b].
Equivalently: f(b) − f(a) = f′(c)(b − a) for some c ∈ (a, b).

Proof of the MVT Using Rolle's Theorem

The proof is elegant: construct an auxiliary function that reduces the MVT to Rolle's Theorem, then apply Rolle.

Let L(x) be the secant line through (a, f(a)) and (b, f(b)):

Secant Line

L(x) = f(a) + [f(b) − f(a)] / (b − a) · (x − a)

Define the auxiliary function h(x) = f(x) − L(x). This function measures the vertical distance between the curve and the secant line.

Observe that h is continuous on [a, b] (difference of continuous functions) and differentiable on (a, b). Also:

Key check

h(a) = f(a) − L(a) = f(a) − f(a) = 0 h(b) = f(b) − L(b) = f(b) − f(b) = 0

h(a) = h(b) = 0, exactly the condition for Rolle's Theorem!

By Rolle's Theorem, there exists c ∈ (a, b) with h′(c) = 0. Computing h′(x):

Derivative of h

h′(x) = f′(x) − [f(b) − f(a)] / (b − a) h′(c) = 0 ⟹ f′(c) = [f(b) − f(a)] / (b − a) ∎

The Proof Is Constructive The auxiliary function h(x) = f(x) − L(x) is the vertical gap between the curve and its secant. Intuitively, this gap is zero at both endpoints, so somewhere in between it must reach a maximum or minimum — and at that interior extreme point, its derivative (and therefore f′(c) minus the secant slope) is zero. This is Rolle's Theorem applied to h.

§ 04Geometric Interpretation

Geometrically, the MVT says there is a point on the curve where the tangent line is parallel to the secant line connecting the two endpoints. The tangent line at c has slope f′(c), and the secant line has slope (f(b) − f(a))/(b − a). The MVT guarantees these slopes are equal, parallel lines, for at least one interior point c.

MVT — One Point c

Gold dashed: secant through (a,f(a)) and (b,f(b)). Red dashed: tangent at c — parallel to the secant. Red dot: the guaranteed MVT point.

MVT — Multiple Points c

The MVT guarantees at least one such point c, but a function can have several. Here three red dots all lie on tangent lines parallel to the secant (gold).

The MVT does not say exactly one such c exists, nor does it tell you where c is. Finding c requires solving f′(c) = (f(b) − f(a))/(b − a) explicitly: which is a standard exam task.

§ 05Four Key Consequences of the MVT

The Mean Value Theorem's true power lies in what it lets you prove. Each consequence below is not just a corollary, several of them are theorems that students encounter repeatedly in analysis and applied mathematics.

Consequence 1

Zero Derivative ⟹ Constant Function

f′(x) = 0 for all x ∈ (a,b) ⟹ f is constant on [a,b]

Pick any two points x₁, x₂ in [a,b]. By the MVT applied to f on [x₁, x₂], f(x₂) − f(x₁) = f′(c)(x₂ − x₁) = 0 · (x₂ − x₁) = 0. So f(x₁) = f(x₂) for every pair — f is constant. This is the foundation for the uniqueness part of antiderivatives: two antiderivatives of the same function differ only by a constant.

Consequence 2

Positive Derivative ⟹ Increasing Function

f′(x) > 0 for all x ∈ (a,b) ⟹ f is strictly increasing on [a,b]

Take x₁ < x₂ in [a,b]. MVT gives f(x₂) − f(x₁) = f′(c)(x₂ − x₁) where c ∈ (x₁,x₂). Since f′(c) > 0 and x₂ − x₁ > 0, the product is positive: f(x₂) > f(x₁). This rigourously justifies the derivative sign test used throughout curve sketching.

Consequence 3

Negative Derivative ⟹ Decreasing Function

f′(x) < 0 for all x ∈ (a,b) ⟹ f is strictly decreasing on [a,b]

Same argument with f′(c) < 0: f(x₂) − f(x₁) = f′(c)(x₂ − x₁) < 0, so f(x₂) < f(x₁). Together with Consequence 2, this is the rigorous basis for the first derivative test for monotonicity.

Consequence 4

MVT Inequality — Bounding f(b) − f(a)

|f′(x)| ≤ M on (a,b) ⟹ |f(b)−f(a)| ≤ M|b−a|

If the derivative is bounded in magnitude by M, then |f(b) − f(a)| = |f′(c)||b − a| ≤ M|b − a|. This is the MVT's inequality form — it provides a rigorous upper bound on how much a function can change, which is used in error analysis and Lipschitz conditions.

Why +C in Antiderivatives? Consequence 1 Explains It. When you write ∫ f(x) dx = F(x) + C, the "+C" is not a notational convention — it is a theorem. If G and F are both antiderivatives of f, then (G − F)′ = f − f = 0 everywhere. By Consequence 1, G − F is constant. So any two antiderivatives differ by exactly a constant. The "+C" captures all possible antiderivatives at once.

♦ ♦ ♦

§ 06The Cauchy (Generalised) Mean Value Theorem

The Cauchy MVT generalises the ordinary MVT to two functions simultaneously. It is the key ingredient in the proof of L'Hôpital's Rule.

Theorem Cauchy's Mean Value Theorem

Hypotheses

f and g are continuous on [a, b]
f and g are differentiable on (a, b)
g′(x) ≠ 0 for all x ∈ (a, b)

Conclusion

There exists c ∈ (a, b) such that: f′(c)/g′(c) = [f(b)−f(a)] / [g(b)−g(a)]

Setting g(x) = x recovers the ordinary MVT, since g′(c) = 1 and g(b) − g(a) = b − a.

The Cauchy MVT has a beautiful parametric interpretation. Suppose a particle traces a path in the plane given by x = g(t), y = f(t) for t ∈ [a, b]. The slope of the chord connecting the endpoints is [f(b)−f(a)]/[g(b)−g(a)]. The slope of the tangent to the curve at parameter t = c is f′(c)/g′(c) (by the chain rule: dy/dx = (dy/dt)/(dx/dt)). The Cauchy MVT says that at some point c, the tangent slope equals the chord slope, a direct parametric generalisation of the ordinary MVT.

Example 03 Verify the Cauchy MVT for f(x) = x², g(x) = x³ on [1, 2]

Compute ratio

[f(2)−f(1)] / [g(2)−g(1)] = (4−1)/(8−1) = 3/7

Set f′(c)/g′(c)

f′(x) = 2x, g′(x) = 3x² ⟹ f′(c)/g′(c) = 2c/(3c²) = 2/(3c)

Set 2/(3c) = 3/7: c = 14/9 ≈ 1.556. Check: 14/9 ∈ (1, 2). ✓

Result

c = 14/9 satisfies the Cauchy MVT condition.

§ 07Worked Examples — Finding c and Proving Inequalities

Example 04 Find all c guaranteed by the MVT for f(x) = x³ − x on [0, 2]

Check hypotheses

f is a polynomial, continuous on [0,2] and differentiable on (0,2). ✓

Average rate

[f(2)−f(0)] / (2−0) = (8−2−0)/2 = 6/2 = 3

Solve f′(c) = 3

f′(x) = 3x² − 1 = 3 ⟹ 3x² = 4 ⟹ x = ±2/√3

x = 2/√3 ≈ 1.155 ∈ (0, 2) ✓ x = −2/√3 ∉ (0, 2) ✗

Answer

c = 2/√3 = 2√3/3 ≈ 1.155. At this point the tangent slope equals the secant slope of 3.

Example 05 Apply the MVT to f(x) = x² + 3x on [1, 4] and find c

Average rate

(f(4)−f(1))/(4−1) = (28−4)/3 = 24/3 = 8

Solve f′(c) = 8

f′(x) = 2x + 3 = 8 ⟹ 2x = 5 ⟹ x = 5/2 = 2.5

c = 2.5 ∈ (1, 4) ✓

Note

For a quadratic f(x) = ax² + bx + c, the MVT always yields exactly one c — the midpoint of [a,b]. Here c = (1+4)/2 = 2.5. ✓

Example 06 MVT for f(x) = sin x on [0, π/2]

Average rate

(f(π/2)−f(0))/(π/2−0) = (1−0)/(π/2) = 2/π ≈ 0.637

Solve f′(c) = 2/π

f′(x) = cos x = 2/π ⟹ c = arccos(2/π) ≈ 0.8957

c ≈ 0.896 ∈ (0, π/2 ≈ 1.571). ✓

Result

c = arccos(2/π) ≈ 0.896 radians ≈ 51.3°. At this angle, the instantaneous rate of change of sin equals its average rate of change over [0, π/2].

Example 07 Prove: |sin a − sin b| ≤ |a − b| for all real a, b

Set up MVT

Let f(x) = sin x. f is continuous and differentiable on any interval. Apply MVT to f on the interval with endpoints a and b (WLOG a < b).

Apply MVT

sin b − sin a = f′(c)(b−a) = cos c · (b−a) for some c ∈ (a,b)

Bound

|sin b − sin a| = |cos c| · |b−a| ≤ 1 · |b−a| = |b−a|

since |cos c| ≤ 1 for all c.

Conclusion

|sin a − sin b| ≤ |a − b| for all a, b ∈ ℝ. ∎ This is the Lipschitz condition for sin x with constant 1.

Example 08 Prove: (b − a)/(2√b) < √b − √a < (b − a)/(2√a) for 0 < a < b

Apply MVT

Let f(x) = √x on [a, b]. f is continuous on [a,b] and differentiable on (a,b). MVT gives:

√b − √a = f′(c)(b−a) = (b−a)/(2√c) for some c ∈ (a,b)

Bound c

Since a < c < b, we have √a < √c < √b. Taking reciprocals (all positive) reverses the inequality:

1/(2√b) < 1/(2√c) < 1/(2√a)

Multiply through by (b−a) > 0:

(b−a)/(2√b) < (b−a)/(2√c) < (b−a)/(2√a)

Conclusion

(b−a)/(2√b) < √b − √a < (b−a)/(2√a). ∎

Example 09 Show that f(x) = x⁵ + 3x + 1 has exactly one real root

At least one root

f(0) = 1 > 0 and f(−1) = −1 − 3 + 1 = −3 < 0. By the Intermediate Value Theorem, f has at least one root in (−1, 0).

At most one root

Suppose f has two distinct roots r₁ < r₂. Then f(r₁) = f(r₂) = 0. By Rolle's Theorem, there exists c ∈ (r₁, r₂) with f′(c) = 0.

f′(x) = 5x⁴ + 3 ≥ 3 > 0 for all x

f′(c) = 0 is impossible. Contradiction, f cannot have two roots.

Conclusion

f(x) = x⁵ + 3x + 1 has exactly one real root, located in (−1, 0). ∎

§ 08When the MVT Does Not Apply

The two hypotheses of the MVT, continuity on [a, b] and differentiability on (a, b), are both necessary. When either fails, the conclusion may also fail. Recognising when the theorem does not apply is just as important as applying it correctly.

Failure	Why the Conclusion May Fail	Example
Discontinuity on [a, b]	If f has a jump or removable discontinuity inside [a, b], the curve can teleport from one height to another without any tangent matching the secant slope. Continuity is needed to prevent this.	f(x) = ⌊x⌋ (floor function) on [0, 2]: f(0) = 0, f(2) = 2, average slope = 1. But f′(x) = 0 wherever it exists — no c with f′(c) = 1.
Non-differentiability inside (a, b)	A sharp corner or cusp means the derivative does not exist at that point. If the only place the tangent slope could match the secant is at the non-differentiable point, the conclusion fails.	f(x) = \|x\| on [−1, 1]: f(−1) = f(1) = 1 and f(0) = 0. Average slope = 0, but f′(x) = ±1 everywhere it exists — f′ is never 0. Rolle's theorem fails because f is not differentiable at x = 0.
Open interval with no extension	If the function blows up at an endpoint, it is not continuous on the closed interval [a, b] and the EVT (needed in the proof) does not apply.	f(x) = 1/x on (0, 1): not continuous on [0, 1]. MVT does not apply. No c ∈ (0,1) satisfies the conclusion for the secant from f(0⁺) to f(1).

The Conditions Are Sufficient, Not Necessary The MVT says: if both hypotheses hold, then the conclusion holds. It does not say the conclusion fails whenever a hypothesis fails — the conclusion may still hold by coincidence. Always check whether the hypotheses hold before applying the theorem. If they do, you can use the theorem. If one fails, you cannot cite the MVT — but you might still find a c by direct calculation if one exists.

§ 09Common Mistakes

Mistake 1

Applying the MVT without verifying continuity and differentiability

The two hypotheses must both be verified before the MVT can be cited. For polynomials this is automatic, but for piecewise functions, rational functions, or functions involving absolute values, check explicitly at every potential problem point within [a, b].

Mistake 2

Reporting c outside (a, b)

Solving f′(c) = (f(b)−f(a))/(b−a) may produce multiple solutions. Only values strictly inside the open interval (a, b) count — c = a and c = b are not valid MVT points. Report all valid c values, and explicitly state they lie in the open interval.

Mistake 3

Confusing Rolle's Theorem with the MVT

Rolle's Theorem requires f(a) = f(b) and concludes f′(c) = 0. The MVT requires only continuity and differentiability and concludes f′(c) = average rate of change. Rolle's is a special case of the MVT with equal endpoint values, not a separate unrelated theorem.

Mistake 4

Thinking the MVT gives the exact location of c

The MVT is an existence theorem — it guarantees c exists but does not provide its location. Finding c requires separately solving f′(c) = (f(b)−f(a))/(b−a). This is a separate calculation, not provided by the theorem itself.

§ 1010-Question Quiz

Questions cover the statement of the theorems, finding c, applying consequences, and identifying failures.

§ 11Continue the Applications Series