Rolles Theorem Mean Value Theorem
Rolles Theorem Mean Value Theorem
Rolles Theorem Mean Value Theorem
d. Evaluate the function at all points found in parts (b) and (c) and 94. ƒsxd = 2 + 2x - 3x 2>3, [- 1, 10>3]
at the endpoints of the interval.
95. ƒsxd = 2x + cos x, [0, 2p]
e. Find the function’s absolute extreme values on the interval and 1
identify where they occur. 96. ƒsxd = x 3>4
- sin x + , [0, 2p]
2
91. ƒsxd = x 4 - 8x 2 + 4x + 2, [- 20>25, 64>25] 97. ƒ(x) = px 2e - 3x>2, [0, 5]
92. ƒsxd = - x + 4x - 4x + 1,
4 3
[- 3>4, 3] 98. ƒ(x) = ln (2x + x sin x), [1, 15]
93. ƒsxd = x 2>3s3 - xd, [- 2, 2]
Proof Being continuous, ƒ assumes absolute maximum and minimum values on [a, b]
x by Theorem 1. These can occur only
0 a c1 c2 c3 b
(b) 1. at interior points where ƒ¿ is zero,
2. at interior points where ƒ¿ does not exist,
FIGURE 4.10 Rolle’s Theorem says that
a differentiable curve has at least one
3. at the endpoints of the function’s domain, in this case a and b.
horizontal tangent between any two points By hypothesis, ƒ has a derivative at every interior point. That rules out possibility (2), leav-
where it crosses a horizontal line. It may ing us with interior points where ƒ¿ = 0 and with the two endpoints a and b.
have just one (a), or it may have more (b). If either the maximum or the minimum occurs at a point c between a and b, then
ƒ¿scd = 0 by Theorem 2 in Section 4.1, and we have found a point for Rolle’s Theorem.
If both the absolute maximum and the absolute minimum occur at the endpoints,
then because ƒsad = ƒsbd it must be the case that ƒ is a constant function with
ƒsxd = ƒsad = ƒsbd for every x H [a, b]. Therefore ƒ¿sxd = 0 and the point c can be taken
anywhere in the interior (a, b).
HISTORICAL BIOGRAPHY The hypotheses of Theorem 3 are essential. If they fail at even one point, the graph
may not have a horizontal tangent (Figure 4.11).
Michel Rolle
Rolle’s Theorem may be combined with the Intermediate Value Theorem to show when
(1652–1719)
there is only one real solution of an equation ƒsxd = 0, as we illustrate in the next example.
x 3 + 3x + 1 = 0
has exactly one real solution.
4.2 The Mean Value Theorem 231
y y y
x x x
a b a x0 b a x0 b
(a) Discontinuous at an (b) Discontinuous at an (c) Continuous on [a, b] but not
y endpoint of [a, b] interior point of [a, b] differentiable at an interior
(1, 5) point
FIGURE 4.11 There may be no horizontal tangent if the hypotheses of Rolle’s Theorem do not hold.
x
ƒsxd = x 3 + 3x + 1.
–1 0 1
Since ƒ(-1) = - 3 and ƒ(0) = 1, the Intermediate Value Theorem tells us that the graph
of ƒ crosses the x-axis somewhere in the open interval (-1, 0). (See Figure 4.12.) The
(–1, –3) derivative
ƒ¿sxd = 3x 2 + 3
FIGURE 4.12 The only real zero of the
polynomial y = x 3 + 3x + 1 is the one is never zero (because it is always positive). Now, if there were even two points x = a and
shown here where the curve crosses the x = b where ƒ(x) was zero, Rolle’s Theorem would guarantee the existence of a point
x-axis between - 1 and 0 (Example 1). x = c in between them where ƒ¿ was zero. Therefore, ƒ has no more than one zero.
Our main use of Rolle’s Theorem is in proving the Mean Value Theorem.
f (b) f (a)
Slope
ba THEOREM 4—The Mean Value Theorem Suppose y = ƒsxd is continuous on a
A closed interval [a, b] and differentiable on the interval’s interior (a, b). Then there
x is at least one point c in (a, b) at which
0 a c b
y f(x) ƒsbd - ƒsad
= ƒ¿scd. (1)
b - a
FIGURE 4.13 Geometrically, the Mean
Value Theorem says that somewhere
between a and b the curve has at least one Proof We picture the graph of ƒ and draw a line through the points A(a, ƒ(a)) and
tangent parallel to chord AB. B(b, ƒ(b)). (See Figure 4.14.) The line is the graph of the function
ƒsbd - ƒsad
gsxd = ƒsad + sx - ad (2)
b - a
B(b, f (b))
y f (x) y f (x) B
x x
y a b a x b
y 兹1 x 2, –1 ⱕ x ⱕ 1 FIGURE 4.14 The graph of ƒ and the FIGURE 4.15 The chord AB is the graph
1 chord AB over the interval [a, b]. of the function g(x). The function hsxd =
ƒsxd - g sxd gives the vertical distance
between the graphs of ƒ and g at x.
x
–1 0 1
The function h satisfies the hypotheses of Rolle’s Theorem on [a, b]. It is continuous
FIGURE 4.16 The function ƒsxd = on [a, b] and differentiable on (a, b) because both ƒ and g are. Also, hsad = hsbd = 0
21 - x 2 satisfies the hypotheses (and because the graphs of ƒ and g both pass through A and B. Therefore h¿scd = 0 at some
conclusion) of the Mean Value Theorem on point c H sa, bd. This is the point we want for Equation (1).
[⫺1, 1] even though ƒ is not differentiable To verify Equation (1), we differentiate both sides of Equation (3) with respect to x
at -1 and 1. and then set x = c:
y ƒsbd - ƒsad
h¿sxd = ƒ¿sxd - Derivative of Eq. (3) . . .
4
B(2, 4) b - a
ƒsbd - ƒsad
h¿scd = ƒ¿scd - . . . with x = c
b - a
3
y x2
ƒsbd - ƒsad
0 = ƒ¿scd - h¿scd = 0
b - a
2
ƒsbd - ƒsad
ƒ¿scd = , Rearranged
b - a
1 (1, 1)
which is what we set out to prove.
320
240
A Physical Interpretation
160 We can think of the number sƒsbd - ƒsadd>sb - ad as the average change in ƒ over [a, b]
At this point,
and ƒ¿scd as an instantaneous change. Then the Mean Value Theorem says that at some inte-
80 the car’s speed
was 30 mph. rior point the instantaneous change must equal the average change over the entire interval.
0 t
5
Time (sec) EXAMPLE 3 If a car accelerating from zero takes 8 sec to go 352 ft, its average veloc-
ity for the 8-sec interval is 352>8 = 44 ft>sec. The Mean Value Theorem says that at some
FIGURE 4.18 Distance versus elapsed point during the acceleration the speedometer must read exactly 30 mph (44 ft>sec)
time for the car in Example 3. (Figure 4.18).
4.2 The Mean Value Theorem 233
Mathematical Consequences
At the beginning of the section, we asked what kind of function has a zero derivative over
an interval. The first corollary of the Mean Value Theorem provides the answer that only
constant functions have zero derivatives.
Proof We want to show that ƒ has a constant value on the interval (a, b). We do so by
showing that if x1 and x2 are any two points in (a, b) with x1 6 x2, then ƒsx1 d = ƒsx2 d.
Now ƒ satisfies the hypotheses of the Mean Value Theorem on [x1 , x2]: It is differentiable
at every point of [x1, x2] and hence continuous at every point as well. Therefore,
ƒsx2 d - ƒsx1 d
x2 - x1 = ƒ¿scd
at some point c between x1 and x2. Since ƒ¿ = 0 throughout (a, b), this equation implies
successively that
ƒsx2 d - ƒsx1 d
x2 - x1 = 0, ƒsx2 d - ƒsx1 d = 0, and ƒsx1 d = ƒsx2 d.
At the beginning of this section, we also asked about the relationship between two
functions that have identical derivatives over an interval. The next corollary tells us that
their values on the interval have a constant difference.
COROLLARY 2 If ƒ¿sxd = g¿sxd at each point x in an open interval (a, b), then
there exists a constant C such that ƒsxd = gsxd + C for all x H sa, bd. That is,
y 5 x2 1 C
y ƒ - g is a constant function on (a, b).
C52
C51
C50 Proof At each point x H sa, bd the derivative of the difference function h = ƒ - g is
C 5 –1
h¿sxd = ƒ¿sxd - g¿sxd = 0.
C 5 –2
2 Thus, hsxd = C on (a, b) by Corollary 1. That is, ƒsxd - gsxd = C on (a, b), so ƒsxd =
gsxd + C.
1
x Corollaries 1 and 2 are also true if the open interval (a, b) fails to be finite. That is,
0
they remain true if the interval is sa, q d, s - q , bd, or s - q , q d.
–1 Corollary 2 plays an important role when we discuss antiderivatives in Section 4.8. It
–2
tells us, for instance, that since the derivative of ƒsxd = x 2 on s - q , q d is 2x, any other
function with derivative 2x on s - q , q d must have the formula x 2 + C for some value of
FIGURE 4.19 From a geometric point C (Figure 4.19).
of view, Corollary 2 of the Mean Value
Theorem says that the graphs of functions
EXAMPLE 4 Find the function ƒ(x) whose derivative is sin x and whose graph passes
with identical derivatives on an interval
through the point (0, 2).
can differ only by a vertical shift there.
The graphs of the functions with derivative
2x are the parabolas y = x 2 + C , shown Solution Since the derivative of gsxd = - cos x is g¿(x) = sin x, we see that ƒ and
here for selected values of C. g have the same derivative. Corollary 2 then says that ƒsxd = - cos x + C for some
234 Chapter 4: Applications of Derivatives
constant C. Since the graph of ƒ passes through the point (0, 2), the value of C is deter-
mined from the condition that ƒs0d = 2:
ƒs0d = - cos s0d + C = 2, so C = 3.
The ability to find functions from their rates of change is one of the very powerful
tools of calculus. As we will see, it lies at the heart of the mathematical developments in
Chapter 5.
By substituting we conclude,
ln bx = ln b + ln x.
Proof that ln x r ⴝ r ln x We use the same-derivative argument again. For all positive
values of x,
d 1 d r
ln x r = r (x ) Chain Rule
dx x dx
1
= r rx r - 1 Derivative Power Rule
x
= r# x =
1 d
(r ln x).
dx
ln a x b = ln b - ln x,
b
in Exercise 75. The Reciprocal Rule, ln (1>x) = - ln x, is a special case of the Quotient
Rule, obtained by taking b = 1 and noting that ln 1 = 0.
Laws of Exponents
The laws of exponents for the natural exponential e x are consequences of the algebraic
properties of ln x. They follow from the inverse relationship between these functions.
Then
Take logs of both
x1 = ln y1 and x2 = ln y2 sides of Eqs. (4).
x1 + x2 = ln y1 + ln y2
= ln y1 y2 Product Rule for logarithms
x1 + x2
e = e ln y1 y2
Exponentiate.
= y1 y2 e ln u = u
= e x1e x2.
The proof of Law 4 is similar. Laws 2 and 3 follow from Law 1 (Exercises 77 and 78).
236 Chapter 4: Applications of Derivatives
Exercises 4.2
Checking the Mean Value Theorem Roots (Zeros)
Find the value or values of c that satisfy the equation 17. a. Plot the zeros of each polynomial on a line together with the
zeros of its first derivative.
ƒsbd - ƒsad
= ƒ¿scd i) y = x 2 - 4
b - a
ii) y = x 2 + 8x + 15
in the conclusion of the Mean Value Theorem for the functions and in-
iii) y = x 3 - 3x 2 + 4 = sx + 1dsx - 2d2
tervals in Exercises 1–8.
1. ƒsxd = x 2 + 2x - 1, [0, 1] iv) y = x 3 - 33x 2 + 216x = xsx - 9dsx - 24d
b. Use Rolle’s Theorem to prove that between every two zeros of
2. ƒsxd = x 2>3, [0, 1]
x n + an - 1x n - 1 + Á + a1 x + a0 there lies a zero of
c , 2d
1 1
3. ƒsxd = x + x , nx n - 1 + sn - 1dan - 1x n - 2 + Á + a1.
2
4. ƒsxd = 2x - 1, [1, 3] 18. Suppose that ƒ– is continuous on [a, b] and that ƒ has three zeros
in the interval. Show that ƒ– has at least one zero in (a, b). Gener-
5. ƒsxd = sin-1 x, [ -1, 1] alize this result.
6. ƒsxd = ln (x - 1), [2, 4] 19. Show that if ƒ– 7 0 throughout an interval [a, b], then ƒ¿ has at
most one zero in [a, b]. What if ƒ– 6 0 throughout [a, b] instead?
7. ƒsxd = x - x ,
3 2
[ -1, 2]
20. Show that a cubic polynomial can have at most three real zeros.
3
-2 … x … 0
8. g(x) = e 2
x ,
x , 0 6 x … 2 Show that the functions in Exercises 21–28 have exactly one zero in
the given interval.
Which of the functions in Exercises 9–14 satisfy the hypotheses of the 21. ƒsxd = x 4 + 3x + 1, [- 2, -1]
Mean Value Theorem on the given interval, and which do not? Give 4
reasons for your answers. 22. ƒsxd = x 3 + + 7, s - q , 0d
x2
9. ƒsxd = x 2>3
, [ -1, 8]
23. g std = 2t + 21 + t - 4, s0, q d
10. ƒsxd = x 4>5
, [0, 1]
1
24. g std = + 21 + t - 3.1, s - 1, 1d
11. ƒsxd = 2xs1 - xd, [0, 1] 1 - t