Opening subject page...
Loading your content
Understanding how continuity and differentiability guarantee extreme values and how critical points locate them.
The study of maxima and minima is among the oldest threads in calculus, reaching back to antiquity when Greek geometers sought the largest area enclosed by a fixed perimeter. The modern analytic treatment, however, crystallized over several centuries as mathematicians replaced geometric intuition with the language of limits, derivatives, and rigorous proof. The Extreme Value Theorem (EVT) stands as one of the great existence theorems of real analysis: it does not tell you where a function attains its maximum and minimum, only that such values must exist under certain hypotheses. This guarantee powers optimization problems across engineering, economics, and the natural sciences.
With Weierstrass's theorem in hand, a natural question arises: given a continuous function on a closed interval, how do we actually locate the global extrema? The answer lies in the concept of critical points—values of x where the derivative vanishes or fails to exist—and the systematic comparison of function values at those points and the interval's endpoints. This lesson develops all three ideas in concert.
Before diving into computations, it is essential to establish precise definitions. The language of extrema involves distinguishing between behavior on an entire domain versus behavior in a small neighborhood, as well as understanding the role that the derivative plays in flagging potential extrema. The following foundational ideas form the conceptual bedrock of this topic.
The following diagram illustrates a continuous function on the closed interval [a, b], highlighting the distinction between global and local extrema. Observe how the global maximum and global minimum occur among the critical points and endpoints, while local extrema represent peaks and valleys in smaller neighborhoods.
Notice a crucial subtlety in the diagram: a global extremum need not occur at a critical point. The global minimum in this example is located at the endpoint b, where the derivative is not zero. This is precisely why the Closed Interval Method requires you to evaluate f at the endpoints in addition to the critical points. Also observe that c₁ is a local maximum but not a global maximum—it is the highest point in its immediate neighborhood but not the highest point on the entire interval. The distinction between local and global is one of scope: local extrema describe behavior in a small open subinterval, while global extrema characterize the function's behavior across its full domain.
We now formalize the key statements and connect them through the logical chain that makes the Closed Interval Method work. The three pillars are: (1) the precise statement of the Extreme Value Theorem, (2) Fermat's theorem linking local extrema to critical points, and (3) the algorithmic procedure for finding global extrema on a closed interval.
Finding critical points is only half the battle; you must also classify each one. Three common scenarios arise at a critical point c: the function may have a local maximum, a local minimum, or neither (an inflection point with a horizontal tangent). Two standard tests help determine which case applies.
| Test | Condition | Conclusion |
|---|---|---|
| First Derivative Test | f′ changes from + to − at c | Local maximum at c |
| First Derivative Test | f′ changes from − to + at c | Local minimum at c |
| First Derivative Test | f′ does not change sign at c | No extremum at c |
| Second Derivative Test | f′(c) = 0 and f″(c) < 0 | Local maximum at c |
| Second Derivative Test | f′(c) = 0 and f″(c) > 0 | Local minimum at c |
| Second Derivative Test | f′(c) = 0 and f″(c) = 0 | Inconclusive; use First Derivative Test |
Let us apply the Closed Interval Method to find the global maximum and global minimum of f(x) = 2x³ − 3x² − 12x + 5 on the interval [−2, 4]. This polynomial is continuous everywhere, so the EVT guarantees that global extrema exist on this closed interval.
Students frequently lose AP exam points not because they cannot differentiate, but because they misapply the theorems or make logical errors in their reasoning about extrema. The table below catalogs the most common mistakes and their corrections.
| Pitfall | Why It's Wrong | Correct Approach |
|---|---|---|
| Assuming f′(c) = 0 guarantees an extremum at c | f(x) = x³ has f′(0) = 0 but no extremum at x = 0; the derivative does not change sign. | Always verify with the First or Second Derivative Test after finding critical points. |
| Forgetting to check endpoints | Global extrema on a closed interval can occur at endpoints, not just at critical points. | Always evaluate f at both a and b in the Closed Interval Method. |
| Applying EVT on an open interval or to a discontinuous function | The EVT requires both continuity and a closed, bounded interval. On (a, b), extrema may not be attained. | Check hypotheses before invoking EVT. If the interval is open or f is discontinuous, the theorem does not apply. |
| Ignoring critical points where f′ DNE | Corners (e.g., |x| at x = 0) and cusps produce extrema where the derivative does not exist. | Include all points where f′ is undefined (but f is defined) in your critical point list. |
| Confusing local and global extrema | A local maximum is the highest in a neighborhood; the global maximum is the highest overall. They may or may not coincide. | Be precise with language. On AP FRQs, state clearly whether an extremum is local or global. |
The ideas of extrema and critical points extend well beyond closed-interval optimization. In the AP Calculus BC curriculum, they connect directly to several advanced topics: optimization problems with constraints, analysis of particle motion, and the behavior of parametric and polar curves. In multivariable calculus, critical points generalize to points where the gradient vector equals zero, and the Second Derivative Test becomes a test involving the Hessian matrix. Understanding the single-variable foundation deeply is the gateway to these higher-dimensional analogues.
| This Lesson | Advanced Extension |
|---|---|
| Critical points where f′(c) = 0 or f′(c) DNE | Critical points where ∇f = 0 in multivariable calculus; saddle points as a new non-extremum type |
| Second Derivative Test: f″(c) > 0 or f″(c) < 0 | Hessian determinant test: D = f_xx f_yy − (f_xy)² determines max, min, or saddle |
| Closed Interval Method on [a, b] | Lagrange multipliers for optimization on constrained domains in higher dimensions |
| EVT: continuous on closed, bounded interval ⟹ attains max/min | Generalized EVT: continuous on a compact set ⟹ attains max/min (topology) |
| Local extrema of y = f(x) | Extrema of arc length, curvature, and speed for parametric curves (BC-specific) |
Within the AP BC exam itself, the ideas from this lesson appear frequently in questions on optimization (setting up a function from a geometric or physical context and finding its global maximum or minimum), related rates problems where you must determine when a rate is at its peak, and the analysis of functions defined by integrals such as g(x) = ∫₀ˣ f(t) dt, where the critical points of g correspond to the zeros of f. Mastery of the Closed Interval Method and the derivative tests provides the toolkit for all these problem types.
The Extreme Value Theorem guarantees that a continuous function on a closed, bounded interval [a, b] attains both a global maximum and a global minimum. A global (absolute) extremum is the largest or smallest function value on the entire domain, while a local (relative) extremum is the largest or smallest value in some open neighborhood of a point. Every local extremum of a function occurs at a critical point—a point where f′ = 0 or f′ does not exist—by Fermat's theorem.
The Closed Interval Method operationalizes the EVT: find all critical points in (a, b), evaluate f at each critical point and at both endpoints, then compare. To classify critical points, use the First Derivative Test (checks sign change of f′) or the Second Derivative Test (checks concavity via f″). Remember: a critical point is a candidate for an extremum, not a guarantee—always verify with a test and always check the EVT hypotheses before applying the theorem.