Extreme Value Theorem

The Extreme Value Theorem (EVT) is one of the foundational results in calculus, guaranteeing that every continuous function on a closed, bounded interval attains both a maximum value and a minimum value somewhere on that interval. In other words, if you can draw the graph of a function without lifting your pencil on a closed interval [a, b], you are guaranteed that the graph reaches a highest point and a lowest point — no exceptions. This theorem transforms the search for extrema from a hopeful hunt into a guaranteed mission. Understanding the EVT requires paying close attention to its two key hypotheses: the function must be continuous, and the interval must be closed (including both endpoints). If either condition is violated, the conclusion can fail. For example, the function f(x) = 1/x on the open interval (0, 1) is continuous there but has no maximum value because it grows without bound as x approaches 0. Similarly, a function with a jump discontinuity on [a, b] might 'skip over' its would-be maximum. The EVT tells us precisely when we are safe from such failures. In practical terms, the Extreme Value Theorem is the reason we can confidently apply optimization techniques — such as testing critical points and endpoints — to find the absolute maximum and minimum of a continuous function on a closed interval. Without the EVT, we would never know whether an extremum actually exists before we start searching. The theorem provides the existence guarantee; other tools such as Fermat's Theorem and the First or Second Derivative Tests then help us locate where those extrema occur.

Key takeaways
  • State the Theorem Precisely
  • Verify the Hypotheses
  • Understand Why Closed Intervals Matter
  • Understand Why Continuity Matters
  • Applying the EVT to Find Absolute Extrema

State the Theorem Precisely

If f is continuous on the closed interval [a, b], then there exist numbers c and d in [a, b] such that f(c) ≥ f(x) for all x in [a, b] (absolute maximum at c) and f(d) ≤ f(x) for all x in [a, b] (absolute minimum at d). Both c and d must actually lie in [a, b], meaning the extreme values are attained, not merely approached.

Verify the Hypotheses

Before applying the EVT, check two things: (1) Is the interval closed? A closed interval [a, b] includes its endpoints a and b. An open interval (a, b) or a half-open interval does not satisfy this requirement. (2) Is the function continuous on the entire closed interval [a, b]? Continuity means no holes, jumps, or vertical asymptotes anywhere on [a, b]. If both conditions hold, the EVT guarantees extrema exist.

Understand Why Closed Intervals Matter

On an open interval, extreme values might exist at boundary points that are excluded. For instance, f(x) = x on (0, 1) approaches but never reaches 1, so no maximum is attained. On [0, 1], however, f(0) = 0 is the minimum and f(1) = 1 is the maximum — both are attained. The 'closed' condition prevents the function from approaching an extreme value without ever reaching it.

Understand Why Continuity Matters

Consider g(x) = x for 0 ≤ x < 1 and g(1) = 0. This function has a jump discontinuity at x = 1 on [0, 1]. The values of g approach 1 near x = 1 but never reach 1 (since g(1) = 0), so no maximum is attained. Continuity ensures the function cannot 'jump away' from a value it is approaching, which is what guarantees the extreme value is actually reached.

Applying the EVT to Find Absolute Extrema

Once the EVT guarantees extrema exist, use this procedure: (1) Find all critical numbers — points in (a, b) where f'(x) = 0 or f'(x) is undefined. (2) Evaluate f at each critical number and at both endpoints a and b. (3) Compare all these function values. The largest value is the absolute maximum; the smallest is the absolute minimum. The EVT guarantees this finite list always contains the answer.

The Key Equation

∃ c,d∈[a,b] such that f(d)≤f(x)≤f(c)∀ x∈[a,b]\exists\, c, d \in [a,b] \text{ such that } f(d) \leq f(x) \leq f(c) \quad \forall\, x \in [a,b]
  • f — Function (dimensionless): A real-valued function that must be continuous on the entire closed interval [a, b].
  • [a,b] — Closed Interval (dimensionless): A bounded interval of real numbers including both endpoints a and b; written a ≤ x ≤ b.
  • c — Location of Absolute Maximum (dimensionless): An x-value in [a, b] at which f attains its largest output value over the entire interval.
  • d — Location of Absolute Minimum (dimensionless): An x-value in [a, b] at which f attains its smallest output value over the entire interval.
  • \exists — Existential Quantifier (dimensionless): Symbol meaning 'there exists at least one'; the EVT asserts existence without telling us how to find c or d.

Worked Example

Problem. Find the absolute maximum and absolute minimum values of f(x) = 2x³ − 3x² − 12x + 4 on the closed interval [−2, 3].

fmax⁡=f(−1)=11,fmin⁡=f(2)=−16f_{\max} = f(-1) = 11, \quad f_{\min} = f(2) = -16

Answer. Absolute maximum: 11 at x = −1; Absolute minimum: −16 at x = 2

Figure
Diagram
Extreme Value Theorem on [a, b]xymaxminabcdf continuous on [a,b] ⟹ absolute max at c, absolute min at df(a)f(b)
Origins · 1 minKarl Weierstrass and how this was discovered
KW
Karl Weierstrass
1815–1897 · German

Karl Weierstrass provided the first rigorous proof of the Extreme Value Theorem as part of his systematic effort to place all of analysis on a firm logical foundation. His work in the 1860s–1870s introduced the modern epsilon-delta definition of continuity and limits, replacing the informal geometric intuitions of earlier mathematicians. The EVT is sometimes called the Weierstrass Extreme Value Theorem in his honor. His proof rested on the completeness of the real numbers — the property that every bounded sequence has a convergent subsequence — making the result airtight. Weierstrass famously stunned the mathematical world in 1872 by constructing a function that is continuous everywhere but differentiable nowhere — a 'pathological' curve that looks smooth yet has no well-defined slope at any point, forever changing intuitions about what continuous functions can look like.

  • Critical Points — The EVT guarantees absolute extrema exist; critical points (where f'(x) = 0 or undefined) are the interior candidates where those extrema can occur, making them the natural next step after applying the theorem.
  • Fermat's Theorem — Fermat's Theorem states that if f has a local extremum at an interior point c and f is differentiable there, then f'(c) = 0. It works alongside the EVT: the EVT says extrema exist; Fermat's Theorem tells us where interior ones must be located.
  • Closed Interval Method — The closed interval method is the direct algorithmic application of the Extreme Value Theorem: evaluate f at all critical numbers and endpoints, then compare to identify absolute extrema guaranteed by the EVT.
  • Continuity of Functions — Continuity is the essential hypothesis of the EVT. Understanding what it means for a function to be continuous — and recognizing discontinuities — is required to correctly decide whether the theorem applies.
  • Mean Value Theorem — Like the EVT, the Mean Value Theorem requires continuity on [a, b] and differentiability on (a, b). Both are existence theorems that guarantee certain values must be achieved without directly telling you how to find them.