Mean Value Theorem

The mean value theorem (often abbreviated MVT) is one of the most useful results in calculus because it guarantees that somewhere inside an interval, a function's instantaneous rate of change matches its average rate of change over that whole interval. In plain terms: if you drive between two towns, at some moment your speedometer must read exactly your average speed for the trip.

Formally, suppose \(f\) is 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 number \(c\) in \((a, b)\) such that

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

The right-hand side is the slope of the secant line connecting the points \((a, f(a))\) and \((b, f(b))\). The theorem says the tangent line at \(x = c\) has that exact same slope.

Before applying the mean value theorem, always verify both hypotheses, since the conclusion is not guaranteed otherwise:

1. \(f\) must be continuous on the closed interval \([a, b]\), with no breaks, holes, or jumps anywhere on that interval, including the endpoints.

2. \(f\) must be differentiable on the open interval \((a, b)\), meaning it has a well-defined derivative at every point strictly between \(a\) and \(b\) (corners or vertical tangents inside the interval would fail this).

If either condition fails, the theorem simply does not apply, though the conclusion could still happen to be true by coincidence.

Picture the graph of \(f\) between \(x = a\) and \(x = b\), with a straight secant line drawn between the two endpoints. The mean value theorem guarantees that at least one point on the curve has a tangent line running exactly parallel to that secant. The figure below shows a cubic function with its secant line and the guaranteed tangent point.

This is closely related to Rolle's theorem, which is really just a special case of the mean value theorem: when \(f(a) = f(b)\), the secant line is horizontal, so the guaranteed tangent line must also be horizontal, meaning \(f'(c) = 0\).

Let \(f(x) = x^3 - 2x\) on the interval \([-1, 2]\). Check the conditions first: \(f\) is a polynomial, so it is continuous everywhere and differentiable everywhere, which satisfies both hypotheses automatically.

Compute the endpoint values: \(f(-1) = (-1)^3 - 2(-1) = -1 + 2 = 1\), and \(f(2) = 2^3 - 2(2) = 8 - 4 = 4\).

The average rate of change over \([-1, 2]\) is

\(\dfrac{f(2) - f(-1)}{2 - (-1)} = \dfrac{4 - 1}{3} = 1\)

Now find \(f'(x) = 3x^2 - 2\) and set it equal to that average slope:

\(3c^2 - 2 = 1 \implies c^2 = 1 \implies c = 1 \) or \( c = -1\)

Since \(c\) must lie strictly inside \((-1, 2)\), only \(c = 1\) works. So the theorem guarantees, and this example confirms, that the tangent line at \(x = 1\) is parallel to the secant line joining the endpoints.

Beyond locating a single guaranteed point, the mean value theorem is the tool behind many other calculus results. It is used to prove that a function with a zero derivative on an interval must be constant there, to bound how fast a function can change, and to justify tests for identifying critical numbers of a function when locating maximum and minimum values. In applied settings, such as analyzing how minimum average cost behaves over a range of production levels, the same reasoning connects an average rate over an interval to an instantaneous rate at some specific point within it.

There is also a version of this idea for integrals, sometimes called the mean value theorem for integrals, which states that a continuous function achieves its average value over an interval at some point inside that interval. That version follows the same spirit as the derivative form but applies to areas under curves rather than slopes.

Students often forget to check both hypotheses before applying the theorem, or they solve for \(c\) without confirming it actually falls inside the open interval \((a, b)\). A quadratic or higher-degree equation for \(c\) may produce extra roots outside the interval; always discard those. Also remember that the theorem only guarantees that at least one such \(c\) exists; it does not promise that \(c\) is unique.

Related lessons

• Calculus Help