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

SECTION 1

Historical Context & Motivation

The search for maximum and minimum values is one of the oldest problems in mathematics, predating formal calculus by centuries. Ancient Greek geometers, most notably Euclid and Apollonius, explored optimization in the context of geometric constructions—finding the shortest distance from a point to a line, or the largest rectangle inscribed in a given region. These problems hinted at a deeper principle: under the right conditions, extreme values must exist, and systematic methods can locate them.

The formal development of extrema theory required two mathematical revolutions. First, the invention of calculus by Newton and Leibniz in the late seventeenth century gave mathematicians the derivative as a tool for detecting where a function's rate of change vanishes. Second, the nineteenth-century rigorization of analysis—led by Bolzano and Weierstrass—clarified precisely when we can guarantee that maximum and minimum values exist. Together, these advances produced the Extreme Value Theorem and the theory of critical points that form the backbone of optimization in AP Calculus AB.

~300 BCE • Greek Optimization

Euclid and later Apollonius solve geometric extremum problems—shortest paths, maximum areas—using purely synthetic methods, establishing optimization as a central mathematical pursuit.

1684 • Leibniz Publishes Differential Calculus

Leibniz's paper introduces the notation dy/dx and demonstrates that extrema occur where the derivative equals zero, providing the first algorithmic approach to optimization.

1817 • Bolzano's Intermediate Value Theorem

Bernard Bolzano rigorously proves that continuous functions on closed intervals take every value between their endpoints, laying groundwork for existence theorems in analysis.

1861 • Weierstrass Proves the Extreme Value Theorem

Karl Weierstrass proves that any continuous function on a closed, bounded interval attains both an absolute maximum and an absolute minimum, completing the rigorous foundation for optimization theory.

The central question this lesson addresses is both practical and theoretical: When can we be certain that a function achieves its greatest and least values, and how do we find exactly where those extreme values occur? Answering this question requires understanding the interplay between continuity, closed intervals, and the derivative—concepts you will master in the sections that follow.

SECTION 2

Core Principles & Definitions

Before we can locate extreme values, we need a precise vocabulary that distinguishes between different types of extrema and the points where they may occur. The following foundational ideas organize the entire topic; each subsequent section of this lesson builds on them directly.

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 that interval. Both hypotheses—continuity and a closed interval—are essential.

Global (Absolute) Extrema

A value f(c) is the absolute maximum of f on an interval if f(c) ≥ f(x) for every x in that interval; similarly for the absolute minimum. These are the overall highest and lowest output values on the domain under consideration.

Local (Relative) Extrema

A value f(c) is a local maximum if f(c) ≥ f(x) for all x in some open interval around c; likewise for a local minimum. Local extrema describe peaks and valleys in the immediate neighborhood of a point, not necessarily the overall highest or lowest values.

Critical Points

A point c in the domain of f is a critical point if f′(c) = 0 or f′(c) does not exist. By Fermat's Theorem, every interior local extremum must occur at a critical point—though not every critical point yields a local extremum.

Candidates Test (Closed Interval Method)

To find the absolute extrema of a continuous function on [a, b]: (1) find all critical points in (a, b), (2) evaluate f at each critical point and at both endpoints a and b, (3) the largest value is the absolute maximum and the smallest is the absolute minimum.

✦

KEY TAKEAWAY

Think of a continuous function on a closed interval like a roller coaster that must start and end at fixed gates. Because the track is unbroken (continuous) and the ride has a definite beginning and end (closed interval), the coaster must reach a highest point and a lowest point somewhere along the track. Critical points are where the track levels off momentarily—those are the candidate locations for peaks and valleys—but the highest or lowest moment might also occur right at one of the gates (endpoints).

SECTION 3

Visual Explanation

The following diagram illustrates a continuous function on the closed interval [a, b], marking all critical points, local extrema, and the global (absolute) extrema. Studying the relationship between these features in a single picture is the fastest route to intuition about how the Extreme Value Theorem, critical points, and the closed interval method work together.

The curve represents a continuous function on [a, b]. The absolute maximum occurs at an interior critical point where f′ = 0. The local minimum at another critical point may or may not be the absolute minimum—you must compare its value with the endpoint values f(a) and f(b) to decide.

Notice several key features in the diagram. First, the function is continuous on the entire closed interval—no jumps, holes, or vertical asymptotes—which satisfies both hypotheses of the Extreme Value Theorem. Second, each interior extremum occurs at a point where the tangent line is horizontal, meaning f′ = 0; these are critical points. Third, the absolute maximum happens to coincide with one of those interior critical points, while the absolute minimum could be at an endpoint or at the local minimum—whichever yields the smallest output value. The closed interval method systematically compares all these candidates to identify the global extrema.

SECTION 4

Mathematical Framework

The formal statements below provide the rigorous foundation for everything in this lesson. Each theorem connects the derivative to the existence and location of extreme values, building from the guarantee of existence (EVT) through the mechanism of detection (Fermat's Theorem and critical points) to the algorithm for finding them (closed interval method).

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 of f on [a, b]. Both hypotheses—continuity of f and the interval being closed and bounded—are indispensable.

FERMAT'S THEOREM (CRITICAL POINT NECESSITY)

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

This theorem tells us where to look: local extrema in the interior of a domain can only occur at points where the derivative is zero or where the derivative fails to exist. The contrapositive is equally useful—if f′(c) ≠ 0, then c is not a local extremum.

CRITICAL POINT DEFINITION

c is a critical point of f ⟺ c ∈ dom(f) and (f′(c) = 0 or f′(c) does not exist).

Points where f′(c) = 0 are called stationary points; points where f′(c) does not exist (cusps, corners, vertical tangents) are also critical. Not every critical point produces an extremum—consider f(x) = x³ at x = 0.

CLOSED INTERVAL METHOD

Absolute max of f on [a, b] = max{ 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). The absolute minimum is determined analogously by taking the minimum of the same set of values. This method works because, by the EVT, the absolute extrema must exist, and by Fermat's Theorem, any interior extremum must be at a critical point—so the only remaining candidates are the endpoints.

⚠

Why Both Hypotheses of the EVT Matter

Drop continuity—consider f(x) = 1/x on [−1, 1], which is discontinuous at x = 0—and the function has no maximum or minimum on the interval. Drop the closed interval—consider f(x) = x on the open interval (0, 1)—and the function approaches 0 and 1 but never actually attains either value. Both hypotheses are truly necessary for the theorem's guarantee.

SECTION 5

Classifying Extrema & Critical Points

A critical point is a necessary condition for an interior extremum, but it is not sufficient. The derivative can be zero at a point of inflection (like x = 0 for f(x) = x³), or undefined at a cusp that turns out to be an extremum (like x = 0 for f(x) = |x|). The diagram below classifies the different behaviors that can occur at critical points and shows how they relate to local and global extrema.

Five scenarios at candidate points for extrema: a local maximum where f′ changes from positive to negative, a local minimum where f′ changes from negative to positive, an inflection point where f′ = 0 but no sign change occurs, a cusp where f′ does not exist, and endpoints which must always be evaluated.

Type of Point	Condition	Is It an Extremum?
Stationary point (f′(c) = 0)	f′ changes sign through c	Yes — local max if + → −; local min if − → +
Stationary point (f′(c) = 0)	f′ does NOT change sign	No — inflection point (e.g., x³ at x = 0)
Corner / cusp (f′(c) DNE)	f changes direction	Yes — e.g., \|x\| has a minimum at x = 0
Endpoint x = a or x = b	Always a candidate	Possibly — may be absolute max/min after comparison

Summary of candidate types for absolute extrema on [a, b]

SECTION 6

Worked Example: Closed Interval Method

Let us apply the closed interval method to a concrete function. We will find the absolute maximum and absolute minimum of f(x) = 2x³ − 3x² − 12x + 5 on the interval [−2, 4]. This polynomial is continuous everywhere, so the Extreme Value Theorem guarantees that both absolute extrema exist.

Find the absolute extrema of f(x) = 2x³ − 3x² − 12x + 5 on [−2, 4]

1
Step 1 — Verify EVT Hypotheses

f(x) = 2x³ − 3x² − 12x + 5 is a polynomial, hence continuous on all of ℝ. In particular, f is continuous on the closed interval [−2, 4]. The EVT applies, so absolute extrema are guaranteed to exist.
2
Step 2 — Find f′(x) and Solve f′(x) = 0

Differentiate: f′(x) = 6x² − 6x − 12. Factor: f′(x) = 6(x² − x − 2) = 6(x − 2)(x + 1). Setting f′(x) = 0 gives x = 2 and x = −1. Since f is a polynomial, f′ exists everywhere, so these are the only critical points.

Critical points: x = −1 and x = 2
3
Step 3 — Check That Critical Points Lie in (−2, 4)

Both x = −1 and x = 2 belong to the open interval (−2, 4), so both are candidates. If either critical point had fallen outside the interval, we would discard it.
4
Step 4 — Evaluate f at Critical Points and Endpoints

Compute: 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
5
Step 5 — Identify the Absolute Extrema

Comparing all four values: the largest is 37 at x = 4 (an endpoint), and the smallest is −15 at x = 2 (an interior critical point).

Absolute maximum: f(4) = 37. Absolute minimum: f(2) = −15.

💡

Exam Tip

On the AP exam, the absolute maximum occurred at an endpoint, not at an interior critical point. Many students assume the answer must come from setting f′ = 0, but the closed interval method requires you to compare all candidates—including endpoints. Never skip the endpoint evaluation.

SECTION 7

Global vs. Local Extrema — Strengths & Pitfalls

Understanding the distinction between global and local extrema is one of the most common sources of errors on the AP Calculus AB exam. Students frequently conflate a local maximum with the absolute maximum, or assume that every critical point must be an extremum. The comparison table below crystallizes the differences and helps you avoid the most frequent mistakes.

Feature	Global (Absolute) Extremum	Local (Relative) Extremum
Scope	Compared against all x in the entire domain or interval	Compared only against x in some small open interval around c
Existence guarantee	Guaranteed by EVT on closed intervals with continuous functions	Not guaranteed to exist; depends on the function's behavior
Location	Can occur at a critical point OR at an endpoint	Must occur at a critical point (interior of the domain)
Relationship	An absolute extremum that is interior is also a local extremum	A local extremum is NOT necessarily a global extremum
Finding method	Closed interval method: evaluate at all critical points and endpoints, compare	First or Second Derivative Test at each critical point

Comparison of global and local extrema

✦

KEY TAKEAWAY

Imagine surveying the elevation of every mountain in a national park. Each summit is a local maximum—higher than the surrounding terrain—but only the single tallest summit is the absolute maximum. Meanwhile, the park entrance (an endpoint) might sit in a deep valley that turns out to be the absolute minimum, even though it is not a 'valley between peaks' in the interior. Global extrema look at the whole park; local extrema look at individual mountains.

SECTION 8

Connection to Advanced Theory

The ideas in this lesson extend naturally into more advanced mathematics. In AP Calculus BC and multivariable calculus, optimization becomes richer and more complex, but the same core principle persists: identify candidates (critical points and boundary points), then evaluate and compare. Recognizing these connections now will help you see this lesson's content as the foundation for deeper work rather than an isolated topic.

Concept in AB	Extension in BC / Multivariable
Critical points where f′(c) = 0 or DNE	Critical points where ∇f = 0 (gradient vanishes) in multiple variables, introducing saddle points as a new possibility
Closed interval method on [a, b]	Lagrange multipliers for optimization on curves and surfaces with constraints, or evaluating f on the boundary of a closed region in ℝ²
First / Second Derivative Tests	Second Derivative Test using the Hessian matrix (a 2×2 determinant test for local max, local min, or saddle point)
EVT for continuous f on closed intervals	EVT generalized: continuous f on any compact (closed and bounded) set in ℝⁿ attains its extrema

How AB concepts extend to more advanced settings

Even within the scope of AB, the ideas in this lesson are indispensable prerequisites for the First Derivative Test, the Second Derivative Test, and all applied optimization problems (sometimes called "max-min word problems"). Whenever an FRQ asks you to justify that an absolute maximum or minimum exists, cite the Extreme Value Theorem by name and verify both hypotheses: continuity of the function and the interval being closed. This level of precision earns full justification credit on the AP exam.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

A function g is defined on the open interval (0, 5) and is known to be continuous. Does the Extreme Value Theorem guarantee that g attains an absolute maximum on (0, 5)?

A. Yes, because g is continuous
B. No, because the interval is not closed
C. No, because the interval is unbounded
D. Yes, because every continuous function on a bounded interval attains a maximum
E. It depends on whether g is differentiable on (0, 5)

Show answer (B)

The correct answer is B. The Extreme Value Theorem requires two hypotheses: (1) the function must be continuous, and (2) the interval must be closed and bounded. Here the interval (0, 5) is open, not closed, so the EVT does not apply. As a concrete example, g(x) = 1/x on (0, 5) is continuous but has no absolute maximum because g(x) → ∞ as x → 0⁺. Choice A is wrong because continuity alone is insufficient. Choice C is wrong because openness is the specific problem, not unboundedness. Choice D is wrong because the function may still have a maximum in some cases—the point is that the theorem does not guarantee it. Choice E is wrong because the EVT never applies to open intervals regardless of the function's differentiability.

Question 2: BASIC CALCULATION

Find all critical points of f(x) = x³ − 6x² + 9x + 2.

A. x = 1 only
B. x = 3 only
C. x = 1 and x = 3
D. x = 0, x = 1, and x = 3
E. There are no critical points

Show answer (C)

The correct answer is C. Differentiate: f′(x) = 3x² − 12x + 9 = 3(x² − 4x + 3) = 3(x − 1)(x − 3). Setting f′(x) = 0 gives x = 1 and x = 3. Since f is a polynomial, f′ exists everywhere, so there are no additional critical points where f′ DNE. Choice A (x = 1 only) misses the factor (x − 3). Choice B (x = 3 only) misses the factor (x − 1). Choice D includes x = 0, which is not a zero of f′. Choice E is wrong because the polynomial has a factorable derivative with real roots.

Question 3: INTERMEDIATE

Find the absolute maximum and absolute minimum values of f(x) = x⁴ − 8x² + 3 on [−3, 1].

A. Absolute max = −13, Absolute min = 12
B. Absolute max = 12, Absolute min = −13, occurring at x = 2
C. Absolute max = 3, Absolute min = −4
D. Absolute max = 12, Absolute min = −13
E. Absolute max = 12, Absolute min = −4

Show answer (D)

The correct answer is D. Step 1: f′(x) = 4x³ − 16x = 4x(x² − 4) = 4x(x − 2)(x + 2). Setting f′(x) = 0 gives x = 0, x = 2, and x = −2. Step 2: Only x = 0 and x = −2 lie in (−3, 1); x = 2 is outside the interval. Step 3: Evaluate: f(−3) = 81 − 72 + 3 = 12; f(−2) = 16 − 32 + 3 = −13; f(0) = 0 − 0 + 3 = 3; f(1) = 1 − 8 + 3 = −4. Step 4: The largest value is 12 and the smallest is −13. Choice A reverses maximum and minimum. Choice B incorrectly includes the critical point x = 2 that lies outside the interval. Choice C gives incorrect function evaluations. Choice E gives the wrong minimum value.

Question 4: APPLIED

5 pts

A particle moves along the x-axis with position x(t) = t³ − 12t + 5 for 0 ≤ t ≤ 4. (a) Find all critical points of x(t) on the open interval (0, 4). (b) Determine the absolute maximum and absolute minimum positions of the particle on [0, 4]. (c) At what time does the particle reach its leftmost position? (d) Justify why the Extreme Value Theorem guarantees the existence of these absolute extrema.

Show answer

(a) [1 point] x′(t) = 3t² − 12 = 3(t² − 4) = 3(t − 2)(t + 2). Setting x′(t) = 0 gives t = 2 and t = −2. Only t = 2 lies in (0, 4), so the only critical point is t = 2. (b) [2 points] Evaluate x at the critical point and endpoints: x(0) = 0 − 0 + 5 = 5; x(2) = 8 − 24 + 5 = −11; x(4) = 64 − 48 + 5 = 21. The absolute maximum position is x = 21 at t = 4, and the absolute minimum position is x = −11 at t = 2. [1 point for correct evaluations, 1 point for correct identification of max and min.] (c) [1 point] The leftmost position corresponds to the absolute minimum of x(t), which is x = −11 at t = 2. (d) [1 point] The function x(t) = t³ − 12t + 5 is a polynomial, so it is continuous on [0, 4]. Since x(t) is continuous on a closed interval, the Extreme Value Theorem guarantees that x(t) attains both an absolute maximum and an absolute minimum on [0, 4].

Question 5: CRITICAL THINKING

3 pts

Let f be a function that is continuous on [0, 6] and differentiable on (0, 6). Suppose f(0) = 3, f(6) = 3, and f has exactly two critical points in (0, 6), at x = 2 and x = 5, with f(2) = 7 and f(5) = −1. (a) What are the absolute maximum and absolute minimum of f on [0, 6]? Justify your answer. (b) Must f have a local minimum at x = 5? Explain using the definition of local extrema and the information given. (c) Explain why f must have at least one zero on the interval (0, 6).

Show answer

(a) [1 point] By the EVT, since f is continuous on [0, 6], f attains an absolute max and min on this interval. The candidates are the endpoints and critical points: f(0) = 3, f(2) = 7, f(5) = −1, f(6) = 3. The absolute maximum is 7 at x = 2, and the absolute minimum is −1 at x = 5. (b) [1 point] Since x = 5 is the only critical point on the interval (2, 6), and f(2) = 7 > f(5) = −1 < f(6) = 3, the function decreases into x = 5 and increases out of x = 5. Therefore f(5) ≤ f(x) for all x in a sufficiently small open interval around x = 5, which is the definition of a local minimum. Yes, f must have a local minimum at x = 5. (c) [1 point] Since f(5) = −1 < 0 and f(6) = 3 > 0, and f is continuous on [5, 6], the Intermediate Value Theorem guarantees that there exists at least one c in (5, 6) such that f(c) = 0. Therefore f has at least one zero on (0, 6).

SUMMARY

Summary & Key Takeaways

Summary

The Extreme Value Theorem guarantees that a continuous function on a closed interval [a, b] attains both an absolute maximum and an absolute minimum. Critical points—where f′(c) = 0 or f′(c) does not exist—are the only interior candidates for extrema by Fermat's Theorem. Local extrema describe peaks and valleys relative to nearby points, while global extrema are the overall highest and lowest values on the entire interval.

The closed interval method is the systematic algorithm: find all critical points in the interior, evaluate f at those points and at both endpoints, then select the largest and smallest values. Remember that a critical point is necessary but not sufficient for an extremum—inflection points where f′ = 0 but the derivative does not change sign are critical points that do not produce extrema. On the AP exam, always verify both hypotheses of the EVT before applying it, and never forget to evaluate endpoints when finding absolute extrema on a closed interval.