The Mean Value Theorem and Its Guarantee

From an Interval’s Average Slope to an Interior Derivative

An interval gives us information about a function’s total change between two endpoints. A derivative gives information about change at one input. The Mean Value Theorem connects these two kinds of information: under precise conditions, at least one interior point has a derivative equal to the slope across the whole interval.

This is an existence guarantee. The theorem says that such a point is present; it does not necessarily name the point for us. When a function is given by a formula, we can often find a candidate by calculating the interval’s secant slope, setting the derivative equal to that slope, and checking the result.

The Mean Value Theorem

Theorem: Mean Value Theorem. Let $a,b\in\mathbb{R}$ with $a<b$. If $f$ is continuous on the closed interval $[a,b]$ and differentiable on the open interval $(a,b)$, then there exists at least one $c\in(a,b)$ such that $$ f'(c)=\frac{f(b)-f(a)}{b-a}. $$

The quotient on the right is the secant slope across the interval: the change in function value divided by the change in input. The conclusion says that this number is also the derivative at some interior input.

The two hypotheses concern different parts of the interval. Continuity is required at every point of $[a,b]$, including both endpoints. Differentiability is required at every point of $(a,b)$, but the theorem does not require derivatives at $a$ or $b$. Also, the interval must have positive length: $a<b$, so the denominator $b-a$ is nonzero.

These conditions are what permit the theorem’s guarantee. Finding a point that happens to satisfy the displayed equation is not, by itself, a substitute for checking the hypotheses when using the theorem to assert existence.

What the Conclusion Requires

The equation in the theorem can be rearranged without changing its meaning. Since $a<b$, we have $b-a>0$. Multiplying both sides of the conclusion by $b-a$ gives an equivalent statement:

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

The right-hand form says that the total change between the endpoints equals the derivative at $c$ multiplied by the interval’s length. This algebraic equivalence explains how to use the theorem: calculate the endpoint change and interval length, then look for an interior input where the derivative has the resulting value. The rearrangement does not prove that such a $c$ exists; that existence is the theorem’s guarantee under its hypotheses.

Check the hypotheses.
Confirm continuity on $[a,b]$, differentiability on $(a,b)$, and $a<b$.

Calculate the secant slope.
Evaluate $\bigl(f(b)-f(a)\bigr)/(b-a)$, keeping the endpoint order consistent.

Use the derivative equation.
Set $f'(c)$ equal to the secant slope and solve for a candidate $c$.

Check the candidate.
Verify that $a<c<b$ and that substituting $c$ into $f'$ gives the secant slope.

Worked Examples

Worked Example: A Quadratic on a Closed Interval

Apply the Mean Value Theorem to $f(x)=x^2$ on $[0,2]$, then find a point $c$ satisfying its conclusion.

First check the hypotheses. A polynomial is continuous and differentiable for every real input, so $f$ is continuous on $[0,2]$ and differentiable on $(0,2)$. The endpoints satisfy $0<2$.

Evaluate the endpoint values:

f(0)=0^2=0,\qquad f(2)=2^2=4.

The secant slope is therefore

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

Differentiate and set the derivative equal to this value:

f'(x)=2x,\qquad 2c=2,\qquad c=1.

Check that $1\in(0,2)$, and substitute it into the derivative:

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

Thus $c=1$ satisfies the theorem’s conclusion, as required.

Worked Example: A Square-Root Function

Apply the Mean Value Theorem to $f(x)=\sqrt{x}$ on $[1,4]$, and locate a point $c$ guaranteed by the theorem.

The square-root function is continuous for $x\geq 0$ and differentiable for $x>0$. Hence it is continuous on $[1,4]$ and differentiable on $(1,4)$; also, $1<4$.

The endpoint values and secant slope are

f(1)=1,\qquad f(4)=2,\qquad \frac{f(4)-f(1)}{4-1}=\frac{2-1}{3}=\frac{1}{3}.

For positive $x$, the derivative is $f'(x)=1/(2\sqrt{x})$. Setting this equal to the secant slope gives

\frac{1}{2\sqrt{c}}=\frac{1}{3},\qquad 3=2\sqrt{c},\qquad \sqrt{c}=\frac{3}{2},\qquad c=\frac{9}{4}.

Because $1=4/4<9/4<16/4=4$, this candidate lies inside the interval. Substitution verifies the equality:

f'\left(\frac{9}{4}\right)=\frac{1}{2\sqrt{9/4}}=\frac{1}{2(3/2)}=\frac{1}{3}=\frac{f(4)-f(1)}{4-1}.

Therefore $c=9/4$ satisfies the Mean Value Theorem’s conclusion.

Worked Example: A Logarithm on an Interval

Use the theorem for $f(x)=\ln x$ on $[1,e]$, where $e$ is the base of the natural logarithm.

The function $\ln x$ is continuous and differentiable for $x>0$. Since every point of $[1,e]$ is positive and $1<e$, the theorem’s hypotheses hold.

Using $\ln 1=0$ and $\ln e=1$, the secant slope is

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

Since $f'(x)=1/x$, solve the derivative equation:

\frac{1}{c}=\frac{1}{e-1},\qquad c=e-1.

This candidate is interior: $1<e-1$ because $e>2$, and $e-1<e$. Finally,

f'(e-1)=\frac{1}{e-1}=\frac{f(e)-f(1)}{e-1}.

Thus $c=e-1$ is an interior point with the required derivative.

Existence Is Not the Same as a Formula for the Point

The theorem guarantees at least one qualifying $c$, but its statement does not provide a procedure that always gives a convenient explicit formula for $c$. In the examples, we could solve the derivative equation. In other applications, the important conclusion may simply be that a point exists, even if its exact value is not calculated.

Nor does “at least one” mean “exactly one.” The theorem’s conclusion is existential: there is one or more points in the open interval that satisfy the equality. It does not promise that the point is unique. When using the theorem, distinguish its guarantee from any additional information obtained by solving a particular derivative equation.

A Common Mistake: Using an Endpoint Derivative

For $f(x)=x^2$ on $[0,2]$, the secant slope is $2$. A mistaken approach might test only the left endpoint and conclude that no suitable point exists:

f'(0)=2(0)=0\neq 2.

This calculation is correct, but the conclusion is not. The theorem asks for a point in the open interval $(0,2)$, not necessarily an endpoint. The correct equation is $f'(c)=2$, so $2c=2$ and $c=1$. Indeed, $1\in(0,2)$ and $f'(1)=2$.

A separate common error is to forget to divide the endpoint change by the interval length. The theorem uses $\bigl(f(b)-f(a)\bigr)/(b-a)$, not just $f(b)-f(a)$. Both numerator and denominator matter: the target is a slope, not merely a change in function value.

How to Read the Guarantee Carefully

Part of the theorem	What it requires or asserts
Interval	$a<b$, so $[a,b]$ has positive length.
Continuity	$f$ is continuous on the entire closed interval $[a,b]$.
Differentiability	$f$ is differentiable throughout the open interval $(a,b)$.
Existence conclusion	At least one $c\in(a,b)$ has derivative equal to the secant slope.
Not asserted	The theorem does not specify $c$ or guarantee that it is unique.

Keeping these pieces separate prevents two errors: applying the guarantee without its hypotheses, and confusing the guaranteed interior point with an endpoint. The key equation remains

f'(c)=\frac{f(b)-f(a)}{b-a}, \qquad c\in(a,b).

Check Your Understanding

Use the theorem’s conditions and conclusion to answer these questions.

State the continuity and differentiability requirements of the Mean Value Theorem, including the intervals on which each is required.
For $f(x)=x^2$ on $[1,3]$, calculate the secant slope and solve $f'(c)$ equal to that slope.
Why does the theorem require $c\in(a,b)$, rather than $c\in[a,b]$?
What does the theorem guarantee about the number of points $c$ that satisfy its conclusion?
For $f(x)=\sqrt{x}$ on $[1,4]$, verify that $c=9/4$ is an interior point and that its derivative equals the secant slope.

The Mean Value Theorem and Its Guarantee

What You'll Learn

From an Interval’s Average Slope to an Interior Derivative