<img src="https://d5nxst8fruw4z.cloudfront.net/atrk.gif?account=iA1Pi1a8Dy00ym" style="display:none" height="1" width="1" alt="" />
You are reading an older version of this FlexBook® textbook: CK-12 Calculus Go to the latest version.

# 3.2: Extrema and the Mean Value Theorem

Difficulty Level: At Grade Created by: CK-12

## Learning Objectives

A student will be able to:

• Solve problems that involve extrema.
• Study Rolle’s Theorem.
• Use the Mean Value Theorem to solve problems.

## Introduction

In this lesson we will discuss a second application of derivatives, as a means to study extreme (maximum and minimum) values of functions. We will learn how the maximum and minimum values of functions relate to derivatives.

Let’s start our discussion with some formal working definitions of the maximum and minimum values of a function.

Definition
A function \begin{align*}f\end{align*} has a maximum at \begin{align*}x = a\end{align*} if \begin{align*}f(a) \ge f(x)\end{align*} for all \begin{align*}x\end{align*} in the domain of \begin{align*}f.\end{align*} Similarly, \begin{align*}f\end{align*} has a minimum at \begin{align*}x = a\end{align*} if \begin{align*}f(a) \le f(x)\end{align*} for all \begin{align*}x\end{align*} in the domain of \begin{align*}f.\end{align*} The values of the function for these \begin{align*}x-\end{align*}values are called extreme values or extrema.
Here is an example of a function that has a maximum at \begin{align*}x = a\end{align*} and a minimum at \begin{align*}x = d\end{align*}:

Observe the graph at \begin{align*}x = b\end{align*}. While we do not have a minimum at \begin{align*}x = b\end{align*}, we note that \begin{align*}f(b) \le f(x)\end{align*} for all \begin{align*}x\end{align*} near \begin{align*}b.\end{align*} We say that the function has a local minimum at \begin{align*}x = b.\end{align*} Similarly, we say that the function has a local maximum at \begin{align*}x = c\end{align*} since \begin{align*}f(c) \ge f(x)\end{align*} for some \begin{align*}x\end{align*} contained in open intervals of \begin{align*}c.\end{align*}
Let’s recall the Min-Max Theorem that we discussed in lesson on Continuity.

Min-Max Theorem: If a function \begin{align*}f(x)\end{align*} is continuous in a closed interval \begin{align*}I,\end{align*} then \begin{align*}f(x)\end{align*} has both a maximum value and a minimum value in \begin{align*}I.\end{align*} In order to understand the proof for the Min-Max Theorem conceptually, attempt to draw a function on a closed interval (including the endpoints) so that no point is at the highest part of the graph. No matter how the function is sketched, there will be at least one point that is highest.

We can now relate extreme values to derivatives in the following Theorem by the French mathematician Fermat.

Theorem: If \begin{align*}f(c)\end{align*} is an extreme value of \begin{align*}f\end{align*} for some open interval of \begin{align*}c,\end{align*} and if \begin{align*}f'(c)\end{align*} exists, then \begin{align*}f'(c) = 0.\end{align*}

Proof: The theorem states that if we have a local max or local min, and if \begin{align*}f'(c)\end{align*} exists, then we must have \begin{align*}f'(c) = 0.\end{align*}

Suppose that \begin{align*}f\end{align*} has a local max at \begin{align*}x = c.\end{align*} Then we have \begin{align*}f(c) \ge f(x)\end{align*} for some open interval \begin{align*}(c - h, c + h)\end{align*} with \begin{align*}h > 0.\end{align*}

So \begin{align*} f(c+h)-f(c)\le 0.\end{align*}

Consider \begin{align*}\lim_{h \to 0^+} \frac{f(c+h)-f(c)}{h}\end{align*}.

Since \begin{align*} f(c+h)-f(c)\le 0\end{align*}, we have \begin{align*}\lim_{h\to 0^+} \frac{f(c+h)-f(c)}{h}\le\lim_{h\to 0^+} 0=0.\end{align*}

Since \begin{align*}f'(c)\end{align*} exists, we have \begin{align*} f'(c)=\lim_{h\to 0}\frac{f(c+h)-f(c)}{h}=\lim_{h\to 0^+} \frac{f(c+h)-f(c)}{h}\end{align*}, and so \begin{align*}f'(c)\le 0.\end{align*}

If we take the left-hand limit, we get \begin{align*} f'(c)=\lim_{h\to 0} \frac{f(c+h)-f(c)}{h}=\lim_{h\to 0^-} \frac{f(c+h)-f(c)}{h}\ge 0.\end{align*}

Hence \begin{align*}f'(c) \ge 0\end{align*} and \begin{align*}f'(c) \le 0\end{align*} it must be that \begin{align*}f'(c) = 0.\end{align*}

If \begin{align*}x = c\end{align*} is a local minimum, the same argument follows.

Definition
We will call \begin{align*}x = c\end{align*} a critical value in \begin{align*}[a,b]\end{align*} if \begin{align*}f'(c) = 0\end{align*} or \begin{align*}f'(c)\end{align*} does not exist, or if \begin{align*}x = c\end{align*} is an endpoint of the interval.
We can now state the Extreme Value Theorem.

Extreme Value Theorem: If a function \begin{align*}f(x)\end{align*} is continuous in a closed interval \begin{align*}[a,b]\end{align*}, with the maximum of \begin{align*}f\end{align*} at \begin{align*}x = c_1\end{align*} and the minimum of \begin{align*}f\end{align*} at \begin{align*}x = c_2,\end{align*} then \begin{align*}c_1\end{align*} and \begin{align*}c_2\end{align*} are critical values of \begin{align*}f.\end{align*}

Proof: The proof follows from Fermat’s theorem and is left as an exercise for the student.

Example 1:

Let’s observe that the converse of the last theorem is not necessarily true: If we consider \begin{align*}f(x) = x^3\end{align*} and its graph, then we see that while \begin{align*}f'(0) = 0\end{align*} at \begin{align*}x = 0,\end{align*} \begin{align*}x = 0\end{align*} is not an extreme point of the function.

Rolle’s Theorem: If \begin{align*}f\end{align*} is continuous and differentiable on a closed interval \begin{align*}[a,b]\end{align*} and if \begin{align*}f(a) = f(b),\end{align*} then \begin{align*}f\end{align*} has at least one value \begin{align*}c\end{align*} in the open interval \begin{align*}(a,b)\end{align*} such that \begin{align*}f'(c)=0 \end{align*}.

The proof of Rolle's Theorem can be found at http://en.wikipedia.org/wiki/Rolle's_theorem.

Mean Value Theorem: If \begin{align*}f\end{align*} is a continuous function on a closed interval \begin{align*}[a,b]\end{align*} and if \begin{align*}f'\end{align*} contains the open interval \begin{align*}(a,b)\end{align*} in its domain, then there exists a number \begin{align*}c\end{align*} in the interval \begin{align*}(a,b)\end{align*} such that \begin{align*}f(b)-f(a) = (b - a) f'(c).\end{align*}

Proof: Consider the graph of \begin{align*}f\end{align*} and secant line \begin{align*}s\end{align*} as indicated in the figure.

By the Point-Slope form of line \begin{align*}s\end{align*} we have

\begin{align*}y - f(a) = m(x - a)\end{align*} and \begin{align*}y = m(x - a) + f(a).\end{align*}

For each \begin{align*}x\end{align*} in the interval \begin{align*}(a,b),\end{align*} let \begin{align*}g(x)\end{align*} be the vertical distance from line \begin{align*}S\end{align*} to the graph of \begin{align*}f.\end{align*} Then we have

\begin{align*}g(x) = f(x) - [m(x - a) + f(a)]\end{align*} for every \begin{align*}x\end{align*} in \begin{align*}(a,b).\end{align*}

Note that \begin{align*}g(a) = g(b) = 0.\end{align*} Since \begin{align*}g\end{align*} is continuous in \begin{align*}[a,b]\end{align*} and \begin{align*}g'\end{align*} exists in \begin{align*}(a,b),\end{align*} then Rolle’s Theorem applies. Hence there exists \begin{align*}c\end{align*} in \begin{align*}(a,b)\end{align*} with \begin{align*}g'(c) = 0.\end{align*}

So \begin{align*}g'(x) = f'(x) - m\end{align*} for every \begin{align*}x\end{align*} in \begin{align*}(a,b).\end{align*}

In particular,

\begin{align*}g'(c) = f'(c) - m = 0\end{align*} and

The proof is complete.

Example 2:

Verify that the Mean Value Theorem applies for the function \begin{align*}f(x) = x^3 + 3x^2 - 24x\end{align*} on the interval \begin{align*}[1,4].\end{align*}

Solution:

We need to find \begin{align*}c\end{align*} in the interval \begin{align*}(1,4)\end{align*} such that \begin{align*}f(4) - f(1) = (4-1) f'(c).\end{align*}

Note that \begin{align*}f'(x) = 3x^2 + 6x - 24,\end{align*} and \begin{align*}f(4) = 16,\end{align*} \begin{align*}f(1) = -20.\end{align*} Hence, we must solve the following equation:

By substitution, we have

Since we need to have \begin{align*}c\end{align*} in the interval \begin{align*}(1,4),\end{align*} the positive root is the solution, \begin{align*} c=\frac{-2 + \sqrt{52}} {2}\approx 2.61\end{align*}.

## Lesson Summary

1. We learned to solve problems that involve extrema.
2. We learned about Rolle’s Theorem.
3. We used the Mean Value Theorem to solve problems.

For a video presentation of Rolle's Theorem (8.0), see Math Video Tutorials by James Sousa, Rolle's Theorem (7:54).

For more information about the Mean Value Theorem (8.0), see Math Video Tutorials by James Sousa, Mean Value Theorem (9:52).

For a well-done, but unorthodox, student presentation of the Extreme Value Theorem and Related Rates (3.0)(12.0), see Extreme Value Theorem (10:00).

## Review Questions

In problems #1–3, identify the absolute and local minimum and maximum values of the function (if they exist); find the extrema. (Units on the axes indicate \begin{align*}1 \;\mathrm{unit}\end{align*}).

1. Continuous on \begin{align*}[0,9]\end{align*}
2. Continuous on \begin{align*}[0,3]\cup(3,9]\end{align*}
3. Continuous on \begin{align*}[0,4]\cup(4,9)\end{align*}

In problems #4–6, find the extrema and sketch the graph.

1. \begin{align*}f(x) = - x^2 - 6x + 4,\end{align*} \begin{align*}[-4,1]\end{align*}
2. \begin{align*}f(x) = x^3 - x^4,\end{align*} \begin{align*}[0,2]\end{align*}
3. \begin{align*} f(x)=-x^2+\frac{4}{x^2},\end{align*} \begin{align*}[-2,0]\end{align*}
4. Verify Rolle’s Theorem by finding values of \begin{align*}x\end{align*} for which \begin{align*}f(x) = 0\end{align*} and \begin{align*}f'(x) = 0.\end{align*} \begin{align*}f(x) = 3x^3 - 12x\end{align*}
5. Verify Rolle’s Theorem for \begin{align*} f(x)=x^2-\frac{2}{x-1}.\end{align*}
6. Verify that the Mean Value Theorem works for \begin{align*} f(x)=\frac{(x+2)}{x},\end{align*} \begin{align*}[1,2].\end{align*}
7. Prove that the equation \begin{align*}x^3 + a_1 x^2 + a_2 x = 0\end{align*} has a positive root at \begin{align*}x = r,\end{align*} and that the equation \begin{align*}3x^2 + 2a_1 x + a_2 = 0\end{align*} has a positive root less than \begin{align*}r.\end{align*}

1. Absolute max at \begin{align*}x = 7,\end{align*} absolute minimum at \begin{align*}x = 4,\end{align*} relative maximum at \begin{align*}x = 2,\end{align*} Note: there is no relative minimum at \begin{align*}x = 9\end{align*} because there is no open interval around \begin{align*}x = 9\end{align*} since the function is defined only on \begin{align*}x = 9;\end{align*} the extreme values of \begin{align*}f\end{align*} are \begin{align*}f(7) = 7, f(4) = -1.\end{align*}
2. Absolute maximum at \begin{align*}x = 7,\end{align*} absolute minimum at \begin{align*}x = 9,\end{align*} relative minimum at \begin{align*}x = 3,\end{align*} Note: there is no relative minimum at \begin{align*}x = 0\end{align*} because there is no open interval around \begin{align*}x = 0\end{align*} since the function is defined only on \begin{align*}[0,9];\end{align*} the extreme values of \begin{align*}f\end{align*} are \begin{align*}f(7) = 9, f (9) = 0.\end{align*}
3. Absolute minimum at \begin{align*}x = 0, f(0) = 1\end{align*}; there is no maximum since the function is not continuous on a closed interval.
4. Absolute maximum at \begin{align*}x = -3,\end{align*} \begin{align*}f(-3) = 13,\end{align*} absolute minimum at \begin{align*}x = 1,\end{align*} \begin{align*}f(1) = -3\end{align*}
5. Absolute maximum at \begin{align*} x=\frac{3}{4}, f(\frac{3}{4}) \approx .1055,\end{align*} absolute minimum at \begin{align*}x = 2,\end{align*} \begin{align*}f(2) = -8.\end{align*}
6. Absolute minimum at \begin{align*} x=-2,f(-2)=-3.\end{align*}
7. \begin{align*} f(x)=0\end{align*} at \begin{align*} x=0,\pm 2\end{align*} \begin{align*} f'(x)=0, x=\pm \frac{2\sqrt3}{3};\end{align*} (by Rolle’s Theorem, there is a critical value in each of the intervals \begin{align*}(-2,0)\end{align*} and \begin{align*}(2,0)\end{align*} and we found those to be \begin{align*} x=\pm \frac{2}{3}\sqrt{3}.\end{align*})
8. \begin{align*}f(x) = 2\end{align*} at \begin{align*}x = -1,0\end{align*} \begin{align*}f'(x) = 0\end{align*} at \begin{align*}x \approx -0.48\end{align*} by Rolle’s Theorem, there is a critical value in the interval \begin{align*}(-1,0)\end{align*} and we found it to be \begin{align*}x \approx -0.48.\end{align*}
9. Need to find \begin{align*}c \in (1,2)\end{align*} such that \begin{align*} f(2)-f(1)=(2-1)f'(c);c=\sqrt 2.\end{align*}
10. Let \begin{align*}f(x) = x^3 + a_1 x^2 + a_2 x.\end{align*} Observe that \begin{align*}f(0) = f(r) = 0.\end{align*} By Rolle’s Theorem, there exist \begin{align*}c \in (0,r)\end{align*} such that \begin{align*}f'(0)=0.\end{align*}

Feb 23, 2012

Oct 30, 2015