Mean Value Theorem

Type f and the interval. The dashed chord joins the two ends; drag c along the curve, or with the slider, until the tangent at c runs parallel to it. The lower panel draws f′ against the chord's slope m, so every c is a point where the two meet.

Mean value theorem f′(c)=f(b)−f(a)b−a,a<c<bf'(c)=\frac{f(b)-f(a)}{b-a},\qquad a<c<b
Rolle's theorem f(a)=f(b) ⇒ f′(c)=0,a<c<bf(a)=f(b)\ \Rightarrow\ f'(c)=0,\qquad a<c<b
Loading interactive simulation...

Lesson

The theory — Mean Value Theorem

The mean value theorem: if f is continuous on [a, b] and differentiable on (a, b), then at some c strictly between a and b the tangent is parallel to the chord, f′(c) = (f(b) − f(a))/(b − a). Rolle's theorem is the case f(a) = f(b), where f′(c) = 0.

Where the formula comes from

  1. Check the hypotheses. f must have no break anywhere on [a, b], ends included, and a derivative at every point strictly inside. Polynomials, eˣ, sin and cos pass on any interval; look for division by zero, a root of a negative, or a corner such as |x|.
    lim⁡x→x0f(x)=f(x0)(a≤x0≤b)f′(x)=lim⁡h→0f(x+h)−f(x)h(a<x<b)\begin{aligned}&\lim_{x\to x_0}f(x)=f(x_0)\quad(a\le x_0\le b)\\&f'(x)=\lim_{h\to0}\frac{f(x+h)-f(x)}{h}\quad(a<x<b)\end{aligned}
  2. Find the chord's slope. m is the rise from f(a) to f(b) over the run from a to b, the dashed line on the picture.
    m=f(b)−f(a)b−am=\frac{f(b)-f(a)}{b-a}
  3. Why a c exists. The gap g between the curve and the chord is 0 at both ends. A continuous function on a closed interval has a largest and a smallest value; if g is not 0 everywhere, one of them is inside, where the curve is farthest from the chord, and there g′ = 0. That is f′(c) = m. On the picture it is the point where the tangent runs parallel.
    g(x)=f(x)−f(a)−m (x−a)g(a)=g(b)=0⇒ g′(c)=f′(c)−m=0\begin{aligned}&g(x)=f(x)-f(a)-m\,(x-a)\\&g(a)=g(b)=0\\&\Rightarrow\ g'(c)=f'(c)-m=0\end{aligned}
  4. Solve f′(c) = m and keep only the roots strictly between a and b. An answer outside the interval, or at an end, is not a c.
    f′(c)=m,a<c<bf'(c)=m,\qquad a<c<b

Problems solved in full

  1. Find c, and reject the root outside 2 steps

    Show that f(x) = x³ satisfies the hypotheses of the mean value theorem on [0, 3], and find every c it promises.

    Open this problem in the tool

    1. f is a polynomial, so it is continuous and differentiable everywhere. The chord's slope:

      m=f(3)−f(0)3−0=27−03=9m=\frac{f(3)-f(0)}{3-0}=\frac{27-0}{3}=9
    2. Solve f′(c) = m:

      3c2=9 ⇒ c=±33c^{2}=9\ \Rightarrow\ c=\pm\sqrt{3}

    Answer

    c = √3 ≈ 1.7321. The root −√3 also solves 3c² = 9 but lies outside (0, 3).

    c=3≈1.7321c=\sqrt{3}\approx1{.}7321
  2. Rolle's theorem: equal ends 2 steps

    Verify Rolle's theorem for f(x) = sin x + cos x on [0, π/2].

    Open this problem in the tool

    Show solution
    1. sin and cos are continuous and differentiable everywhere. The ends agree:

      f(0)=0+1=1f ⁣(π2)=1+0=1\begin{aligned}&f(0)=0+1=1\\&f\!\left(\tfrac{\pi}{2}\right)=1+0=1\end{aligned}
    2. So the chord is flat and some c has f′(c) = 0:

      cos⁡c−sin⁡c=0⇒ tan⁡c=1 ⇒ c=π4\begin{aligned}&\cos c-\sin c=0\\&\Rightarrow\ \tan c=1\ \Rightarrow\ c=\frac{\pi}{4}\end{aligned}

    Answer

    c = π/4 ≈ 0.7854, the top of the arch.

    c=π4≈0.7854c=\frac{\pi}{4}\approx0{.}7854
  3. Two values of c 2 steps

    Find every c promised by the mean value theorem for f(x) = x³ − 3x on [−2, 2].

    Open this problem in the tool

    Show solution
    1. A polynomial, so both hypotheses hold. The chord's slope:

      m=f(2)−f(−2)2−(−2)=2−(−2)4=1m=\frac{f(2)-f(-2)}{2-(-2)}=\frac{2-(-2)}{4}=1
    2. Solve f′(c) = m:

      3c2−3=1 ⇒ c=±233c^{2}-3=1\ \Rightarrow\ c=\pm\frac{2}{\sqrt{3}}

    Answer

    c = −2/√3 ≈ −1.1547 and c = 2/√3 ≈ 1.1547. Both lie in (−2, 2), so the theorem's "at least one" is two here.

    c=±23≈±1.1547c=\pm\frac{2}{\sqrt{3}}\approx\pm1{.}1547
  4. An exponential: c by a logarithm 2 steps

    Find the value of c given by the mean value theorem for f(x) = eˣ on [0, 1].

    Open this problem in the tool

    Show solution
    1. eˣ is continuous and differentiable everywhere. The chord's slope:

      m=e1−e01−0=e−1m=\frac{e^{1}-e^{0}}{1-0}=e-1
    2. Solve f′(c) = eᶜ = m by taking logarithms:

      ec=e−1 ⇒ c=ln⁡(e−1)e^{c}=e-1\ \Rightarrow\ c=\ln(e-1)

    Answer

    c = ln(e − 1) ≈ 0.5413, which lies in (0, 1).

    c=ln⁡(e−1)≈0.5413c=\ln(e-1)\approx0{.}5413
  5. A corner inside: no c 2 steps

    Show that there is no c in (−1, 2) with f′(c) = (f(2) − f(−1))/3 for f(x) = |x|. Why does this not contradict the mean value theorem?

    Open this problem in the tool

    Show solution
    1. The chord's slope:

      m=∣2∣−∣−1∣2−(−1)=13m=\frac{|2|-|-1|}{2-(-1)}=\frac{1}{3}
    2. Away from 0 the slope of |x| is −1 or 1, never 1/3:

      f′(x)=−1(x<0)f′(x)=1(x>0)\begin{aligned}&f'(x)=-1\quad(x<0)\\&f'(x)=1\quad(x>0)\end{aligned}

    Answer

    No c exists. |x| has no derivative at 0, which lies inside (−1, 2), so the hypothesis of differentiability fails and the theorem promises nothing.

    f′(c)≠13  ∀c∈(−1,2)f'(c)\neq\tfrac{1}{3}\ \ \forall c\in(-1,2)
  6. A break inside: Rolle's conclusion fails 2 steps

    f(x) = 1/x² has f(−1) = f(1). Is there a c in (−1, 1) with f′(c) = 0? Explain.

    Open this problem in the tool

    Show solution
    1. The ends agree, so the chord is flat:

      f(−1)=1(−1)2=1=f(1),m=0f(-1)=\frac{1}{(-1)^{2}}=1=f(1),\qquad m=0
    2. But f′ is never 0:

      f′(x)=−2x3≠0  (x≠0)f'(x)=-\frac{2}{x^{3}}\neq0\ \ (x\neq0)

    Answer

    No. f is not defined at 0, so it is not continuous on [−1, 1], Rolle's theorem does not apply, and its conclusion fails.

    f′(c)≠0  ∀c∈(−1,1)f'(c)\neq0\ \ \forall c\in(-1,1)
  7. No derivative at an end: the theorem still applies 2 steps

    Does the mean value theorem apply to f(x) = √x on [0, 4]? If so, find c.

    Open this problem in the tool

    Show solution
    1. √x is continuous on [0, 4] and differentiable on (0, 4); f′(0) does not exist, but an end is not required to have one. The chord's slope:

      m=4−04−0=12m=\frac{\sqrt{4}-\sqrt{0}}{4-0}=\frac{1}{2}
    2. Solve f′(c) = m:

      12c=12 ⇒ c=1 ⇒ c=1\frac{1}{2\sqrt{c}}=\frac{1}{2}\ \Rightarrow\ \sqrt{c}=1\ \Rightarrow\ c=1

    Answer

    Yes; c = 1.

    c=1c=1
  8. Average speed between two cameras 2 steps

    A car passes one camera and, 6 minutes later, a second camera 12 km further along the road. The limit is 100 km/h. Show that at some instant between them the car was doing exactly 120 km/h.

    Show solution
    1. Let s(t) be the distance travelled in km after t hours. The car moves without jumps and has a speed at every instant, so s is continuous and differentiable. The average speed over the 0.1 h is the chord's slope:

      s(0.1)−s(0)0.1−0=120.1=120 km/h\frac{s(0{.}1)-s(0)}{0{.}1-0}=\frac{12}{0{.}1}=120\ \mathrm{km/h}
    2. By the mean value theorem some instant c between the cameras has s′(c) equal to it:

      s′(c)=120 km/h,0<c<0.1s'(c)=120\ \mathrm{km/h},\qquad 0<c<0{.}1

    Answer

    At some instant the speed was exactly 120 km/h, so the car broke the limit even if no single camera caught it.

    s′(c)=120 km/h>100 km/hs'(c)=120\ \mathrm{km/h}>100\ \mathrm{km/h}
  9. A bound from a bound on f′ 2 steps

    f is differentiable, f(1) = 10 and f′(x) ≤ 3 for every x. How large can f(5) be?

    Show solution
    1. On [1, 5] the mean value theorem gives some c with:

      f(5)−f(1)5−1=f′(c),1<c<5\frac{f(5)-f(1)}{5-1}=f'(c),\qquad 1<c<5
    2. Since f′(c) ≤ 3:

      f(5)=f(1)+4f′(c)≤10+4⋅3=22f(5)=f(1)+4f'(c)\le10+4\cdot3=22

    Answer

    f(5) ≤ 22, and f(x) = 3x + 7 reaches it.

    f(5)≤22f(5)\le22

Supplementary problems, answers only

  1. Find c for f(x) = x² − 4x + 1 on [0, 5].

    Show answer

    c = 2.5

    c=52c=\frac{5}{2}
  2. Verify Rolle's theorem for f(x) = x³ − 4x on [0, 2] and find c.

    Show answer

    c = 2/√3 ≈ 1.1547

    c=23≈1.1547c=\frac{2}{\sqrt{3}}\approx1{.}1547
  3. Find c for f(x) = ln x on [1, e].

    Show answer

    c = e − 1 ≈ 1.7183

    c=e−1≈1.7183c=e-1\approx1{.}7183
  4. Find c for f(x) = 1/x on [1, 3].

    Show answer

    c = √3 ≈ 1.7321

    c=3≈1.7321c=\sqrt{3}\approx1{.}7321
  5. Does the mean value theorem apply to f(x) = |x − 2| on [0, 3]? Is there a c?

    Show answer

    No: a corner at x = 2; the chord's slope is −1/3 and f′ is only ±1, so there is no c

    f′(x)=±1≠−13f'(x)=\pm1\neq-\frac{1}{3}
  6. f(0) = 5 and f′(x) ≥ −2 for every x. What is the least possible value of f(6)?

    Show answer

    −7

    f(6)≥−7f(6)\ge-7

The ends may misbehave; the inside may not

Press √x on [0, 4]. At 0 the curve leaves the axis vertically and f′(0) does not exist, yet c = 1 is there, a tangent of slope 1/2 parallel to the chord. Now press |x| on [−1, 2]. The chord's slope is 1/3, every tangent has slope −1 or 1, and no c exists. The difference is where the bad point sits. The theorem only ever promises a c strictly between a and b, so it needs a derivative only there; an end may have none. What an end may not do is break away from the curve, because then the chord joins the wrong point. Continuity is asked of the closed interval, differentiability of the open one, and that difference is the whole reason the statement is written with two kinds of bracket.

The theorem behind every + C

Few exam questions ask for c. The theorem earns its place by what it proves. If f′(x) = 0 at every point of an interval, every chord there has the slope of some tangent, which is 0, so f takes the same value at any two points: f is constant. Two antiderivatives of the same function have a difference whose derivative is 0, so on an interval they differ by a constant. That is the + C, and it is a theorem, not a convention. On an interval is part of it: ln|x| + 1 for x < 0 together with ln|x| − 3 for x > 0 is also an antiderivative of 1/x, because no interval crosses 0. The same argument with f′ > 0 says every chord rises, so f is increasing, which is the test the next page is built on.

For a parabola, c is always the midpoint

Press x² on [1, 3]: c = 2, halfway. That is no accident of the numbers. For f(x) = px² + qx + r the chord's slope works out to p(a + b) + q, which is exactly f′ at (a + b)/2, on every interval. Read as motion it says that under constant acceleration the average velocity over a stretch of time equals the velocity at its midpoint. William Heytesbury stated that rule in Oxford in the 1330s, and Galileo built on it three centuries later for falling bodies. A cubic breaks it at once: press x³ on [0, 3] and c = √3 ≈ 1.7321, not 1.5.

Learning path

What f′ and f″ say about a graph

References (2)