Extreme Value Theorem, Global Versus Local Extrema, and Critical Points - AP Calculus BC

SECTION 1

Historical Context & Motivation

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.

~300 BCE • Euclid & Isoperimetric Problems

Greek mathematicians investigated which shapes maximize area for a given perimeter, anticipating the optimization questions that would later motivate calculus-based extrema analysis.

1665–1676 • Newton & Leibniz Develop Calculus

The invention of differential calculus provided the tool of the derivative, enabling Fermat's earlier insight—that tangent lines at extrema are horizontal—to be formalized algebraically.

1817 • Bolzano's Contributions to Continuity

Bernard Bolzano rigorously defined continuity and proved the Intermediate Value Theorem, laying the groundwork for the analytical framework needed to state the EVT precisely.

1861 • Weierstrass Proves the Extreme Value Theorem

Karl Weierstrass provided the ε-δ foundations of analysis and proved that a continuous function on a closed, bounded interval attains both a global maximum and a global minimum.

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.

SECTION 2

Core Principles & Definitions

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.

Global (Absolute) Extrema

A function f has a global maximum at c if f(c) ≥ f(x) for every x in the domain. Similarly, f has a global minimum at c if f(c) ≤ f(x) for all x in the domain. These are the largest and smallest values the function ever attains.

Local (Relative) Extrema

A function f has a local maximum at c if f(c) ≥ f(x) for all x in some open interval containing c. A local minimum is defined analogously. Local extrema describe peaks and valleys within a neighborhood, not necessarily over the entire domain.

Critical Points

A number c in the domain of f is a critical point if f′(c) = 0 or if f′(c) does not exist. By Fermat's theorem, every local extremum of a differentiable function occurs at a critical point, making these the primary candidates when searching for extrema.

The Extreme Value Theorem (EVT)

If f is continuous on a closed interval [a, b], then f attains both an absolute maximum and an absolute minimum on [a, b]. Continuity and the closed-bounded nature of the interval are both indispensable hypotheses.

Closed Interval Method

To find global extrema on [a, b]: (1) find all critical points in (a, b), (2) evaluate f at each critical point and at the endpoints a and b, and (3) compare. The largest value is the global maximum; the smallest is the global minimum.

✦

KEY TAKEAWAY

Think of hiking a trail between two fixed trailheads (the endpoints of a closed interval). If the trail has no gaps or jumps (continuity), you are guaranteed to reach a highest point and a lowest point somewhere along the path. The critical points are the spots where the trail momentarily levels off—where the slope of the ground is zero or undefined. To find the overall highest and lowest elevations, you check every flat spot along the trail plus both trailheads, then compare.

SECTION 3

Visual Explanation

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.

The cyan curve represents a continuous function on the closed interval [a, b]. The points c₁, c₂, and c₃ are critical points where f′ = 0. The global maximum occurs at c₃ and the global minimum at the right endpoint b, illustrating that global extrema can occur at either critical points or endpoints.

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.

SECTION 4

Mathematical Framework

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.

EXTREME VALUE THEOREM

If f is continuous on [a, b], then there exist c, d ∈ [a, b] such that f(c) ≤ f(x) ≤ f(d) for all x ∈ [a, b].

Here f(c) is the absolute minimum and f(d) is the absolute maximum. Both hypotheses—continuity and the closed, bounded interval—are essential. Removing either one can produce a function with no maximum or minimum.

FERMAT'S THEOREM

If f has a local extremum at c and f′(c) exists, then f′(c) = 0.

The contrapositive is equally important: if f′(c) ≠ 0, then f does not have a local extremum at c. However, f′(c) = 0 does not guarantee an extremum—consider f(x) = x³ at x = 0.

DEFINITION OF CRITICAL POINT

c is a critical point of f if c is in the domain of f and either f′(c) = 0 or f′(c) does not exist.

Points where f′(c) = 0 are sometimes called stationary points. Points where the derivative does not exist—such as corners, cusps, or vertical tangents—are also critical points and must not be overlooked.

CLOSED INTERVAL METHOD

Global max/min of f on [a, b] = max/min{ f(c₁), f(c₂), …, f(cₙ), f(a), f(b) }

where c₁, c₂, …, cₙ are all critical points of f in the open interval (a, b). This method is exhaustive because Fermat's theorem guarantees that any interior extremum must be a critical point, and the endpoints handle the boundary.

⚠

Why Both Hypotheses Matter

Consider f(x) = 1/x on (0, 1]: the interval is not closed, and f has no maximum since f → ∞ as x → 0⁺. Now consider g(x) = x on [0, 1] with g(½) redefined to 5: the function is discontinuous, and the "maximum" is an isolated spike. Both examples show the EVT fails when its hypotheses are violated.

SECTION 5

Classifying Critical Points & Extrema

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.

Three panels showing the behavior of a function at a critical point. Left: f′ changes from positive to negative, producing a local maximum (concave down). Center: f′ changes from negative to positive, producing a local minimum (concave up). Right: f′ does not change sign—the horizontal tangent is an inflection point, not an extremum.

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

Summary of the First and Second Derivative Tests for classifying critical points

SECTION 6

Worked Example

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.

Finding Global Extrema on [−2, 4]

1
Step 1 — Verify EVT Hypotheses

The function f(x) = 2x³ − 3x² − 12x + 5 is a polynomial, so it is continuous on all of ℝ. In particular, f is continuous on the closed interval [−2, 4]. The Extreme Value Theorem therefore guarantees that f attains both an absolute maximum and an absolute minimum on [−2, 4].
2
Step 2 — Find Critical Points

Differentiate: f′(x) = 6x² − 6x − 12. Set f′(x) = 0 and solve: 6x² − 6x − 12 = 0 → x² − x − 2 = 0 → (x − 2)(x + 1) = 0. The critical points are x = 2 and x = −1. Since f′ is defined everywhere (it is a polynomial), there are no additional critical points from non-existence of the derivative. Both x = −1 and x = 2 lie in the open interval (−2, 4), so both are candidates.

Critical points: x = −1, x = 2
3
Step 3 — Evaluate f at Critical Points and Endpoints

We evaluate f at x = −2, −1, 2, and 4. f(−2) = 2(−8) − 3(4) − 12(−2) + 5 = −16 − 12 + 24 + 5 = 1. f(−1) = 2(−1) − 3(1) − 12(−1) + 5 = −2 − 3 + 12 + 5 = 12. f(2) = 2(8) − 3(4) − 12(2) + 5 = 16 − 12 − 24 + 5 = −15. f(4) = 2(64) − 3(16) − 12(4) + 5 = 128 − 48 − 48 + 5 = 37.

f(−2) = 1, f(−1) = 12, f(2) = −15, f(4) = 37
4
Step 4 — Compare and Identify Global Extrema

Comparing the four values: the largest is f(4) = 37 and the smallest is f(2) = −15. Therefore, the global maximum is 37, occurring at the right endpoint x = 4, and the global minimum is −15, occurring at the critical point x = 2.

Global maximum: f(4) = 37; Global minimum: f(2) = −15
5
Step 5 — Classify the Local Extrema (Bonus)

For completeness, apply the Second Derivative Test: f″(x) = 12x − 6. At x = −1: f″(−1) = −18 < 0, confirming a local maximum. At x = 2: f″(2) = 18 > 0, confirming a local minimum. The local maximum value f(−1) = 12 is not the global maximum because the endpoint value f(4) = 37 is larger.

SECTION 7

Common Pitfalls & Misconceptions

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.

Common pitfalls when working with extrema and critical points

🎯

EXAM STRATEGY

On the AP exam, free-response questions about extrema almost always require you to justify your answer. Merely stating "f has a maximum at x = 3" is insufficient. You must cite the theorem or test you are using: for instance, "Since f is continuous on [1, 5] and f′(3) = 0 with f″(3) < 0, f has a local maximum at x = 3. Comparing f(1), f(3), and f(5), the global maximum is f(3) = 17." The justification is often worth as many rubric points as the computation.

SECTION 8

Connections to Advanced Topics

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)

How concepts from this lesson extend to more advanced settings

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.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

A function f is defined on the interval (0, 5) and is continuous on (0, 5). A student claims that by the Extreme Value Theorem, f must attain an absolute maximum on (0, 5). Which of the following best explains why the student's reasoning is flawed?

A. The function must also be differentiable for the EVT to apply.
B. The EVT requires the interval to be closed and bounded; (0, 5) is open, so the theorem does not apply.
C. The EVT only guarantees a minimum, not a maximum.
D. The EVT requires the function to be a polynomial.
E. The function must have at least one critical point for the EVT to apply.

Show answer (B)

The correct answer is (B). The Extreme Value Theorem requires two hypotheses: (1) f is continuous, and (2) the domain is a closed, bounded interval [a, b]. The interval (0, 5) is open, so the theorem does not apply. For example, f(x) = 1/x on (0, 5) is continuous but has no absolute maximum since f → ∞ as x → 0⁺. (A) is wrong because differentiability is not a hypothesis of the EVT. (C) is wrong because the EVT guarantees both a maximum and a minimum. (D) is wrong because the EVT applies to any continuous function, not just polynomials. (E) is wrong because the EVT does not require the existence of critical points—it only requires continuity on a closed interval.

Question 2: BASIC CALCULATION

Let f(x) = x³ − 6x² + 9x + 2 on [0, 4]. What is the absolute minimum value of f on this interval?

A. 2
B. 6
C. −2
D. 0
E. −6

Show answer (A)

The correct answer is (A). First, find critical points: f′(x) = 3x² − 12x + 9 = 3(x² − 4x + 3) = 3(x − 1)(x − 3), so f′(x) = 0 at x = 1 and x = 3. Both lie in (0, 4). Evaluate: f(0) = 2, f(1) = 1 − 6 + 9 + 2 = 6, f(3) = 27 − 54 + 27 + 2 = 2, f(4) = 64 − 96 + 36 + 2 = 6. The minimum value is 2, attained at both x = 0 and x = 3. (B) is the maximum value (attained at x = 1 and x = 4). (C), (D), and (E) do not correspond to any of the computed function values.

Question 3: INTERMEDIATE

Let g(x) = x²⸍³(x − 5) on [−1, 5]. Which of the following correctly identifies all critical points of g in the open interval (−1, 5)?

A. x = 0 only
B. x = 2 only
C. x = 0 and x = 2
D. x = 0 and x = 5
E. x = 2 and x = 5

Show answer (C)

The correct answer is (C). Write g(x) = x²⸍³(x − 5) = x⁵⸍³ − 5x²⸍³. Then g′(x) = (5/3)x²⸍³ − (10/3)x⁻¹⸍³ = (5x − 10)/(3x¹⸍³). Setting the numerator equal to zero gives 5x − 10 = 0, so x = 2. The denominator is zero when x = 0, so g′(0) does not exist, but g(0) = 0 is defined, making x = 0 a critical point as well. Thus the critical points in (−1, 5) are x = 0 and x = 2. (A) misses x = 2. (B) misses x = 0. (D) includes x = 5, which is an endpoint, not an interior critical point. (E) also includes x = 5 and misses x = 0.

Question 4: APPLIED

5 pts

A particle moves along a straight line with velocity v(t) = t³ − 6t² + 9t for 0 ≤ t ≤ 4, where v is measured in meters per second and t is measured in seconds. (a) Find all critical points of v on the open interval (0, 4). (b) Using the Closed Interval Method, find the absolute maximum and absolute minimum values of v on [0, 4]. (c) Determine the time(s) at which the particle's speed is greatest on [0, 4]. Justify your answer.

Show answer

Rubric (5 points): [1 point] (a) Finding critical points: v′(t) = 3t² − 12t + 9 = 3(t − 1)(t − 3). Setting v′(t) = 0 gives t = 1 and t = 3. Both lie in (0, 4), so the critical points are t = 1 and t = 3. [1 point] (b) Evaluating v at critical points and endpoints: v(0) = 0, v(1) = 1 − 6 + 9 = 4, v(3) = 27 − 54 + 27 = 0, v(4) = 64 − 96 + 36 = 4. [1 point] (b) Identifying the absolute extrema: The absolute maximum value of v is 4, attained at t = 1 and t = 4. The absolute minimum value of v is 0, attained at t = 0 and t = 3. [1 point] (c) Recognizing that speed = |v(t)| and that since all values of v on [0, 4] are ≥ 0 (the absolute minimum of v is 0), speed equals v(t) on this interval. [1 point] (c) Concluding with justification: Since speed = |v(t)| = v(t) on [0, 4], the maximum speed is 4 m/s, occurring at t = 1 and t = 4. By the EVT applied to the continuous function v on the closed interval [0, 4], these are the global maximum values.

Question 5: CRITICAL THINKING

3 pts

Let f be a continuous function on [−3, 3] such that f has exactly two critical points, at x = −1 and x = 1, with f(−3) = 2, f(−1) = 5, f(1) = −1, and f(3) = 4. A student claims that f must have a local minimum at x = 1 and a local maximum at x = −1. Is the student's claim necessarily true? Justify your reasoning carefully.

Show answer

Rubric (3 points): [1 point] The claim that f has a local maximum at x = −1 is justified: Since f has exactly two critical points and f is continuous, on the subinterval (−3, 1) the only critical point is x = −1. Because f(−3) = 2 < 5 = f(−1) and f(1) = −1 < 5 = f(−1), and f is continuous with no other critical points between −3 and 1, f must increase toward x = −1 and then decrease after it. By the First Derivative Test, f has a local maximum at x = −1. [1 point] The claim that f has a local minimum at x = 1 is justified: Similarly, on the subinterval (−1, 3) the only critical point is x = 1. Because f(−1) = 5 > −1 = f(1) and f(3) = 4 > −1 = f(1), f decreases toward x = 1 and increases afterward. By the First Derivative Test, f has a local minimum at x = 1. [1 point] Conclusion with complete justification: Yes, the student's claim is necessarily true. With only two critical points in (−3, 3) and the given function values showing f(−1) is greater than both neighboring evaluated values while f(1) is less than both neighboring evaluated values, the First Derivative Test confirms a local max at x = −1 and a local min at x = 1. Additionally, f(−1) = 5 is the global maximum and f(1) = −1 is the global minimum on [−3, 3] by the Closed Interval Method.

SUMMARY

Lesson Summary

Summary

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.