A * secant line* is a line drawn through two
points on a curve.

The Mean Value Theorem relates the slope of a secant line to the slope of a tangent line.

* Theorem.* * (The Mean Value
Theorem)* If f is continuous on and differentiable on , there is a number c in such that

I won't give a proof here, but the picture below shows why this makes sense. I've drawn a secant line through the points and . The Mean Value Theorem says that somewhere in between a and b, there is a point c on the curve where the tangent line has the same slope as the secant line.

Lines with the same slope are parallel. To find a point where the tangent line is parallel to the secant line, take the secant line and "slide" it (without changing its slope) until it's tangent to the curve.

If you experiment with some curves, you'll find that it's always possible to do this (provided that the curve is continuous and differentiable as stipulated in the theorem).

* Example.* For the function on the interval , find a number (or numbers) satisfying the
conclusion of the Mean Value Theorem.

Since f is a polynomial, f is continuous on and differentiable on . Moreover,

Hence, there is a number c --- maybe more than one --- between -5 and 1 such that . I'll try to find one.

, so . Set equal to 9 and solve for c:

is *not* in the interval --- it's an endpoint --- but is. is a number satisfying the
conclusion of the Mean Value Theorem.

* Remark.* It's common for mathematicians to say
"there is a number" as short for "there is at least
one number". So the Mean Value Theorem should be interpreted to
mean "there is at least one number c" satisfying the
conclusion of the theorem. There could be many numbers which work ---
even an infinite number of them!

Also, *finding* a value of c that works may be difficult. But
the theorem only guarantees that such a c *exists*, not that
you'll be able to find it.

* Example.* Consider on the interval . Then

However, , and has no solution. Why doesn't this contradict the Mean Value Theorem? This does not contradict the Mean Value Theorem, because f is undefined at , which is in the middle of the interval .

* Example.* Calvin Butterball runs a 100 yard
dash in 20 seconds. Assume that the function which gives his position relative to the starting
line is continuous and differentiable. Show that Calvin must have
been running at 5 yards per second at some point during his run.

When , he's at the starting line, so . When , he's at the finish line, so . Applying the Mean Value Theorem to s for , I find that there is a point c between 0 and 20 such that

That is, Calvin's velocity at was 5 yards per second, which is what I wanted to show.

You know that the derivative of a constant is zero. The Mean Value Theorem can be used to show that the converse is also true.

* Theorem.* If f is continuous on the closed
interval and for all x in the open interval , then f is constant on the closed interval .

* Proof.* Let d be any number such that . The Mean Value Theorem applies to f on the interval
, so there is a number c such that and

By assumption, . Therefore,

Since d was an aribtrary number such that , it follows that for all x in . This means that f is constant on the interval.

We'll use this idea when we discuss *
antiderivatives*. Here's a sketch of the idea.

I know that

If is any other function such that , then

By the theorem, , where c is a constant. Therefore, . In other words, the only functions whose derivatives are are functions like

When I discuss antiderivatives, I'll express this fact by writing

* Corollary.* (* Rolle's
Theorem*) Suppose f is continuous on and differentiable on , and in addition that . Then there is a number c in such that

* Proof.* Apply the Mean Value Theorem to get

But , so , and the left side is 0 --- which gives the conclusion of Rolle's Theorem.

A particular case where the hypothesis holds is when a and b are roots of f, since then

In this situation, Rolle's Theorem says that there is at least one horizontal tangent between every pair of roots.

In the picture above, there are three critical points between the roots at a and b.

* Example.* By the Mean Value Theorem, the
function has critical
points --- places where --- between 0 and 20,
between 20 and 200, and between 200 and 2000.

* Example.* Prove that the function has exactly one root.

* Step 1.* Since and , and
since f is continuous, the Intermediate Value Theorem implies that
there is a root between -10 and 10. Thus, f has at least one root.

* Step 2.* Suppose that f has more than one root.
Suppose, in particular, that a and b are two roots of f.

By Rolle's theorem, f must have a horizontal tangent between a and b. That is, for .

However, the derivative is . Since even powers are nonnegative, for all x. This contradicts .

This contradiction shows that there can't be two roots, so there can't be more than one root.

Step 1 shows that there's at least one root. Step 2 shows there can't be more than one. Therefore, there must be exactly one root.

* Definition.* A function f is *
strictly increasing* on an interval if for all p and q such that ,

If the last inequality is replaced with , then f is *
increasing*.

A function f is * strictly decreasing* on an
interval if for all p and q such that ,

If the last inequality is replaced with , then f is *
decreasing*.

* Proposition.* Suppose f is differentiable on
.

(a) If on , then f is strictly increasing on .

(b) If on , then f is strictly decreasing on .

* Proof.* Take p and q between a and b; say . I want to show . By the Mean Value Theorem, there is a number c such
that and

But , so

This proves that f is strictly increasing on the interval.

The proof for (b) is similar.

* Remark.* In (a) if you assume instead that on , then the same
proof shows that f is increasing on . Likewise, in (b) if you assume that on , then f is
decreasing on .

* Example.* Prove that if , then

Apply the Mean Value Theorem to on the interval , where . Then for some c between 0 and k,

Now and , so

A picture which illustrates this (not to scale) follows:

The curve is the graph of and the line is . You can see that the curve appears to lie above the line.

* Example.* (* Using the Mean
Value Theorem to estimate a function value*) Suppose that f is a
differentiable function,

Prove that .

Apply the Mean Value Theorem to f on the interval :

Then since , I have

Copyright 2018 by Bruce Ikenaga