Skip to content

Mean Value Theorem

Theorem

Let a<ba < b be real numbers, and consider a function f ⁣:[a,b]→Rf\colon [a, b] \to \mathbb{R} that is continuous on [a,b][a, b] and differentiable on (a,b).(a, b)\text{.} Then, we can assert that there exists a c∈(a,b)c \in (a, b) such that

f′(c)=f(b)−f(a)b−a.\displaystyle f'(c) =\frac{f(b)-f(a)}{b-a}\text{.}

Interpretation

The mean value theorem links the average rate of change of ff over an interval with its instantaneous rate of change: somewhere strictly between aa and bb, the derivative equals the slope of the secant through (a,f(a))(a,f(a)) and (b,f(b))(b,f(b)). If a car covers 100100 km in one hour, then at some moment its speed is exactly 100100 km/h.

The cubic x cubed minus x on an interval from a to b with the secant through its endpoints and two tangents at points c1 and c2 that are parallel to the secant.

The figure shows f(x)=x3−xf(x)=x^3-x on [−2,2][-2,2]. The secant has slope (f(2)−f(−2))/4=(6+6)/4=3(f(2)-f(-2))/4=(6+6)/4=3, and f′(c)=3c2−1=3f'(c)=3c^2-1=3 gives c=±2/3≈±1.15c=\pm2/\sqrt{3}\approx\pm1.15. These are the points c1c_1 and c2c_2, where the tangents are parallel to the secant. The theorem promises at least one such point; it says nothing about how many there are or where they lie.

Both hypotheses are needed. Without continuity at an endpoint the conclusion can fail: f(x)=xf(x)=x on [0,1)[0,1) with f(1)=0f(1)=0 has secant slope 00, but f′(x)=1f'(x)=1 on (0,1)(0,1). Without differentiability at a single interior point it can fail too: for ∣x∣|x| on [−1,2][-1,2] the secant slope is 13\tfrac{1}{3}, while the derivative only takes the values −1-1 and 11. Differentiability at the endpoints themselves is not required.

Rolle’s theorem is the special case f(a)=f(b)f(a)=f(b), and the general theorem follows from it by subtracting the secant line from ff. In practice the theorem is used in the form f(y)−f(x)=f′(c)(y−x)f(y)-f(x)=f'(c)(y-x) from the Key Results, which turns information about f′f' into information about ff: the sign of f′f' gives monotonicity, and a bound ∣f′∣≤M|f'|\le M on an interval gives ∣f(y)−f(x)∣≤M∣y−x∣|f(y)-f(x)|\le M|y-x| for all x,yx,y in it.


Key Results

  • The theorem requires continuity on a closed interval and differentiability on the open interval.
  • It justifies the derivative sign test. Applying the theorem on [x,y][x,y] gives f(y)−f(x)=f′(c)(y−x)f(y)-f(x)=f'(c)(y-x) for some c∈(x,y),c\in(x,y)\text{,} so the sign of f′f' on the interior determines whether ff is increasing, decreasing, or constant.
  • Two functions with the same derivative. If f,gf,g are continuous on [a,b][a,b] and differentiable on (a,b)(a,b) with f′=g′f'=g' on (a,b),(a,b)\text{,} then f=g+Cf=g+C on [a,b][a,b] for some constant C.C\text{.} The domain has to be an interval for this to hold.
  • The version above is Lagrange's mean value theorem, and it is what "the mean value theorem" means in this course. The two-function version due to Cauchy, which underlies L'Hôpital's rule, is optional and non-assessable.
  • It generalizes the Rolle’s theorem.
  • The conclusion does not specify the location of the point.

Examples

  • For f(x)=x2f(x)=x^2 on [0,1][0,1], the secant slope is (1−0)/(1−0)=1(1-0)/(1-0)=1. Solving f′(c)=2c=1f'(c)=2c=1 gives c=1/2c=1/2.
  • For f(x)=3x+2f(x)=3x+2 on any interval [a,b][a,b] with a<ba<b, the secant slope and derivative both equal 33, so every c∈(a,b)c\in(a,b) satisfies the conclusion.

Prerequisites

Sources

Aliases: MVT, Lagrange's mean value theorem, Lagrange mean value theorem, law of the mean Symbols: element of, real numbers, square root

Last updated: 20 October 2026 03:02