ConceptComplete

Mean Value Theorem

The Mean Value Theorem (MVT) states that for a differentiable function on an interval, there exists a point where the instantaneous rate of change (derivative) equals the average rate of change. This result connects local and global properties of functions and is the foundation for Taylor's theorem, L'HΓ΄pital's rule, and inequalities involving derivatives.


Statement

Theorem5.1Mean Value Theorem

Let f:[a,b]β†’Rf : [a, b] \to \mathbb{R} be continuous on [a,b][a, b] and differentiable on (a,b)(a, b). Then there exists c∈(a,b)c \in (a, b) such that

fβ€²(c)=f(b)βˆ’f(a)bβˆ’a.f'(c) = \frac{f(b) - f(a)}{b - a}.

RemarkGeometric interpretation

The MVT says the secant line connecting (a,f(a))(a, f(a)) and (b,f(b))(b, f(b)) is parallel to the tangent line at some point c∈(a,b)c \in (a, b). There is a point where the instantaneous slope equals the average slope.

ExampleLinear functions

For f(x)=mx+bf(x) = mx + b, we have fβ€²(x)=mf'(x) = m everywhere. The MVT is satisfied by any c∈(a,b)c \in (a, b): fβ€²(c)=m=(f(b)βˆ’f(a))/(bβˆ’a)f'(c) = m = (f(b) - f(a))/(b - a).


Rolle's Theorem

Theorem5.2Rolle's Theorem

If f:[a,b]β†’Rf : [a, b] \to \mathbb{R} 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 c∈(a,b)c \in (a, b) such that fβ€²(c)=0f'(c) = 0.

RemarkRolle's theorem is a special case

Rolle's theorem is the MVT with f(a)=f(b)f(a) = f(b) (so the average rate of change is zero). Conversely, the MVT follows from Rolle's theorem applied to g(x)=f(x)βˆ’Lxg(x) = f(x) - Lx where L=(f(b)βˆ’f(a))/(bβˆ’a)L = (f(b) - f(a))/(b - a).

ExampleRolle's theorem for f(x) = xΒ² - 1

Let f(x)=x2βˆ’1f(x) = x^2 - 1 on [βˆ’1,1][-1, 1]. Then f(βˆ’1)=f(1)=0f(-1) = f(1) = 0, so by Rolle's theorem, there exists c∈(βˆ’1,1)c \in (-1, 1) with fβ€²(c)=0f'(c) = 0. Indeed, fβ€²(x)=2xf'(x) = 2x, so c=0c = 0.


Applications

ExampleCharacterizing increasing functions

ff is increasing on [a,b][a, b] if and only if fβ€²(x)β‰₯0f'(x) \geq 0 for all x∈(a,b)x \in (a, b).

Proof: If fβ€²(x)β‰₯0f'(x) \geq 0, then for x<yx < y, by MVT, there exists c∈(x,y)c \in (x, y) with f(y)βˆ’f(x)=fβ€²(c)(yβˆ’x)β‰₯0f(y) - f(x) = f'(c)(y - x) \geq 0. Thus f(x)≀f(y)f(x) \leq f(y).

ExampleFunctions with zero derivative are constant

If fβ€²(x)=0f'(x) = 0 for all x∈(a,b)x \in (a, b), then ff is constant on [a,b][a, b].

Proof: For x<yx < y in [a,b][a, b], by MVT, f(y)βˆ’f(x)=fβ€²(c)(yβˆ’x)=0f(y) - f(x) = f'(c)(y - x) = 0, so f(y)=f(x)f(y) = f(x).

ExampleLipschitz inequality

If ∣fβ€²(x)βˆ£β‰€M|f'(x)| \leq M for all x∈(a,b)x \in (a, b), then ∣f(x)βˆ’f(y)βˆ£β‰€M∣xβˆ’y∣|f(x) - f(y)| \leq M|x - y| for all x,y∈[a,b]x, y \in [a, b] (Lipschitz continuity).

Proof: By MVT, ∣f(x)βˆ’f(y)∣=∣fβ€²(c)∣∣xβˆ’yβˆ£β‰€M∣xβˆ’y∣|f(x) - f(y)| = |f'(c)||x - y| \leq M|x - y|.


Summary

The Mean Value Theorem is central in differential calculus:

  • Connects average rate of change to instantaneous rate of change.
  • Rolle's theorem is a special case (when f(a)=f(b)f(a) = f(b)).
  • Applications: characterizing monotonicity, Lipschitz continuity, proving inequalities.

See Mean Value Theorem proof and Taylor's Theorem for extensions.