Calculus · Grade 12 and undergraduate

The Mean Value Theorem and the Extreme Value Theorem

Quick answer

The Mean Value Theorem says that if f is continuous on [a, b] and differentiable on (a, b), then at some point c in between, the instantaneous rate f′(c) equals the average rate (f(b) − f(a))/(b − a): somewhere the tangent line is parallel to the secant. Rolle's theorem is the case f(a) = f(b). The Extreme Value Theorem says a continuous function on a closed interval reaches a maximum and a minimum. Together they explain why f′ = 0 forces f to be constant and f′ > 0 forces f to increase.

What you'll learn

  • State and apply Rolle's theorem and the Mean Value Theorem
  • Check the hypotheses before applying either theorem
  • State the Extreme Value Theorem and recognize when it fails
  • Use the Mean Value Theorem to justify facts about functions

Rolle’s theorem

If a smooth curve starts and ends at the same height, somewhere in between it must level off.

Rolle's theorem

If ff is continuous on [a,b][a, b], differentiable on (a,b)(a, b), and f(a)=f(b)f(a) = f(b), then f′(c)=0f'(c) = 0 for at least one cc in (a,b)(a, b).

By the Extreme Value Theorem below, ff reaches a maximum and a minimum on [a,b][a, b]. If both are at the endpoints, ff is constant and f′=0f' = 0 everywhere. Otherwise one of them is inside, and at an interior peak or valley of a differentiable function the tangent is horizontal.

The Mean Value Theorem

Tilt Rolle’s picture, and the horizontal tangent becomes a tangent parallel to the secant line.

Mean Value Theorem

If ff is continuous on [a,b][a, b] and differentiable on (a,b)(a, b), then for at least one cc in (a,b)(a, b),

f′(c)=f(b)−f(a)b−af'(c) = \frac{f(b) - f(a)}{b - a}
A tangent parallel to the secant The curve y = x cubed minus x from x = 0 to x = 2. A dashed secant joins (0, 0) to (2, 6) with slope 3. A tangent line with the same slope 3 touches the curve at x = c, about 1.15. 12246xy c
  • y = x³ − x
  • secant, slope 3
  • tangent at c, slope 3
A tangent parallel to the secant

Why the theorem is true

Subtract the secant line from ff. Let s(x)s(x) be the secant through (a,f(a))\big(a, f(a)\big) and (b,f(b))\big(b, f(b)\big), and set g(x)=f(x)−s(x)g(x) = f(x) - s(x).

At both endpoints ff and ss agree, so g(a)=g(b)=0g(a) = g(b) = 0. And gg is continuous and differentiable wherever ff is. Rolle’s theorem gives a cc with g′(c)=0g'(c) = 0, which means f′(c)=s′(c)f'(c) = s'(c): the slope of the curve equals the slope of the secant. The Mean Value Theorem is Rolle’s theorem viewed from a tilted angle.

In terms of motion: if a car covers 9090 miles in 1.51.5 hours, its average speed is 6060 mph, and at some instant its speedometer read exactly 6060.

What the theorem proves

The Mean Value Theorem turns information about f′f' into information about ff:

  • If f′(x)=0f'(x) = 0 on an interval, then ff is constant there: any two values differ by f′(c)(b−a)=0f'(c)(b - a) = 0.
  • If f′(x)=g′(x)f'(x) = g'(x) on an interval, then ff and gg differ by a constant.
  • If f′(x)>0f'(x) > 0 on an interval, then ff is increasing: for a<ba < b, f(b)−f(a)=f′(c)(b−a)>0f(b) - f(a) = f'(c)(b - a) > 0.

The Extreme Value Theorem

Extreme Value Theorem

If ff is continuous on the closed interval [a,b][a, b], then ff attains an absolute maximum value and an absolute minimum value on [a,b][a, b].

Both hypotheses are needed. On the open interval (0,1)(0, 1), f(x)=xf(x) = x has no maximum: it gets arbitrarily close to 11 but never reaches it. And a function with a jump or an asymptote can skip over the value it seems to approach.

Worked examples

Common mistakes

Practice problems

  1. Find the cc guaranteed by the Mean Value Theorem for f(x)=x2f(x) = x^2 on [1,3][1, 3].

    Answer

    c=2c = 2

    Full solution

    Secant slope: 9−13−1=4\tfrac{9 - 1}{3 - 1} = 4. f′(c)=2c=4f'(c) = 2c = 4 gives c=2c = 2, which is in (1,3)(1, 3).

  2. Verify Rolle’s theorem for f(x)=x2−4xf(x) = x^2 - 4x on [0,4][0, 4].

    Answer

    c=2c = 2

    Full solution

    ff is a polynomial, and f(0)=f(4)=0f(0) = f(4) = 0. f′(c)=2c−4=0f'(c) = 2c - 4 = 0 gives c=2c = 2, in (0,4)(0, 4).

  3. Find the cc for f(x)=xf(x) = \sqrt{x} on [0,4][0, 4].

    Answer

    c=1c = 1

    Full solution

    ff is continuous on [0,4][0, 4] and differentiable on (0,4)(0, 4). Secant slope: 2−04=12\tfrac{2 - 0}{4} = \tfrac{1}{2}. 12c=12\tfrac{1}{2\sqrt{c}} = \tfrac{1}{2} gives c=1c = 1.

  4. Does the Mean Value Theorem apply to f(x)=1xf(x) = \tfrac{1}{x} on [−1,1][-1, 1]? Explain.

    Answer

    No; ff is not continuous on [−1,1][-1, 1].

    Full solution

    ff is undefined at 00. In fact the secant slope is 1−(−1)2=1\tfrac{1 - (-1)}{2} = 1, but f′(x)=−1x2f'(x) = -\tfrac{1}{x^2} is always negative — no cc works.

  5. A runner covers 1010 km in 5050 minutes. Explain why at some moment the runner’s speed was exactly 0.20.2 km per minute.

    Answer

    The average speed is 0.20.2 km per minute, and the Mean Value Theorem guarantees an instant at that speed.

    Full solution

    Position is continuous and differentiable in time. The average rate is 1050=0.2\tfrac{10}{50} = 0.2 km/min, so s′(c)=0.2s'(c) = 0.2 at some instant cc.

  6. f(1)=3f(1) = 3 and f′(x)≤2f'(x) \le 2 for all xx. What is the largest possible value of f(4)f(4)?

    Answer

    99

    Full solution

    f(4)−f(1)=f′(c)(4−1)≤2⋅3=6f(4) - f(1) = f'(c)(4 - 1) \le 2 \cdot 3 = 6, so f(4)≤9f(4) \le 9.

  7. Does f(x)=x3+x+1f(x) = x^3 + x + 1 have more than one real root? Use Rolle’s theorem.

    Answer

    No, exactly one

    Full solution

    It has at least one root, since it goes from negative to positive values. If it had two, Rolle’s theorem would give a cc with f′(c)=0f'(c) = 0. But f′(x)=3x2+1>0f'(x) = 3x^2 + 1 > 0 everywhere.

  8. Does f(x)=1xf(x) = \tfrac{1}{x} attain a maximum on (0,1](0, 1]? On [1,2][1, 2]?

    Answer

    Not on (0,1](0, 1]; yes on [1,2][1, 2], at x=1x = 1.

    Full solution

    On (0,1](0, 1] the values grow without bound as x→0+x \to 0^+. On [1,2][1, 2], ff is continuous on a closed interval, so the Extreme Value Theorem applies; the maximum is f(1)=1f(1) = 1.

  9. f′(x)=g′(x)f'(x) = g'(x) for all xx, f(0)=5f(0) = 5 and g(0)=2g(0) = 2. Find f(x)−g(x)f(x) - g(x).

    Answer

    33

    Full solution

    Equal derivatives mean f−gf - g is constant. At 00 it is 5−2=35 - 2 = 3.

  10. A student applies Rolle’s theorem to f(x)=x2/3f(x) = x^{2/3} on [−1,1][-1, 1] and concludes f′(c)=0f'(c) = 0 for some cc. What went wrong?

    Hint

    Is ff differentiable at 00?

    Answer

    ff has a cusp at 00, so it is not differentiable on (−1,1)(-1, 1) and the theorem does not apply.

    Full solution

    f(−1)=f(1)=1f(-1) = f(1) = 1, but f′(x)=23x−1/3f'(x) = \tfrac{2}{3}x^{-1/3} is undefined at 00 and never 00 elsewhere.

    The conclusion fails exactly because a hypothesis does.

Frequently asked questions

What does the Mean Value Theorem say?

If f is continuous on [a, b] and differentiable on (a, b), there is a c in (a, b) with f′(c) = (f(b) − f(a))/(b − a): the instantaneous rate equals the average rate somewhere.

What is Rolle's theorem?

The special case with f(a) = f(b): the average rate is 0, so f′(c) = 0 for some c in (a, b), a horizontal tangent.

What is the Extreme Value Theorem?

A function continuous on a closed interval [a, b] attains an absolute maximum and an absolute minimum on that interval.

Why do the hypotheses matter?

Without them the conclusions can fail: |x| on [−1, 1] has equal endpoint values but no horizontal tangent, because it is not differentiable at 0.

Does the Mean Value Theorem say where c is?

No. It guarantees that such a c exists in (a, b); finding it is a separate calculation, and there may be several.

What to learn next