Next: 13. Applications
Up: 12. Extreme Values of
Previous: 12.3 Maxima and Minima
  Index
12.24
Lemma (Rolle's Theorem)
Let
be real numbers with
and let
be a
function that is continuous on
and differentiable on
. Suppose
that
. Then there is a point
such that
.
Proof: By the extreme value property,
has a maximum at some point
. If
, then
by the critical point theorem.
Suppose
. By the extreme value property,
has a minimum at
some point
. If
then
by the critical
point
theorem. If
, then we have
so
. Hence in this case the maximum value and the minimum value taken by
are equal, so
for
so
for all
.
Rolle's theorem is named after Michel Rolle (1652-1719). An English
translation of
Rolle's original statement and proof of the theorem can be found in [43, pages
253-260]. It takes a considerable effort to see any relation between
what
Rolle says and what our form of Rolle's theorem says.
12.25
Theorem (Mean value theorem.)
Let
be real numbers and let
be a function that is
continuous on
and differentiable on
. Then there is a point
such that
; i.e.,
there
is a point
where the slope of the tangent line is equal to the slope of the line
joining
to
.
Proof: The equation of the line joining
to
is
Let
Then
is continuous on
and differentiable on
and
.
By Rolle's theorem there is a point
where
.
Now
so
12.26
Corollary.
Let
be an interval in
and let
be a function that is
continuous on
and differentiable at the interior points of
. Then
Proof: I will prove the second assertion. Suppose
for all
. Let
be points in
with
. Then by the mean value
theorem
Since
and
, we have
; i.e.,
. Thus
is decreasing on
12.27
Exercise.
A
Prove the first assertion of the previous corollary; i.e., prove that if

is continuous on an interval

, and

for all

,
then

is constant on

.
12.28
Definition (Antiderivative)
Let

be a real valued function with

. Let

be an
interval such that

. A function

is an
antiderivative for 
on

if

is continuous on

and

for all

in
the interior of

.
12.29
Examples.
Since

, we see that

is an
antiderivative for

.
Since
and
we see that

and

are
both antiderivatives for

.
We will consider the problem of finding antiderivatives in chapter
17. Now I just want to make the following observation:
12.31
Exercise.
A
Prove the antiderivative theorem.
12.32
Definition (Even and odd functions.)
A subset

of

is called
symmetric if

. A
function

is said to be
even if

is a symmetric subset of
and
and

is said to be
odd if

is a symmetric subset of

and
.
12.33
Example.
If

and

, then

is even if

is even, and

is odd if

is odd. Also

is an even function and

is an odd
function,
while

is neither even or odd.
12.34
Example.
If

is even, then

where

is
the reflection about the vertical axis. If

is odd, then

where

is a rotation by

about the
origin.
12.35
Exercise.
A
Are there any functions that are both
even and odd?
12.36
Exercise.
A
- a)
- If
is an arbitrary even differentiable
function, show that the derivative of
is odd.
- b)
- If
is an arbitrary odd differentiable
function, show that the derivative of
is even.
Next: 13. Applications
Up: 12. Extreme Values of
Previous: 12.3 Maxima and Minima
  Index
Ray Mayer
2007-09-07