Analytical Applications of Differentiation: MVT and Extrema (AP Calculus AB Unit 5)
Mean Value Theorem (MVT)
What the theorem says (in plain language)
The Mean Value Theorem connects an average rate of change over an interval to an instantaneous rate of change at some point inside the interval. If you draw the secant line between two points on a graph, the MVT guarantees there is at least one point in between where the tangent line is parallel to that secant line.
More formally: if a function f is **continuous** on the closed interval [a,b] and **differentiable** on the open interval (a,b), then there exists at least one number c in (a,b) such that
f'(c)=\frac{f(b)-f(a)}{b-a}
That right-hand side is the slope of the secant line from x=a to x=b (the average rate of change). The left-hand side is the slope of the tangent line at x=c (the instantaneous rate of change).
Why it matters
MVT is one of the most powerful “existence” tools in calculus. It lets you justify that something must happen inside an interval without finding the exact point where it happens.
Here are the big ideas it enables:
- Linking average and instantaneous change: If your average velocity over a time interval is, say, 50 mph, then at some moment you were traveling exactly 50 mph (as long as your position function is continuous and differentiable).
- Guaranteeing solutions to derivative equations: You can prove that an equation like f'(x)=k has at least one solution in an interval by showing k equals the average rate of change over that interval.
- Foundations for other results: MVT is closely related to why derivatives control increasing/decreasing behavior and why functions with the same derivative differ by a constant (ideas you’ll use in later units).
How it works (the mechanism behind it)
Conceptually, MVT is a precise version of a “smoothness + no teleporting” idea.
- Continuity on [a,b] means the graph doesn’t jump—so the curve really connects the endpoints.
- Differentiability on (a,b) means there are no sharp corners/cusps/vertical tangents inside the interval—so tangent slopes exist throughout the interior.
- When you compare the secant slope (overall change) to the tangent slopes (local change), the theorem guarantees that at some interior point, the tangent slope matches the secant slope.
A key point: MVT does not tell you where c is, and it does not guarantee uniqueness. There can be multiple values of c.
Rolle’s Theorem as a special case (often used on AP)
A very common MVT situation is when the endpoints have the same function value. Rolle’s Theorem says: if f is continuous on [a,b], differentiable on (a,b), and f(a)=f(b), then there exists c\in(a,b) such that
f'(c)=0
This is just MVT with secant slope
\frac{f(b)-f(a)}{b-a}=0
Worked example 1: Using MVT to find a value of c
Let f(x)=x^2 on [1,3].
Step 1: Check conditions.
- f is a polynomial, so it is continuous on [1,3] and differentiable on (1,3).
Step 2: Compute the average rate of change.
\frac{f(3)-f(1)}{3-1}=\frac{9-1}{2}=4
Step 3: Set f'(c) equal to that average slope.
f'(x)=2x
So
2c=4
c=2
Interpretation: at x=2, the tangent line has slope 4, matching the secant line slope from x=1 to x=3.
Worked example 2: A common “justify existence” problem
Suppose f is continuous on [0,2] and differentiable on (0,2), with f(0)=1 and f(2)=7. Prove there exists c\in(0,2) such that f'(c)=3.
Compute the average rate of change:
\frac{f(2)-f(0)}{2-0}=\frac{7-1}{2}=3
Because the continuity/differentiability conditions match MVT’s hypotheses, MVT guarantees some c\in(0,2) with
f'(c)=3
Notice how you never needed the actual formula for f.
What goes wrong (common issues)
- If f has a **jump discontinuity** on [a,b], the secant line might connect two points the curve doesn’t actually connect smoothly—MVT can fail.
- If f has a **corner** or **cusp** inside (a,b), then f'(c) might not exist at the point where the “matching slope” would need to happen.
- Students often compute the average rate of change correctly but forget to check hypotheses (AP often asks you to justify them).
Exam Focus
- Typical question patterns:
- “Verify that MVT applies on [a,b] and find all values of c that satisfy the conclusion.”
- “Use MVT to prove there exists a point where f'(c)=k” (existence/justification without finding f explicitly).
- Contextual versions: position s(t), average velocity vs instantaneous velocity.
- Common mistakes:
- Checking differentiability on [a,b] instead of on (a,b), or forgetting to check continuity on [a,b].
- Solving f'(c)=\frac{f(b)-f(a)}{b-a} but giving a value of c that is not in (a,b).
- Treating MVT as if it guarantees exactly one c.
Extreme Value Theorem (EVT)
What the theorem says (in plain language)
The Extreme Value Theorem is about whether a function actually attains a highest and lowest value on an interval. The key idea is that a continuous function on a closed, bounded interval cannot “escape” having a top and a bottom.
Formally: if f is **continuous** on a closed interval [a,b], then f has both
- an absolute maximum value on [a,b], and
- an absolute minimum value on [a,b].
That means there exist numbers x_{\max} and x_{\min} in [a,b] such that
f(x_{\max})\ge f(x)
and
f(x_{\min})\le f(x)
for all x in [a,b].
Why it matters
EVT tells you when it is even reasonable to go searching for absolute maxima/minima. Without EVT’s conditions, absolute extrema might not exist.
This shows up constantly in optimization and modeling:
- If you’re maximizing profit over a fixed range of production levels, EVT tells you there is a best and worst profit value (assuming continuity).
- If you’re minimizing material used for a container with constraints, EVT justifies that a minimum actually occurs.
EVT is also the logical justification behind the “Candidates Test” method you use to actually find absolute extrema on a closed interval.
How it works (and why the conditions matter)
EVT has two essential conditions:
- Continuity: If f has a jump, it can miss a maximum or minimum because values might approach something without reaching it.
- Closed interval [a,b]: Endpoints matter. Many functions fail to achieve extrema on open intervals even if they are continuous.
Examples of failure modes (important for conceptual understanding):
- Continuous but open interval: f(x)=x on (0,1) has no absolute minimum or maximum. Values get arbitrarily close to 0 and 1 but never equal them.
- Discontinuous on closed interval: a function with a vertical asymptote in [a,b] might not have an absolute max/min because it can blow up.
EVT is a guarantee of existence, not a method: it says extrema exist, but it doesn’t tell you where they are.
Worked example: Knowing when an absolute maximum is guaranteed
Consider f(x)=\frac{1}{x-1} on [0,2].
- The interval is closed.
- But f is **not continuous** on [0,2] because it is undefined at x=1.
So EVT does not apply, and indeed there is no absolute maximum or minimum: near x=1 the function increases or decreases without bound.
Contrast that with a polynomial like f(x)=x^3-3x on [-2,2]: polynomials are continuous everywhere, so EVT guarantees an absolute max and min exist on that interval.
What goes wrong (common issues)
A very common misconception is:
- “If a function is continuous, it must have an absolute max and min.”
Continuity alone is not enough; you also need the interval to be closed and bounded. Another common mistake is mixing up EVT (existence of absolute extrema) with methods for finding them (like setting f'(x)=0).
Exam Focus
- Typical question patterns:
- “Does f have an absolute maximum on [a,b]? Justify your answer.” (You cite EVT if continuity holds.)
- “Explain why an absolute max/min must exist on [a,b]” as a justification step before finding it.
- “Give an example where EVT fails because the interval is not closed or because f is not continuous.”
- Common mistakes:
- Forgetting that EVT requires a closed interval [a,b] (endpoints included).
- Claiming EVT applies when the function is undefined or discontinuous inside the interval.
- Thinking EVT tells you the extrema occur where f'(x)=0 (that’s not what EVT says).
Finding Absolute and Relative Extrema
Key definitions (what you’re trying to find)
Extrema come in two main types:
An absolute (global) maximum of f on a domain is the highest output value f achieves on that entire domain.
An absolute (global) minimum is the lowest output value.
A relative (local) maximum at x=c means f(c) is the largest value in some open interval around c (not necessarily the largest overall).
A relative (local) minimum at x=c means f(c) is the smallest value in some open interval around c.
A useful way to picture this: absolute extrema are the “highest/lowest points on the whole hike,” while relative extrema are “peaks/valleys in your immediate area.” A local peak might not be the highest point on the entire mountain range.
How derivatives point you to relative extrema
Derivatives measure slope. Relative extrema often occur at “turning points” where the function changes from increasing to decreasing or vice versa.
This leads to the idea of a critical number. A number c (in the domain of f) is a critical number if
f'(c)=0
or if f'(c) does not exist.
Critical numbers are important because relative extrema can only occur at critical numbers (or at endpoints if you are restricting to a closed interval). But be careful: being a critical number does not guarantee an extremum.
Increasing/decreasing and the sign of f'
To decide whether a critical number is actually a relative max/min, you look at the sign of the derivative:
- If f'(x)>0 on an interval, f is increasing there.
- If f'(x)
This naturally leads to the First Derivative Test idea:
- If f' changes from positive to negative at c, f has a relative maximum at c.
- If f' changes from negative to positive at c, f has a relative minimum at c.
- If f' does not change sign, there may be no extremum.
Even if your course emphasizes the Candidates Test for absolute extrema (next section), you still need the local-extrema logic to interpret graphs and justify conclusions.
Worked example 1: Relative extrema from derivatives
Let
f(x)=x^3-3x
Step 1: Find critical numbers.
f'(x)=3x^2-3=3(x^2-1)=3(x-1)(x+1)
Set f'(x)=0:
3(x-1)(x+1)=0
So critical numbers are x=-1 and x=1.
Step 2: Check sign changes of f'.
Choose test points:
- For x
- For -1
So f' changes
- from positive to negative at x=-1: relative maximum at x=-1.
- from negative to positive at x=1: relative minimum at x=1.
If you want the values:
f(-1)=(-1)^3-3(-1)=2
f(1)=1-3=-2
So relative max at (-1,2) and relative min at (1,-2).
Worked example 2: A critical point where f' does not exist
Let
f(x)=|x|
At x=0, f has a sharp corner, so f'(0) does not exist. That makes x=0 a critical number.
Check values near 0: for x
This example highlights an easy-to-miss fact: you can’t only search where f'(x)=0. You must also consider where f' is undefined (as long as f itself is defined there).
What goes wrong (common issues)
- Confusing relative and absolute extrema: A local maximum is not necessarily the highest value on the interval.
- Assuming f'(c)=0 means “max or min” automatically: It could be an inflection-type point (like f(x)=x^3 at x=0).
- Ignoring points where f' does not exist: Corners and cusps can host extrema.
- Forgetting domain restrictions: Extrema depend on the interval/domain you’re asked about.
Exam Focus
- Typical question patterns:
- “Find intervals where f is increasing/decreasing and identify relative extrema.”
- “Find the relative extrema of f on its domain” (requires critical numbers and sign analysis).
- Graph-based prompts: given the graph of f', determine where f has relative maxima/minima.
- Common mistakes:
- Listing critical numbers but not classifying them (no sign chart or reasoning).
- Calling endpoints “relative extrema” when the definition requires an open interval around the point.
- Missing a critical number where f' is undefined but f is defined.
Candidates Test for Absolute Extrema
What the Candidates Test is
The Candidates Test for Absolute Extrema is the standard calculus method for finding the absolute maximum and minimum of a continuous function on a closed interval [a,b].
It’s built on two facts working together:
- EVT guarantee: If f is continuous on [a,b], absolute max and min exist.
- Where extrema can occur: Absolute extrema on [a,b] can occur at
- endpoints x=a or x=b, or
- critical numbers in (a,b).
So the method is: identify all “candidate” x-values where an absolute extremum could happen, evaluate f at those points, and compare.
Why it matters
This is the workhorse procedure for optimization on a restricted interval. On the AP exam, it also shows up when you are asked to interpret graphs, justify absolute extrema, or compare values efficiently.
A major conceptual benefit: the test forces you not to overlook endpoints. Many absolute extrema occur at endpoints even when there are critical points inside the interval.
How to do it (step by step)
Assume you are working on a closed interval [a,b].
- Check continuity (often quick): If f is not continuous on [a,b], EVT doesn’t apply and the standard test may need modification.
- Find critical numbers in (a,b):
- Solve f'(x)=0.
- Include points where f'(x) does not exist, provided f(x) exists.
- Create the candidate list:
- Endpoints a and b.
- All critical numbers in (a,b).
- Evaluate f at every candidate.
- Compare the outputs:
- Largest value is the absolute maximum value.
- Smallest value is the absolute minimum value.
A small but important language point: absolute extrema are usually reported as both the x-location and the function value, for example “absolute maximum value is 7 at x=2.”
Worked example 1: Absolute extrema on a closed interval
Find the absolute maximum and minimum of
f(x)=x^3-3x
on [-2,2].
Step 1: Continuity check.
f is a polynomial, so it is continuous on [-2,2].
Step 2: Critical numbers.
We already computed
f'(x)=3x^2-3
Set equal to zero:
3x^2-3=0
x^2=1
Critical numbers: x=-1 and x=1 (both inside (-2,2)).
Step 3: Candidates (endpoints + critical numbers).
Candidates are x=-2, -1, 1, 2.
Step 4: Evaluate f.
f(-2)=(-2)^3-3(-2)=-8+6=-2
f(-1)=(-1)^3-3(-1)=-1+3=2
f(1)=1-3=-2
f(2)=8-6=2
Step 5: Compare values.
The maximum value is 2 (occurs at x=-1 and x=2). The minimum value is -2 (occurs at x=-2 and x=1).
This example is a good reminder that absolute extrema can occur at multiple points.
Worked example 2: An endpoint wins
Find the absolute extrema of
f(x)=\sqrt{x}
on [0,4].
Step 1: Continuity.
\sqrt{x} is continuous on [0,4].
Step 2: Derivative and critical numbers.
f'(x)=\frac{1}{2\sqrt{x}}
This derivative is never 0, but it does not exist at x=0. However, x=0 is an endpoint anyway, and endpoints are always candidates.
There are no interior critical numbers in (0,4).
Step 3: Candidates.
Just endpoints: x=0 and x=4.
Step 4: Evaluate.
f(0)=0
f(4)=2
So the absolute minimum is 0 at x=0, and the absolute maximum is 2 at x=4.
Subtle points students often miss
- Critical numbers must be in the interval: If you find a solution to f'(x)=0 at x=10 but your interval is [0,5], it is irrelevant.
- Include where f' is undefined: Corners, cusps, or vertical tangents can produce absolute extrema.
- Candidates Test is for absolute extrema on closed intervals: On open intervals, there may be no absolute max/min even if you find critical numbers.
Notation reference (helpful on exams)
| Idea | Common notation | Meaning |
|---|---|---|
| Absolute maximum point | x_{\max} | An x where the largest value occurs |
| Absolute maximum value | f(x_{\max}) or \max_{[a,b]} f | The largest output on [a,b] |
| Absolute minimum point | x_{\min} | An x where the smallest value occurs |
| Absolute minimum value | f(x_{\min}) or \min_{[a,b]} f | The smallest output on [a,b] |
| Critical number | c | A domain value where f'(c)=0 or f'(c) DNE |
Exam Focus
- Typical question patterns:
- “Find the absolute maximum and minimum values of f on [a,b].” (You must show candidates and comparisons.)
- “Given a graph of f' (or f), determine where absolute extrema occur on an interval.”
- Optimization prompts that end with “find the maximum/minimum value on the given interval.”
- Common mistakes:
- Forgetting to test endpoints (one of the most frequent errors).
- Reporting only x-values but not the corresponding maximum/minimum values, or vice versa.
- Listing points where f' is undefined even when f is also undefined there (those are not valid candidates unless the problem’s domain includes them).