CC The Mean Value Theorem

🔗

Section 2.10 The Mean Value Theorem

🔗

Motivating Questions

Can we use global information about a function (for instance, the average rate of change) to say anything about the local behavior of the function (such as the instantaneous rate of change)?

🔗

Supplemental Videos.

🔗

The main topics of this section are also presented in the following videos:

Statement and Graphical Intuition
⁴³
unl.yuja.com/V/Video?v=7114282&node=34303229&a=72775390&autoplay=1
Computational Example
⁴⁴
unl.yuja.com/V/Video?v=7114284&node=34303226&a=20929724&autoplay=1
Additional Theorems
⁴⁵
unl.yuja.com/V/Video?v=7114285&node=34303307&a=19873305&autoplay=1

🔗

When you know how a function behaves at every point, you know quite a lot about that function. This is the whole idea behind plotting points on a coordinate plane in order to determine what the graph of a function looks like. Indeed, given enough local information about a function, we can describe it very well globally. However, the opposite is not generally true. Suppose, for instance, that you know the graph of

y = f (x)

is a parabola. Knowing that, can you determine the value of

f (3) ?

The answer, of course, is that you do not have enough information.

🔗

In general, global information is not enough to determine local information. In other words, knowing how a function behaves overall is not usually enough to say anything about how the function behaves at a specific point. However, there are some exceptions to this generalization. One such special case is the mean value theorem.

🔗

Subsection 2.10.1 The Mean Value Theorem

Example 2.112.

Suppose it took you exactly three quarters of an hour to drive the

59

miles from Lincoln, Nebraska to Omaha, Nebraska. Is it possible that you drove less than

75

miles per hour the entire trip?

Since

59

miles were driven in

\frac{3}{4}

hours, the average speed (i.e. average rate of change) on the trip was

\frac{59 miles}{\frac{3}{4} hours} = \frac{59 \cdot 4}{3} \approx 78.67 mph .

Because this is an average, our intuition tells us that at some point on the trip the car must have been going at least as fast as

78.67

miles per hour. This is precisely what the mean value theorem addresses.

🔗

The Mean Value Theorem.

🔗

Let

f

be a function that is continuous on the closed interval

[a, b]

and differentiable on the open interval

(a, b) .

Then there exists a number

c,

with

a < c < b,

such that

f^{'} (c) = \frac{f (b) - f (a)}{b - a} .

🔗

In other words,

f (b) - f (a) = f^{'} (c) (b - a) .

🔗

While a proof of the mean value theorem is beyond the scope of this textbook, it is worth rephrasing the theorem in a way that is perhaps more clear. The mean value theorem essentially states that given any two points on a continuous curve, there is a point somewhere in the middle at which the line tangent to the curve is parallel to the secant line that connects the two points. A geometric representation of this is illustrated below in Figure 2.113.

🔗
Figure 2.113. A geometric representation of the Mean Value Theorem. The blue curve is the graph of $y = f (t),$ where $f$ is some function that is continuous on $[a, b]$ and differentiable on $(a, b) .$ The secant line connecting the points $(a, f (a))$ and $(b, f (b))$ is shown in black and has slope $\frac{f (b) - f (a)}{b - a} .$ There appears to be at least one point, $c,$ between $a$ and $b$ at which the slope of the tangent line (shown in red) is precisely the same as the slope of the secant line.

Example 2.114.

Consider the function

f (x) = 2 x^{3} - x

on the interval

[1, 3] .

Find a value of

c

on the interval

(1, 3)

such that

f^{'} (c) = \frac{f (3) - f (1)}{3 - 1} .

Hint.

Use differentiation rules to find the derivative, then evaluate at

x = c

and solve for

c .

Answer.

c = \sqrt{\frac{13}{3}} .

Solution.

We start by evaluating the function at the endpoints of the interval, finding that

f (3) = 2 (27) - 3 = 51, and f (1) = 2 (1) - 1 = 1 .

So we are trying to find

c

in the interval

(1, 3)

such that

f^{'} (c) = \frac{51 - 1}{3 - 1} = 25.

Using the power rule and the sum rule, we have that

f^{'} (x) = 6 x^{2} - 1,

f^{'} (c) = 6 c^{2} - 1 .

Solving the equation

6 c^{2} - 1 = 25,

we find that

c = \pm \sqrt{\frac{13}{3}} .

Since we are looking only on the interval

(1, 3)

, the value we want is

c = + \sqrt{\frac{13}{3}} \approx 2.082 .

🔗

Subsection 2.10.2 Consequences of the Mean Value Theorem

🔗

The mean value theorem has several important consequences that confirm some intuitive ideas that you may already hold. First, the increasing function theorem establishes that continuous functions with a positive derivative on an interval are increasing on that interval. More formally,

🔗

The Increasing Function Theorem.

🔗

Suppose that

f

is continuous on

a \leq x \leq b

and differentiable on

a < x < b .

If $f^{'} (x) > 0$ on $a < x < b,$ then $f$ is increasing on $a \leq x \leq b .$
If $f^{'} (x) \geq 0$ on $a < x < b,$ then $f$ is non-decreasing on $a \leq x \leq b .$

🔗

This theorem is demonstrated in Figure 2.115. When the slope of the tangent line is positive for all

x

values on a given interval, we see that the function is increasing.

🔗
Figure 2.115. A geometric representation of the increasing function theorem. The blue curve is the graph of $y = f (t),$ where $f$ is some function that is continuous on $[a, b]$ and differentiable on $(a, b) .$ The tangent lines are positive where the function is increasing.

🔗

We can also state that a function with a derivative equal to zero on an interval is constant on that interval.

🔗

Constant Function Theorem.

🔗

Suppose that

f

is continuous on

a \leq x \leq b

and differentiable on

a < x < b .

f^{'} (x) = 0

a < x < b,

then

f

is constant on

a \leq x \leq b .

Equivalently, if

f

is not constant everywhere on

[a, b],

then there is some point

c

on the interval

(a, b)

at which

f^{'} (c) \neq 0 .

🔗

The following example will provide some intuition for the constant function theorem.

Example 2.116.

Suppose a car is being driven with cruise control set to

55

miles per hour, and that the drive continues for

30

minutes. Thinking of the car’s velocity (in miles per hour) as a function of time (in minutes), the instantaneous rate of change of velocity (i.e., the instantaneous acceleration) at each minute of the drive is

0

miles per hour per minute. In terms of function notation, we have

v = f (t)

denoting the velocity as a function of time, and

a = f^{'} (t)

denoting the acceleration as the derivative of velocity, with

f^{'} (t) = 0

for each

0 < t < 30 .

Suppose now that the car approaches a red light, leading the driver to turn off cruise control in order to slow down and eventually stop. However, cruise control is only off for

15

seconds before the light turns green again, at which point the driver resets the cruise control and regains a speed of

55

mph within a further

15

seconds. When cruise control was turned off, the car slowed down a little bit before returning to cruising speed. Consequently, the instantaneous acceleration was nonzero during that

30

second period. In other words, when the (velocity) function is not constant over an interval, its derivative (acceleration) is nonzero on that same interval.

🔗

We have one final result that can be used to formalize another intuitive idea. The racetrack principle argues that if two objects begin at the same place and the same time and one is traveling faster than the other, then the faster object will be ahead of the slower object. Formally, we write the principle in terms of functions.

🔗

The Racetrack Principle.

🔗

Suppose that

g

and

h

are continuous on

a \leq x \leq b

and differentiable on

a < x < b,

and that

g^{'} (x) \leq h^{'} (x)

for

a < x < b .

If $g (a) = h (a),$ then $g (x) \leq h (x)$ for $a \leq x \leq b .$
If $g (b) = h (b),$ then $g (x) \geq h (x)$ for $a \leq x \leq b .$

Example 2.117.

Erica and Mason want to race each other down the street. After choosing start and finish lines, they get set to race. Starting together, Erica runs faster than Mason the entire time. Because of this, Erica is ahead of Mason for the whole race and reaches the finish line first.

Now suppose that Mason wants a rematch, but he isn’t willing to play fair this time. Mason and Erica line up at the starting line, but Mason takes an early start. Erica again runs faster than Mason the entire time, and they reach the finish line together. This means Erica spent the race catching up to Mason, who was ahead of her for the whole race.

Example 2.118.

Use the racetrack principle to show that

\ln (x) \leq x - 1

for all

x \geq 1.

Is the statement also true for all

0 < x \leq 1 ?

Hint.

Compare function values at

x = 1 .

How do the derivatives compare on the interval in question?

Answer.

\ln (x) \leq x - 1

for every positive value of

x .

Solution.

Set

g (x) = \ln (x)

and

h (x) = x - 1 .

Both functions are continuous on

[1, \infty)

and differentiable on

(1, \infty) .

We take the derivative of each function:

g^{'} (x) = \frac{1}{x},

h^{'} (x) = 1.

Since “

x \geq 1

” and “

\frac{1}{x} \leq 1

” are equivalent statements, we thus have

g^{'} (x) \leq h^{'} (x)

for all

x \geq 1 .

Comparing function values when

x = 1,

we see that

g (1) = \ln (1) = 0

and

h (1) = 1 - 1 = 0 .

Therefore the racetrack principle says

g (x) \leq h (x)

(i.e.

\ln (x) \leq x - 1

) for all

x \geq 1 .

Similarly, if we consider values

0 < x \leq 1,

we have that

g^{'} (x) \geq h^{'} (x) .

Since

g (1) = h (1),

we have that

h (x) \geq g (x)

x - 1 \geq \ln (x)

for all

0 < x \leq 1 .

Note that we have to be careful in applying the racetrack principle here, since

\ln (x)

is not continuous (because it’s undefined) at

x = 0 .

But we can choose the lower bound of the interval to be any positive number less than

1,

and then take the limit as that number approaches

0

to obtain the result.

🔗

Exercises 2.10.3 Exercises

🔗

1. Understanding the Statement of the Mean Value Theorem.

🔗

Consider the function graphed below.

🔗

Does this function satisfy the hypotheses of the Mean Value Theorem on the interval

[a, b] ?

🔗

Does it satisfy the conclusion?

🔗

At what point

c

f^{'} (c) = \frac{f (b) - f (a)}{b - a} ?

c=m
c=n
c=p
there is no such point

🔗

2. Applying Theorems.

🔗

For each of the following, determine if the statement is true or false. (Be sure you can justify your answer.)

🔗

(a) Let

f (x) = [x],

the greatest integer less than or equal to

x .

Then

f^{'} (x) = 0,

f (x)

is constant by the Constant Function Theorem.

🔗

True
False

🔗

(b) If

a < b

and

f^{'} (x)

is positive on

[a, b]

then

f (a) < f (b) .

🔗

True
False

🔗

f (x)

is increasing and differentiable on the interval

[a, b],

then

f^{'} (x) > 0

[a, b] .

🔗

True
False

🔗

(d) The Racetrack Principle can be used to justify the statement that if two horses start a race at the same time, the horse that wins must be moving faster than the other throughout the race.

🔗

True
False

🔗

(e) Two horses start a race at the same time and one runs slower than the other throughout the race. The Racetrack Principle can be used to justify the fact that the slower horse loses the race.

🔗

True
False

🔗

3. Conclusion of the Mean Value Theorem.

🔗

For the function

f (x) = x - \frac{3}{x},

find all values of

c

in the interval [2,4] that satisfy the conclusion of the Mean-Value Theorem. If appropriate, leave your answer in radical form. Enter all fractions in lowest terms.

🔗