The Mean Value Theorem: Learn It 2

The Mean Value Theorem and Its Meaning

Rolle’s theorem is a special case of the Mean Value Theorem. In Rolle’s theorem, we consider differentiable functions [latex]f[/latex]defined on a closed interval [latex][a,b][/latex] with [latex]f(a)=f(b)[/latex]. The Mean Value Theorem generalizes Rolle’s theorem by considering functions that do not necessarily have equal value at the endpoints. Consequently, we can view the Mean Value Theorem as a slanted version of Rolle’s theorem (Figure 5). 

A vaguely sinusoidal function y = f(x) is drawn. On the x-axis, a, c1, c2, and b are marked. On the y-axis, f(a) and f(b) are marked. The function f(x) starts at (a, f(a)), decreases to c1, increases to c2, and then decreases to (b, f(b)). A secant line is drawn between (a, f(a)) and (b, f(b)), and it is noted that this line has slope (f(b) – f(a))/(b − a). The tangent lines at c1 and c2 are drawn, and these lines are parallel to the secant line. It is noted that the slopes of these tangent lines are f’(c1) and f’(c2), respectively.
Figure 5. The Mean Value Theorem says that for a function that meets its conditions, at some point the tangent line has the same slope as the secant line between the ends. For this function, there are two values [latex]c_1[/latex] and [latex]c_2[/latex] such that the tangent line to [latex]f[/latex] at [latex]c_1[/latex] and [latex]c_2[/latex] has the same slope as the secant line.

The Mean Value Theorem states that if [latex]f[/latex] is continuous over the closed interval [latex][a,b][/latex] and differentiable over the open interval [latex](a,b)[/latex], then there exists a point [latex]c \in (a,b)[/latex] such that the tangent line to the graph of [latex]f[/latex] at [latex]c[/latex] is parallel to the secant line connecting [latex](a,f(a))[/latex] and [latex](b,f(b))[/latex].

Mean Value Theorem

Let [latex]f[/latex] be continuous over the closed interval [latex][a,b][/latex] and differentiable over the open interval [latex](a,b)[/latex]. Then, there exists at least one point [latex]c \in (a,b)[/latex] such that

[latex]f^{\prime}(c)=\dfrac{f(b)-f(a)}{b-a}[/latex]

Proof


The proof follows from Rolle’s theorem by introducing an appropriate function that satisfies the criteria of Rolle’s theorem. Consider the line connecting [latex](a,f(a))[/latex] and [latex](b,f(b))[/latex]. Since the slope of that line is

[latex]\dfrac{f(b)-f(a)}{b-a}[/latex]

 

and the line passes through the point [latex](a,f(a))[/latex], the equation of that line can be written as

[latex]y=\dfrac{f(b)-f(a)}{b-a}(x-a)+f(a)[/latex]

 

Let [latex]g(x)[/latex] denote the vertical difference between the point [latex](x,f(x))[/latex] and the point [latex](x,y)[/latex] on that line. Therefore,

[latex]g(x)=f(x)-\left[\dfrac{f(b)-f(a)}{b-a}(x-a)+f(a)\right][/latex]
A vaguely sinusoidal function y = f(x) is drawn. On the x-axis, a and b are marked. On the y-axis, f(a) and f(b) are marked. The function f(x) starts at (a, f(a)), decreases, then increases, and then decreases to (b, f(b)). A secant line is drawn between (a, f(a)) and (b, f(b)), and it is noted that this line has equation y = ((f(b) – f(a))/(b − a)) (x − a) + f(x). A line is drawn between the maximum of f(x) and the secant line and it is marked g(x).
Figure 6. The value [latex]g(x)[/latex] is the vertical difference between the point [latex](x,f(x))[/latex] and the point [latex](x,y)[/latex] on the secant line connecting [latex](a,f(a))[/latex] and [latex](b,f(b)).[/latex]

Since the graph of [latex]f[/latex] intersects the secant line when [latex]x=a[/latex] and [latex]x=b[/latex], we see that [latex]g(a)=0=g(b)[/latex]. Since [latex]f[/latex] is a differentiable function over [latex](a,b)[/latex], [latex]g[/latex] is also a differentiable function over [latex](a,b)[/latex]. Furthermore, since [latex]f[/latex] is continuous over [latex][a,b][/latex], [latex]g[/latex] is also continuous over [latex][a,b][/latex]. Therefore, [latex]g[/latex] satisfies the criteria of Rolle’s theorem. Consequently, there exists a point [latex]c \in (a,b)[/latex] such that [latex]g^{\prime}(c)=0[/latex]. Since

[latex]g^{\prime}(x)=f^{\prime}(x)-\dfrac{f(b)-f(a)}{b-a}[/latex],

 

we see that

[latex]g^{\prime}(c)=f^{\prime}(c)-\dfrac{f(b)-f(a)}{b-a}[/latex]

 

Since [latex]g^{\prime}(c)=0[/latex], we conclude that

[latex]f^{\prime}(c)=\dfrac{f(b)-f(a)}{b-a}[/latex]

[latex]_\blacksquare[/latex]

In the next example, we show how the Mean Value Theorem can be applied to the function [latex]f(x)=\sqrt{x}[/latex] over the interval [latex][0,9][/latex]. The method is the same for other functions, although sometimes with more interesting consequences.

For [latex]f(x)=\sqrt{x}[/latex] over the interval [latex][0,9][/latex], show that [latex]f[/latex] satisfies the hypothesis of the Mean Value Theorem, and therefore there exists at least one value [latex]c \in (0,9)[/latex] such that [latex]f^{\prime}(c)[/latex] is equal to the slope of the line connecting [latex](0,f(0))[/latex] and [latex](9,f(9))[/latex]. Find these values [latex]c[/latex] guaranteed by the Mean Value Theorem.

One application that helps illustrate the Mean Value Theorem involves velocity.

Suppose we drive a car for [latex]1[/latex] hr down a straight road with an average velocity of [latex]45[/latex] mph.

Let [latex]s(t)[/latex] and [latex]v(t)[/latex] denote the position and velocity of the car, respectively, for [latex]0 \le t \le 1[/latex] hr. Assuming that the position function [latex]s(t)[/latex] is differentiable, we can apply the Mean Value Theorem to conclude that, at some time [latex]c \in (0,1)[/latex], the speed of the car was exactly

[latex]v(c)=s^{\prime}(c)=\dfrac{s(1)-s(0)}{1-0}=45[/latex] mph

If a rock is dropped from a height of [latex]100[/latex] ft, its position [latex]t[/latex] seconds after it is dropped until it hits the ground is given by the function [latex]s(t)=-16t^2+100[/latex].

  1. Determine how long it takes before the rock hits the ground.
  2. Find the average velocity [latex]v_{\text{avg}}[/latex] of the rock for when the rock is released and the rock hits the ground.
  3. Find the time [latex]t[/latex] guaranteed by the Mean Value Theorem when the instantaneous velocity of the rock is [latex]v_{\text{avg}}[/latex].

Watch the following video to see the worked solution to the two previous examples.