Mean Value Theorem and Rolle's Theorem

Rolle's Theorem: If f is continuous on [a,b], differentiable on (a,b), and f(a)=f(b), then ∃c∈(a,b) where f'(c)=0
Mean Value Theorem: If f continuous on [a,b] and differentiable on (a,b), then ∃c where f'(c)=[f(b)−f(a)]/(b−a)
MVT generalizes Rolle's Theorem; Rolle's is the special case when endpoint values are equal
These theorems connect global function behavior (endpoint values) to local behavior (derivatives)
Essential for proving Taylor's Theorem, Inverse Function Theorem, and L'Hôpital's Rule
Intuition: traveling A to B, your instantaneous speed must equal average speed at some moment

Overview

The Mean Value Theorem (MVT) and Rolle's Theorem are cornerstone results in real analysis that establish a fundamental relationship between the average rate of change of a function over an interval and its instantaneous rate of change at some interior point. These theorems formalize the intuitive idea that if you drive from point A to point B, there must be some moment when your instantaneous velocity equals your average velocity for the trip. While this seems obvious, proving it rigorously requires the machinery of Limits, Continuity, and Differentiability.

Historically, these results emerged from the development of calculus in the 17th and 18th centuries. While the geometric ideas were implicit in the work of Pierre de Fermat and Isaac Newton, the first rigorous statement of what we now call Rolle's Theorem appeared in Michel Rolle's 1691 treatise Méthode pour résoudre les égalitez. The Mean Value Theorem, a generalization of Rolle's result, was stated and proved rigorously by Augustin-Louis Cauchy in 1823 as part of his program to place calculus on solid logical foundations.

These theorems are not merely technical curiosities—they are essential tools used to prove many fundamental results in analysis, including Taylor's Theorem, the Inverse Function Theorem, and L'Hôpital's Rule. They connect global properties of functions (values at endpoints) to local properties (derivatives at interior points), making them indispensable for understanding how functions behave.

If a differentiable function's values at two points determine an average rate of change, then the derivative—the instantaneous rate of change—must actually attain that average value at some point in between. The Mean Value Theorem guarantees this matching point exists.

Rolle's Theorem: Let

f : [a, b] \to R

be a function that is continuous on the closed interval

[a, b]

, differentiable on the open interval

(a, b)

, and satisfies

f (a) = f (b)

. Then there exists at least one point

c \in (a, b)

such that

f^{'} (c) = 0

. Mean Value Theorem: Let

f : [a, b] \to R

be continuous on

[a, b]

and differentiable on

(a, b)

. Then there exists at least one point

c \in (a, b)

such that

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

Core Theory

Main Results

Theorem 1 (Rolle's Theorem): Let

f : [a, b] \to R

be continuous on

[a, b]

, differentiable on

(a, b)

, and satisfy

f (a) = f (b)

. Then there exists

c \in (a, b)

such that

f^{'} (c) = 0

. Theorem 2 (Mean Value Theorem): Let

f : [a, b] \to R

be continuous on

[a, b]

and differentiable on

(a, b)

. Then there exists

c \in (a, b)

such that

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

Theorem 3 (Cauchy's Mean Value Theorem): Let

f, g : [a, b] \to R

be continuous on

[a, b]

and differentiable on

(a, b)

. If

g^{'} (x) \neq = 0

for all

x \in (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 )} .

Proof of Rolle's Theorem:

Since $f$ is continuous on the Compact Set|compact interval $[a, b]$ , by the Extreme Value Theorem, $f$ attains both its maximum value $M$ and minimum value $m$ on $[a, b]$ .

Case 1: If

M = m

, then

f

is constant on

[a, b]

. Therefore

f^{'} (x) = 0

for all

x \in (a, b)

, and we can choose any

c \in (a, b)

. Case 2: If

M > m

, then since

f (a) = f (b)

, at least one of these extreme values must occur at an interior point. Without loss of generality, suppose the maximum

M

is attained at some point

c \in (a, b)

Since $c$ is an interior point where $f$ is differentiable and $f$ attains a local maximum, by Fermat's Theorem, we have $f^{'} (c) = 0$ . □

Proof of Mean Value Theorem:

We reduce the MVT to Rolle's Theorem by constructing an auxiliary function. Define

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

This function $h$ represents the vertical distance between $f (x)$ and the secant line connecting $(a, f (a))$ to $(b, f (b))$ .

Note that $h$ is continuous on $[a, b]$ and differentiable on $(a, b)$ since $f$ has these properties and we've only subtracted a linear function.

We verify the endpoint conditions:

h (a) = f (a) - f (a) - \frac{f ( b ) - f ( a )}{b - a} \cdot 0 = 0,

h (b) = f (b) - f (a) - \frac{f ( b ) - f ( a )}{b - a} (b - a) = f (b) - f (a) - (f (b) - f (a)) = 0.

Since $h (a) = h (b) = 0$ and $h$ satisfies the hypotheses of Rolle's Theorem, there exists $c \in (a, b)$ such that $h^{'} (c) = 0$ .

Computing the derivative:

h^{'} (x) = f^{'} (x) - \frac{f ( b ) - f ( a )}{b - a} .

Therefore:

0 = h^{'} (c) = f^{'} (c) - \frac{f ( b ) - f ( a )}{b - a},

which gives us

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

□

Missing hypotheses cause failure: The MVT requires both continuity on

[a, b]

and differentiability on

(a, b)

. Students often forget that:

Continuity on the closed interval $[a, b]$ is essential (not just $(a, b)$ )
Differentiability at the endpoints is not required
The point $c$ where $f^{'} (c)$ equals the average rate is guaranteed only in the open interval $(a, b)$ , not at the endpoints

Without continuity on $[a, b]$ , the theorem fails completely, even if the function is differentiable everywhere.

Michel Rolle (1652-1719) — French mathematician who, ironically, was a critic of calculus but proved the theorem bearing his name in 1691 while studying polynomial equations, though he stated it only for polynomials.

Examples and Applications

1

Verifying MVT for a polynomial: Let

f (x) = x^{3} - 3 x + 1

[0, 2]

First, we verify the hypotheses. Since $f$ is a polynomial, it is continuous on $[0, 2]$ and differentiable on $(0, 2)$ , so the MVT applies.

Compute the average rate of change:

\frac{f ( 2 ) - f ( 0 )}{2 - 0} = \frac{( 8 - 6 + 1 ) - ( 0 - 0 + 1 )}{2} = \frac{3 - 1}{2} = 1.

Find $f^{'} (x) = 3 x^{2} - 3$ . We need to find $c \in (0, 2)$ such that $f^{'} (c) = 1$ :

3 c^{2} - 3 = 1

3 c^{2} = 4

c^{2} = \frac{4}{3}

c = \frac{2}{3} = \frac{2 3}{3} \approx 1.155.

Since $\frac{2 3}{3} \in (0, 2)$ , we have verified that $c = \frac{2 3}{3}$ is the point guaranteed by the MVT.

2

Applying Rolle's Theorem to prove uniqueness: Show that

f (x) = x^{5} + 2 x^{3} + x - 1 = 0

has exactly one real root.

First, note that $f$ is continuous and strictly increasing. To see this, compute:

f^{'} (x) = 5 x^{4} + 6 x^{2} + 1 > 0

for all

x \in R

. Since

f^{'} (x) > 0

everywhere,

f

is strictly increasing on

R

Since $f (0) = - 1 < 0$ and $f (1) = 3 > 0$ , by the Intermediate Value Theorem, there exists at least one root in $(0, 1)$ .

To show uniqueness, suppose for contradiction that $f$ has two distinct roots $r_{1} < r_{2}$ . Then $f (r_{1}) = f (r_{2}) = 0$ , so $f$ is continuous on $[r_{1}, r_{2}]$ and differentiable on $(r_{1}, r_{2})$ with $f (r_{1}) = f (r_{2})$ .

By Rolle's Theorem, there exists $c \in (r_{1}, r_{2})$ such that $f^{'} (c) = 0$ . But this contradicts the fact that $f^{'} (x) > 0$ for all $x$ . Therefore, $f$ has exactly one real root.

MVT fails without continuity on closed interval: Consider the function

f (x) = {x 2 if 0 \leq x < 1 if x = 1

on the interval

[0, 1]

This function is differentiable on $(0, 1)$ with $f^{'} (x) = 1$ for all $x \in (0, 1)$ , but it is not continuous at $x = 1$ (hence not continuous on $[0, 1]$ ).

The average rate of change is:

\frac{f ( 1 ) - f ( 0 )}{1 - 0} = \frac{2 - 0}{1} = 2.

However, $f^{'} (x) = 1 \neq = 2$ for all $x \in (0, 1)$ , so there is no point $c$ where $f^{'} (c)$ equals the average rate of change. The failure of continuity at the endpoint makes the MVT inapplicable.

Geometric picture: Imagine the graph of a continuous, smooth curve connecting two points

(a, f (a))

and

(b, f (b))

. Draw the secant line between these points—it has a certain slope representing the average rate of change.

The Mean Value Theorem says that somewhere along the curve, the tangent line must be parallel to this secant line. Intuitively, as you travel along the curve from $a$ to $b$ , the direction of the tangent must "rotate" continuously. If you start with the tangent pointing one way and end with it pointing another way (or the same way), it must pass through being parallel to the secant at some intermediate point.

For Rolle's Theorem (the special case where $f (a) = f (b)$ ), the secant line is horizontal. The theorem says if you go up and come back down to the same height (or vice versa), you must have a horizontal tangent at some highest or lowest point along the way—which matches our physical intuition about turning points.

Historical Development

The ideas underlying Rolle's Theorem date back to the late 17th century. Michel Rolle stated his theorem in 1691 in the context of finding repeated roots of polynomials, though he expressed it algebraically rather than geometrically and was actually skeptical of the newly developed calculus. He did not use the modern language of derivatives.

The geometric interpretation and general formulation emerged during the 18th century as calculus matured. Joseph-Louis Lagrange stated a version of the Mean Value Theorem in his 1797 work Théorie des fonctions analytiques, though without complete rigor by modern standards.

The first rigorous proof of the Mean Value Theorem is attributed to Augustin-Louis Cauchy in his 1823 Résumé des leçons sur le calcul infinitésimal. Cauchy was pioneering the modern epsilon-delta approach to Limits and sought to prove all the major theorems of calculus rigorously. His proof used what we now call the Extreme Value Theorem and techniques similar to those presented above.

The generalization known as Cauchy's Mean Value Theorem (also called the Extended or Generalized Mean Value Theorem) appeared in Cauchy's work and became essential for proving L'Hôpital's Rule rigorously. The modern formulation with precise attention to open versus closed intervals emerged in the late 19th century as real analysis became fully axiomatized.

Connections to Other Areas

Fundamental connection to differential equations: The Mean Value Theorem is essential for proving uniqueness of solutions to Ordinary Differential Equations. Consider the initial value problem

y^{'} = f (t, y)

y (t_{0}) = y_{0}

. If

f

satisfies a Lipschitz Condition in

y

, meaning

∣ f (t, y_{1}) - f (t, y_{2}) ∣ \leq L ∣ y_{1} - y_{2} ∣

, and if

y_{1} (t)

and

y_{2} (t)

are two solutions, then applying MVT to

g (t) = y_{1} (t) - y_{2} (t)

gives

g^{'} (c) = (g (t) - g (t_{0})) / (t - t_{0})

. Combined with the Lipschitz condition, this yields a differential inequality that, via Grönwall's Inequality, proves

y_{1} \equiv y_{2}

. This shows solutions are unique when they exist.

Mean Value Theorem and Rolle's Theorem

Overview

Core Theory

Main Results

Examples and Applications

1

2

Historical Development

Connections to Other Areas

What You Need First

What This Opens Up

See Also

Before this

Where this leads