Derivatives
and
Graphs
In this section we see how information about the graph of a function can be obtained from its
derivative
f', and still more information from the derivative of the derivative, f".
If
f'
(xo) > 0, then since this positive slope is the limit of the slopes of segments from
(xo,
f(xo))
to nearby points (x,
f(x)),
all such segments must have positive slope. Hence,
f(x)
>
f(xo)
for all x
just
to the right of xo, and
f(x)
<
f(xo)
for all x just to the left of
Xo.
We say that f has a local maximum at xo, provided
f(xo)
2:
f(x)
for all x sufficiently
close to
xo, and a local minimum at xo, provided
f(xo)
~
f(x)
for all x sufficiently close to
Xo.
From the argument above it is clear that f can have neither a local maximum nor a local
minimum at
Xo
if f'(XO) > 0 or if
f'(xo)
<
O.
Therefore, if
f(xo)
is either a local maximum
or a local minimum, then
f'(XO) =
O.
The condition
f'(xo)
=0 is necessary for
f(xo)
to be
a local maximum or minimum, but not a sufficient condition;
f'
can be zero at points where
f does not have a maximum or minimum. (See Figure 9.1.) If we are concerned only about
the values of
I(x)
for x in some closed interval [a, b], then I can have a local maximum or
minimum at
a or b without
f'
being zero. Indeed, if, for example,
f'(a)
> 0, then
f(a)
is
necessarily a local minimum on
[a, b].
If I' (x) > 0 for all x in some interval, then I (x) is strictly increasing throughout that
interval. Similarly,
I
(x)
is strictly decreasing on any interval on which I'
(x)
<
O.
These
facts are consequences of the following important result:
Mean Value Theorem:
If
f'
(x) exists
for
a
~
x
~
b, then there is some c E (a, b)
such that
f(b)
-
f(a)
=
f'(c)(b
- a).
The Mean Value Theorem is simply a precise statement of the obvious fact (Figure 9.2)
that a graph cannot get smoothly (Le., no comers) from
(a,
f(a))
to (b,
f(b))
without pointing
in the right direction for at least one point c between
a and b. As another interpretation of
the Mean Value Theorem, suppose
f(t)
is the distance your car goes from time t = a to time
t = b. The average speed over the interval a
~
t
~
b is
(f(b)
-
f(a))/(b
- a). The Mean
Value Theorem (and common sense) says that there must be a least one point t
= c at which
the instantaneous speed
f'
(c) equals the average speed.
51