Mean Value Theorem (Rigorous Treatment) — Mathematics Knowledge System

Overview

The Mean Value Theorem (MVT) states that if f is continuous on [a,b] and differentiable on (a,b), then there exists at least one point c ∈ (a,b) where the instantaneous rate of change f'(c) equals the average rate of change over [a,b]. Rigorously, this depends critically on both hypotheses — continuity on the closed interval and differentiability on the open interval — and is proved via Rolle's theorem, itself a consequence of the Extreme Value Theorem applied to a continuous function on a compact set. The MVT is the analytic engine behind many foundational results: it proves that a function with zero derivative everywhere on an interval is constant, that increasing/decreasing behavior is controlled by the sign of f', and it underlies the proof of Taylor's theorem with remainder.

Intuition

Picture driving from point a to point b, covering the whole trip in some elapsed time. Your average velocity over the whole trip is (f(b)-f(a))/(b-a). The Mean Value Theorem says that at some instant during the trip, your speedometer must have read exactly that average velocity — you can't have driven the whole way faster than average and also the whole way slower than average, since the average has to be achieved somewhere by the Intermediate-Value-flavored reasoning underlying the proof. Geometrically, the theorem says the secant line connecting (a,f(a)) to (b,f(b)) has some tangent line to the graph parallel to it, somewhere strictly between a and b.

Formal Definition

Definition

Let f: [a,b] → ℝ be continuous on [a,b] and differentiable on (a,b). Then:

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

Mean Value Theorem

f(a) = f(b) \implies \exists\, c \in (a,b): f'(c) = 0

Rolle's theorem (special case, used to prove MVT)

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

Auxiliary function used in the standard proof (satisfies g(a)=g(b)=0, apply Rolle's theorem to g)

Worked Examples

Compute the average rate of change over [1,3].
$\frac{f(3)-f(1)}{3-1} = \frac{9-1}{2} = 4$
Compute f'(x) = 2x and set it equal to the average rate.
$2c = 4 \implies c = 2$
Check c=2 lies in the open interval (1,3), confirming the MVT conclusion.
$c = 2 \in (1,3)$

Answer: c = 2 satisfies f'(c) = 4, the average rate of change, and lies in (1,3) as required.

Practice Problems

Difficulty 4/10

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

Difficulty 3/10

Which hypothesis, if dropped, can make the MVT fail — even though f is differentiable everywhere it needs to be checked?

Continuity of f on [a,b] cannot be droppedThe interval [a,b] must be unboundedf must be a polynomialf(a) must equal f(b)

Difficulty 6/10

Use the MVT to prove that if f'(x) = 0 for all x in an interval I, then f is constant on I.

Quiz

The Mean Value Theorem guarantees a point c where:

f(c) = 0f'(c) equals the average rate of change of f over [a,b]f has a maximumf is discontinuous

Rolle's theorem is best described as:

A generalization of the MVT to higher dimensionsThe special case of the MVT where f(a) = f(b)An unrelated theorem about integralsA theorem requiring f to be a polynomial

Summary

MVT: if f is continuous on [a,b] and differentiable on (a,b), some c ∈ (a,b) has f'(c) = (f(b)-f(a))/(b-a).
The rigorous proof reduces MVT to Rolle's theorem (the f(a)=f(b) case) via an auxiliary function, and Rolle's theorem itself follows from the Extreme Value Theorem plus Fermat's interior extremum theorem.
A key consequence: if f'≡0 on an interval, f is constant there — the basis for many uniqueness arguments in analysis and differential equations.

References

WebsiteWikipedia — Mean value theorem