Skip to content

Mathematics · Ch 12 — Application of Derivatives

Maximum and Minimum Values of a Function in a Closed Interval

12.4.1

Maximum and Minimum Values of a Function in a Closed Interval

6.4.1 Maximum and Minimum Values of a Function in a Closed Interval

Why the Interval Matters

Consider f(x)=x+2f(x) = x + 2 on the open interval (0,1)(0, 1). It is continuous there yet has neither a maximum nor a minimum value (and no local extremum either): the values approach 22 as x→0+x \to 0^+ and 33 as x→1−x \to 1^-, but the endpoints are excluded, so the function only gets arbitrarily close without ever reaching those values.

On the closed interval [0,1][0, 1] the situation changes completely: ff now attains

  • Maximum value 3=f(1)3 = f(1),
  • Minimum value 2=f(0)2 = f(0).

These are the absolute maximum value (global maximum / greatest value) and absolute minimum value (global minimum / least value) of ff on [0,1][0, 1].

Important

A continuous function on an open interval may have no absolute maximum or minimum. On a closed interval the endpoints are included, which guarantees both absolute extremes exist.


Local vs. Absolute Extremes — A Graphical View

For a continuous function ff on [a,d][a, d] (Fig 6.19 of the textbook):

  • Local minimum at x=bx = b, value f(b)f(b)
  • Local maximum at x=cx = c, value f(c)f(c)
  • Absolute maximum value f(a)f(a) — at the left endpoint
  • Absolute minimum value f(d)f(d) — at the right endpoint
Note

An absolute extreme is the overall highest or lowest value on the entire interval; a local extreme is a peak or trough relative to nearby points only. They may coincide, but need not.


Two Fundamental Theorems (Stated Without Proof)

Theorem 5 — Existence of Absolute Extremes

Let ff be a continuous function on I=[a,b]I = [a, b]. Then ff has an absolute maximum value and an absolute minimum value, each attained at least once in II.

Theorem 6 — Where Absolute Extremes Occur (for Differentiable Functions)

Let ff be a differentiable function on a closed interval II, and let cc be an interior point of II (a<c<ba < c < b). If ff attains its absolute maximum value or its absolute minimum value at cc, then f′(c)=0f'(c) = 0.

Watch out

Theorem 6 applies only to interior points — at an endpoint the derivative need not be zero. The converse also fails: f′(c)=0f'(c) = 0 does not guarantee an absolute extreme (it could be a local extreme or a point of inflection).


Working Rule for Finding Absolute Maximum and Minimum Values

  1. Find all critical points in (a,b)(a, b) — where f′(x)=0f'(x) = 0 or ff is not differentiable.
  2. Include the endpoints x=ax = a and x=bx = b.
  3. Evaluate ff at all candidate points from Steps 1 and 2. …
Theorem 5

Theorem 6: Derivative at an Absolute Extremum

Let ff be a differentiable function on a closed interval II and let cc be any interior point of II. Then:

f′(c)=0if f attains its absolute maximum value at cf'(c) = 0 \quad \text{if } f \text{ attains its absolute maximum value at } c

The same holds for an absolute minimum: f′(c)=0f'(c) = 0 if ff attains its absolute minimum value at cc.

Hypotheses explained:

  • ff is differentiable on II — this means f′(x)f'(x) exists at every point in II.
  • II is a closed interval — for example [a,b][a, b].
  • cc is an interior point of II — that is, cc is strictly between the endpoints, not equal to aa or bb.
  • ff attains its absolute maximum at cc — meaning f(c)≥f(x)f(c) \geq f(x) for every xx in II.
Watch out

The converse is not true: f′(c)=0f'(c) = 0 does not guarantee a maximum or minimum at cc. For example, f(x)=x3f(x) = x^3 has f′(0)=0f'(0) = 0 but no extremum at x=0x = 0. The theorem only tells us that if an absolute extremum occurs at an interior point, then the derivative must be zero there.


›Proof

Proof of Theorem 6(i)

Since ff attains its absolute maximum value at cc, we have:

f(c)≥f(x)for all x∈If(c) \geq f(x) \quad \text{for all } x \in I

Because cc is an interior point of II, there exists some h>0h > 0 small enough that both c+hc + h and c−hc - h lie inside II.

Step 1: Consider the right-hand difference quotient.

For h>0h > 0, we have c+h∈Ic + h \in I, so f(c)≥f(c+h)f(c) \geq f(c + h). This gives:

f(c+h)−f(c)≤0f(c + h) - f(c) \leq 0

Dividing by the positive number hh:

f(c+h)−f(c)h≤0\frac{f(c + h) - f(c)}{h} \leq 0

Taking the limit as h→0+h \to 0^+ (the right-hand derivative):

f′(c)=lim⁡h→0+f(c+h)−f(c)h≤0f'(c) = \lim_{h \to 0^+} \frac{f(c + h) - f(c)}{h} \leq 0

Step 2: Consider the left-hand difference quotient.

For h<0h < 0, write h=−kh = -k where k>0k > 0. Then c−k∈Ic - k \in I, so f(c)≥f(c−k)f(c) \geq f(c - k). This gives:

f(c−k)−f(c)≤0f(c - k) - f(c) \leq 0

Now h=−kh = -k is negative. Dividing by hh (a negative number) reverses the inequality:

f(c+h)−f(c)h=f(c−k)−f(c)−k≥0\frac{f(c + h) - f(c)}{h} = \frac{f(c - k) - f(c)}{-k} \geq 0

Taking the limit as h→0−h \to 0^- (the left-hand derivative):

f′(c)=lim⁡h→0−f(c+h)−f(c)h≥0f'(c) = \lim_{h \to 0^-} \frac{f(c + h) - f(c)}{h} \geq 0

Step 3: Combine the two inequalities.

From Step 1: f′(c)≤0f'(c) \leq 0

From Step 2: f′(c)≥0f'(c) \geq 0

The only number that satisfies both f′(c)≤0f'(c) \leq 0 and f′(c)≥0f'(c) \geq 0 is f′(c)=0f'(c) = 0.

…

Theorem 6

Theorem 6: Derivative at an Absolute Extremum

Let ff be a differentiable function on a closed interval II and let cc be any interior point of II. Then:

f′(c)=0if f attains its absolute maximum value at cf'(c) = 0 \quad \text{if } f \text{ attains its absolute maximum value at } c

The same holds for an absolute minimum: f′(c)=0f'(c) = 0 if ff attains its absolute minimum value at cc.

Hypotheses explained:

  • ff is differentiable on II — this means f′(x)f'(x) exists at every point in II.
  • II is a closed interval — for example [a,b][a, b].
  • cc is an interior point of II — that is, cc is strictly between the endpoints, not equal to aa or bb.
  • ff attains its absolute maximum at cc — meaning f(c)≥f(x)f(c) \geq f(x) for every xx in II.
Watch out

The converse is not true: f′(c)=0f'(c) = 0 does not guarantee a maximum or minimum at cc. For example, f(x)=x3f(x) = x^3 has f′(0)=0f'(0) = 0 but no extremum at x=0x = 0. The theorem only tells us that if an absolute extremum occurs at an interior point, then the derivative must be zero there.


›Proof

Proof of Theorem 6(i)

Since ff attains its absolute maximum value at cc, we have:

f(c)≥f(x)for all x∈If(c) \geq f(x) \quad \text{for all } x \in I

Because cc is an interior point of II, there exists some h>0h > 0 small enough that both c+hc + h and c−hc - h lie inside II.

Step 1: Consider the right-hand difference quotient.

For h>0h > 0, we have c+h∈Ic + h \in I, so f(c)≥f(c+h)f(c) \geq f(c + h). This gives:

f(c+h)−f(c)≤0f(c + h) - f(c) \leq 0

Dividing by the positive number hh:

f(c+h)−f(c)h≤0\frac{f(c + h) - f(c)}{h} \leq 0

Taking the limit as h→0+h \to 0^+ (the right-hand derivative):

f′(c)=lim⁡h→0+f(c+h)−f(c)h≤0f'(c) = \lim_{h \to 0^+} \frac{f(c + h) - f(c)}{h} \leq 0

Step 2: Consider the left-hand difference quotient.

For h<0h < 0, write h=−kh = -k where k>0k > 0. Then c−k∈Ic - k \in I, so f(c)≥f(c−k)f(c) \geq f(c - k). This gives:

f(c−k)−f(c)≤0f(c - k) - f(c) \leq 0

Now h=−kh = -k is negative. Dividing by hh (a negative number) reverses the inequality:

f(c+h)−f(c)h=f(c−k)−f(c)−k≥0\frac{f(c + h) - f(c)}{h} = \frac{f(c - k) - f(c)}{-k} \geq 0

Taking the limit as h→0−h \to 0^- (the left-hand derivative):

f′(c)=lim⁡h→0−f(c+h)−f(c)h≥0f'(c) = \lim_{h \to 0^-} \frac{f(c + h) - f(c)}{h} \geq 0

Step 3: Combine the two inequalities.

From Step 1: f′(c)≤0f'(c) \leq 0

From Step 2: f′(c)≥0f'(c) \geq 0

The only number that satisfies both f′(c)≤0f'(c) \leq 0 and f′(c)≥0f'(c) \geq 0 is f′(c)=0f'(c) = 0.

…

Figure 6.19Graph of a continuous function on a closed interval [a, d] showing local and absolute extrema
Fig. 6.19 — Graph of a continuous function on a closed interval [a, d] showing local and absolute extrema

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

Understanding Fig. 6.19: Local and Absolute Extrema on a Closed Interval

The figure plots a continuous function y=f(x)y = f(x) on the xyxy-plane over the closed interval [a,d][a, d] on the xx-axis. Four key points are marked on the xx-axis: aa, bb, cc, and dd, with dashed vertical lines rising from each to meet the curve. The corresponding function values f(a)f(a), f(b)f(b), f(c)f(c), and f(d)f(d) are labelled on the yy-axis.

The curve itself tells a story: it begins at a high value at x=ax = a, then descends to a low point at x=bx = b, rises to a peak at x=cx = c, and finally falls again to end at x=dx = d. This shape is deliberately chosen to illustrate a critical distinction between two types of extreme values.

What the Curve Reveals

At x=bx = b, the function reaches a local minimum — the lowest value in its immediate neighbourhood. The value f(b)f(b) is smaller than values of ff at points just to the left and right of bb. Similarly, at x=cx = c, the function attains a local maximum — the highest value in its vicinity, with f(c)f(c) exceeding nearby function values.

However, when we look at the entire interval [a,d][a, d], the picture changes. The absolute maximum (the greatest value of ff on the whole interval) occurs at the left endpoint x=ax = a, giving f(a)f(a). The absolute minimum (the smallest value on the whole interval) occurs at the right endpoint x=dx = d, giving f(d)f(d).

Important

This figure demonstrates a crucial principle: absolute extrema on a closed interval need not coincide with local extrema, and they can occur at the endpoints — even when the interior contains local maxima and minima.

The Key Formulas

The textbook uses this figure to motivate the formal procedure for finding absolute extrema. For a function ff continuous on [a,b][a, b], the absolute maximum and minimum are found by:

  1. Finding all critical points of ff in (a,b)(a, b) — points x=cx = c where f′(c)=0f'(c) = 0 or f′(c)f'(c) does not exist.
  2. Evaluating ff at every critical point and at both endpoints aa and bb.
  3. Comparing these values: the largest is the absolute maximum, the smallest is the absolute minimum.

Absolute maximum=max⁡{f(a),f(b),f(c1),f(c2),…,f(cn)}\text{Absolute maximum} = \max\{f(a), f(b), f(c_1), f(c_2), \ldots, f(c_n)\}

Absolute minimum=min⁡{f(a),f(b),f(c1),f(c2),…,f(cn)}\text{Absolute minimum} = \min\{f(a), f(b), f(c_1), f(c_2), \ldots, f(c_n)\}

where c1,c2,…,cnc_1, c_2, \ldots, c_n are all critical points in (a,b)(a, b).

Why This Matters

The figure makes a subtle but essential point: local extrema are about behaviour in a small neighbourhood, while absolute extrema consider the entire interval. In Fig. 6.19, f(b)f(b) is a local minimum but not the absolute minimum — that honour goes to f(d)f(d). Similarly, f(c)f(c) is a local maximum but not the absolute maximum — f(a)f(a) is larger.

Watch out

A common mistake is to assume that the absolute maximum must occur at a local maximum, or that the absolute minimum must occur at a local minimum. This figure shows both assumptions can be false. Always check the endpoints. …