Mean Value Theorem — Mathematics Knowledge System

Overview

The Mean Value Theorem (MVT) is one of the most important results in differential calculus: it guarantees that for a function continuous on [a,b] and differentiable on (a,b), there exists at least one point c in (a,b) where the instantaneous rate of change (the derivative) equals the average rate of change over the whole interval. Geometrically, some tangent line inside the interval is parallel to the secant line connecting the endpoints. The MVT is the theoretical bridge that connects local information about derivatives to global information about a function's behavior — it underlies the proofs that a positive derivative implies an increasing function, that antiderivatives differing by a constant, and much of the rest of calculus's logical structure.

Intuition

Imagine driving 120 miles in 2 hours — your average speed is 60 mph. The Mean Value Theorem says that at some exact instant during the trip, your speedometer must have read exactly 60 mph. This feels obvious: if you were always slower than 60 mph, you couldn't have covered 120 miles in 2 hours; if you were always faster, you'd have covered more than 120 miles. So by a kind of continuity argument, your speed must have crossed 60 mph at least once. The MVT formalizes this: draw the secant line connecting the endpoints (a, f(a)) and (b, f(b)) — its slope is the average rate of change. The theorem guarantees that somewhere in between, the curve has a tangent line exactly parallel to that secant.

Interactive Graph

Formal Definition

Definition

Let f be a function that is continuous on the closed interval [a,b] and differentiable on the open interval (a,b). Then there exists at least one point c in (a,b) such that:

f'(c) = \frac{f(b) - f(a)}{b - a}

The derivative at c equals the average rate of change of f over [a,b]

Mean Value Theorem

f(b) - f(a) = f'(c)(b-a)

Equivalent form, useful in proofs (the Mean Value Theorem in 'increment' form)

Notation

Notation	Meaning
$\text{MVT}$	Common abbreviation for the Mean Value Theorem
$[a,b]$	The closed interval on which f must be continuous
$(a,b)$	The open interval on which f must be differentiable

Derivation

The Mean Value Theorem is proved by constructing an auxiliary function g(x) that measures the vertical gap between f(x) and the secant line, then applying Rolle's Theorem to g:

\ell(x) = f(a) + \frac{f(b)-f(a)}{b-a}(x-a)

The secant line through (a,f(a)) and (b,f(b))

g(x) = f(x) - \ell(x) = f(x) - f(a) - \frac{f(b)-f(a)}{b-a}(x-a)

g measures the vertical distance between f and the secant line

g(a) = 0, \quad g(b) = f(b) - f(a) - \frac{f(b)-f(a)}{b-a}(b-a) = f(b)-f(a)-(f(b)-f(a)) = 0

g vanishes at both endpoints, so Rolle's Theorem applies to g

Proofs

Proof of the Mean Value Theorem (via Rolle's Theorem)

$\text{Define } g(x) = f(x) - f(a) - \frac{f(b)-f(a)}{b-a}(x-a) \text{ for } x \in [a,b].$ (Auxiliary function measuring the gap between f and the secant line through (a,f(a)),(b,f(b)))
$g \text{ is continuous on } [a,b] \text{ and differentiable on } (a,b),$ (f is continuous/differentiable by hypothesis; the secant line term is a linear (hence smooth) function of x, and sums of continuous/differentiable functions are continuous/differentiable)
$g(a) = f(a) - f(a) - 0 = 0 \quad\text{and}\quad g(b) = f(b) - f(a) - [f(b)-f(a)] = 0.$ (Direct substitution and algebraic simplification, shown above in the derivation)
$\text{By Rolle's Theorem, since } g(a)=g(b)=0, \exists\, c \in (a,b) \text{ with } g'(c) = 0.$ (Rolle's Theorem applies directly since g satisfies its three hypotheses)
$g'(x) = f'(x) - \frac{f(b)-f(a)}{b-a}$ (Differentiate g using the sum rule and the fact that the secant line term has constant slope (f(b)-f(a))/(b-a))
$0 = g'(c) = f'(c) - \frac{f(b)-f(a)}{b-a} \implies f'(c) = \frac{f(b)-f(a)}{b-a}.$ (Substitute x=c into g'(x)=0 and solve for f'(c), which is exactly the Mean Value Theorem's conclusion)

Properties

Existence, not uniqueness

\exists\, c \in (a,b): f'(c) = \frac{f(b)-f(a)}{b-a}

Condition: There may be more than one valid c; the theorem only guarantees at least one.

Both hypotheses are necessary

\text{Continuity on } [a,b] \text{ and differentiability on } (a,b) \text{ cannot be weakened}

Example: f(x)=|x| on [-1,1] is continuous but not differentiable at 0, and no c gives f'(c) equal to the (zero) average slope in a way consistent with a single tangent — the theorem's conclusion can fail without the hypothesis.

Zero-derivative corollary

\text{If } f'(x) = 0 \ \forall x \in (a,b), \text{ then } f \text{ is constant on } [a,b]

Monotonicity test

\text{If } f'(x) > 0 \ \forall x \in (a,b), \text{ then } f \text{ is strictly increasing on } [a,b]

Theorems

Theorem 1: Rolle's Theorem (special case, corollary)

If f is continuous on [a,b], differentiable on (a,b), and f(a) = f(b), then there exists c \in (a,b) with f'(c) = 0.

Theorem 2: Cauchy's Mean Value Theorem (generalization)

If f, g are continuous on [a,b] and differentiable on (a,b) with g'(x) \ne 0 on (a,b), then there exists c \in (a,b) such that \frac{f'(c)}{g'(c)} = \frac{f(b)-f(a)}{g(b)-g(a)}.

Corollaries

Follows from Mean Value Theorem

If f'(x) = 0 for all x in an interval, f is constant on that interval.

Follows from Mean Value Theorem

If f'(x) = g'(x) for all x in an interval, then f and g differ by a constant: f(x) = g(x) + C.

Follows from Mean Value Theorem

If f'(x) > 0 on an interval, f is strictly increasing there; if f'(x) < 0, f is strictly decreasing.

Applications

If a car travels 120 miles in 2 hours, the MVT guarantees it had an instantaneous speed of exactly 60 mph at some moment — the basis for average-speed traffic camera enforcement.

Animation

Animates the secant line connecting (a,f(a)) and (b,f(b)) alongside a parallel tangent line sliding across the curve, highlighting the moment the tangent line becomes parallel to the secant — visually locating the guaranteed point c.

Worked Examples

f is a polynomial, so it's continuous on [0,2] and differentiable on (0,2) — the hypotheses hold.
$f(x) = x^2$
Compute the average rate of change over [0,2].
$\frac{f(2)-f(0)}{2-0} = \frac{4-0}{2} = 2$
Set f'(c) equal to this average rate and solve for c.
$f'(x) = 2x \implies 2c = 2 \implies c = 1$

Answer: c = 1, which lies in (0,2) as required.

Practice Problems

Difficulty 4/10

Find the value(s) of c guaranteed by the MVT for f(x) = √x on [0, 4].

Difficulty 3/10

Which condition is NOT required by the hypotheses of the Mean Value Theorem?

f must be continuous on the closed interval [a,b]f must be differentiable on the open interval (a,b)f(a) must equal f(b)The interval must be bounded (a and b finite)

Difficulty 6/10

A runner completes a marathon (26.2 miles) in exactly 3 hours. Explain, using the MVT, why the runner must have had an instantaneous speed of exactly 26.2/3 ≈ 8.73 mph at some point, and state precisely what mathematical hypothesis about the runner's position function justifies this.

Common Mistakes

Common Mistake

Believing the MVT guarantees a unique value of c.

The theorem only guarantees existence of at least one c — there can be multiple values satisfying the conclusion, as seen in f(x)=x³-x on [-2,2], which has two valid values of c.

Common Mistake

Applying the MVT to a function that fails to be differentiable somewhere inside (a,b), such as f(x)=|x| on [-1,2].

Always check differentiability on the ENTIRE open interval first. f(x)=|x| is not differentiable at x=0 (inside [-1,2]), so the MVT's hypotheses fail and its conclusion isn't guaranteed to hold — indeed no c makes f'(c) equal the secant slope here in the usual sense.

Common Mistake

Confusing the Mean Value Theorem with the Intermediate Value Theorem.

The IVT is about continuous functions taking every value between f(a) and f(b); the MVT is specifically about derivatives matching an average rate of change. They require different hypotheses (IVT needs only continuity) and conclude different things.

Quiz

For f(x) = x² - 4x on [0, 4], what value(s) of c does the MVT guarantee?

c = 2c = 0 and c = 4c = 1No such c exists

Which of the following is a valid corollary of the Mean Value Theorem?

If f'(x) = 0 on an interval, f must be zero on that intervalIf f'(x) = 0 on an interval, f must be constant on that intervalIf f is continuous, f is differentiableIf f(a) = f(b), then f'(x) = 0 for all x in (a,b)

Flashcards

1 / 4

Historical Background

The seeds of the Mean Value Theorem go back to the 14th century, when Indian mathematician Parameshvara gave an early version in his commentaries on Govindasvāmi. In the 17th century, Fermat's method for finding tangents and extrema implicitly relied on related ideas. The theorem in a form close to its modern statement was proven by the French mathematician Michel Rolle in 1691 for polynomials — a special case now known as Rolle's Theorem — though Rolle himself was skeptical of calculus. Augustin-Louis Cauchy generalized Rolle's result into the full Mean Value Theorem in his 1823 Résumé des Leçons, providing the rigorous formulation still taught today, and Cauchy's own extended version (the Cauchy Mean Value Theorem, involving two functions) became essential to proving L'Hôpital's Rule.

c. 1380
Parameshvara states an early geometric version of the Mean Value Theorem
Parameshvara
1691
Michel Rolle proves the special case (zero-difference version) now called Rolle's Theorem, for polynomials
Michel Rolle
1823
Cauchy formalizes and proves the general Mean Value Theorem in Résumé des leçons données à l'École Royale Polytechnique
Augustin-Louis Cauchy
1823
Cauchy also proves the generalized (two-function) Mean Value Theorem, later used to prove L'Hôpital's Rule
Augustin-Louis Cauchy

Summary

The Mean Value Theorem: if f is continuous on [a,b] and differentiable on (a,b), some c in (a,b) has f'(c) equal to the average rate of change [f(b)-f(a)]/(b-a).
Geometrically, the tangent line at c is parallel to the secant line through the endpoints.
It's proved by applying Rolle's Theorem to an auxiliary function measuring the gap between f and the secant line.
Both hypotheses (continuity on the closed interval, differentiability on the open interval) are essential and cannot be dropped.
Its most important consequence: a zero derivative on an interval forces the function to be constant there, which underlies why antiderivatives are unique up to a constant.

References

BookStewart, J. Calculus: Early Transcendentals, 8th ed. Ch. 4.2.
PaperCauchy, A.-L. (1823). Résumé des leçons données à l'École Royale Polytechnique sur le calcul infinitésimal.
WebsiteWikipedia — Mean value theorem