Calculus Volume 3 · Chapter 4 · Section 4.7
Where a surface tops out, bottoms out, or does both at once — and how to find the highest and lowest points of a region.
Colour key minimum maximum saddle boundary key idea · 3D figures turn when you drag them · page links open the textbook
At the top of (Figure 4.47), walk east or north: the ground is level either way.
Both slices through the top have slope 0, so there, and the tangent plane is horizontal.
A smooth top or bottom is a place where the surface is flat in every direction.
The lowest value, 0, is on the rim — the edge of the domain, where the surface is not flat at all.
is a critical point of if , or if or does not exist there.
Fermat's theorem (Theorem 4.16): a local maximum or minimum, where the partials exist, is at a critical point. Critical points are the only candidates — but not every candidate is an extremum.
All three have at the origin. The saddle (Figure 4.48) rises along the -slice and falls along the -slice : a minimum one way, a maximum the other.
Contours tell them apart: closed rings round a top or bottom, crossing lines at a saddle.
Find where the surface is flat; the discriminant says which kind of flat.
Solve the two equations together; then list any points where a partial derivative fails to exist.
Example 4.38b:
Example 4.38a: has , and also every point of the hyperbola , where the partials do not exist.
| D | at | |
|---|---|---|
| local minimum | ||
| local maximum | ||
| any | saddle point | |
| any | no conclusion |
D > 0 means the surface curves the same way in every direction; the sign of says up or down. Steps (p391): critical points, then at each, then the table.
A continuous on a closed, bounded set has an absolute maximum and minimum, each at a critical point inside or on the boundary.
On a closed region the winner is often on the edge, where and need not be zero.
| Example | given | result |
|---|---|---|
| 4.38a · p387 | ; partials undefined on | |
| 4.38b · p388 | , value 5 | |
| 4.39a · p391 | : minimum at | |
| 4.39b · p393 | : saddle , minimum at | |
| 4.40a · p395 | on | max 36 at ; min 17 at |
| 4.40b · p397 | on | min at ; max on the circle |
| 4.41 · p399 | on | max 648 at : $648,000 |
Figure 4.55 (p398) labels its points and ; the solution's values, 44.84 on the circle and at , are the right ones.
Drag the dot on the contour map, or jump to a critical point. Away from a critical point the tangent plane tilts; at one it lies flat. Try x³ − 3xy²: at the origin and the test says nothing, yet it is a saddle with three valleys.
The right-hand graph is along the whole boundary, one piece after another. Its highs and lows, the corners, and the inside critical point are the only places the answer can be.
Example 4.41: thousand balls, hours of advertising, profit thousand dollars, on , .
Drag the plan. At the best plan both slices are flat: one more ball or one more hour gains nothing. The edges top out at 576 (no advertising) and 256 (no balls), below 648.
| Mistake | Result | Fix |
|---|---|---|
| read as a maximum | a saddle called a top | : saddle; only gives an extremum |
| Deciding max/min from alone | Checkpoint 4.35: is a maximum, not a minimum | look at when |
| read as "no extremum" | Exercise 325: has a maximum at the origin | : the test is silent; look at |
| Skipping points where a partial fails to exist | the tip of missed (Exercise 317) | list them as critical points |
| Only interior critical points on a closed region | Example 4.40a: 17 found, the maximum 36 on the edge missed | every edge, and the corners |
| Reporting the parameter , not the point | "" for the point | substitute back into |
Exercises from p401; the book's key: p864, p870–871.
| # | task | answer |
|---|---|---|
| 4.34 | critical point of | |
| 4.35 | local extrema of | saddle , ; local max , , value |
| 4.36 | absolute extrema of on | min ; max |
| # | function | answer |
|---|---|---|
| 311 | ||
| 313 | , | |
| 315 | maximum at | |
| 317 | minimum at | |
| 319 | test fails; absolute minimum 0 on the axes | |
| 321 | saddle | |
| 323 | saddle | |
| 325 | ; a maximum, | |
| 327 | minimum at | |
| 329 | saddle | |
| 331 | saddles ; minimum | |
| 333 | maximum at | |
| 335 | saddle | |
| 337 | maximum at | |
| 339 | saddle ; minimum | |
| 341 | saddle | |
| 343 | on | saddle ; max ; min |
| 345 | on | min ; max |
| 347 | on | min ; max |
| 349 | points of nearest the origin | |
| 351 | largest package, length + girth 108 in | 18 by 36 by 18 in |
| 353 | nearest | ; on the plane |
| 355 | shoe revenue | , |
| 357 | soda can, height + circumference 120 cm |
Near a critical point, with , , there, is its quadratic part:
Complete the square (for ):
If , the bracket is positive for every direction, so rises all round () or falls all round (). If , the bracket is positive along and negative along : a saddle. D is the discriminant of the quadratic: it asks whether the surface bends the same way in every direction.
| at the origin | ||
|---|---|---|
| 0 | minimum | |
| 0 | maximum | |
| 0 | saddle |
All three have zero second derivatives at the origin, so the quadratic part is 0 and says nothing. The test only reads the quadratic part; when it vanishes, higher terms decide.
on the whole plane has no maximum: it grows without end.
on the open disc approaches 1 but never reaches it: no maximum.
The extreme value theorem (Theorem 4.18) needs both. Then an absolute extremum inside is also a local one, so it is a critical point (Fermat); otherwise it is on the boundary. That is Theorem 4.19.
| Where | What changes |
|---|---|
| §4.8 Lagrange multipliers | a curved boundary without a parametrization: |
| Least squares | minimizing a sum of squares by setting partials to 0 |
| Machine learning | gradient descent walks downhill to a critical point; saddles slow it down |
Every method is the same two steps: find where the surface is flat, then check the edges.
Access for free at openstax.org · CC BY-NC-SA 4.0
Critical PointsbridgeDefinition
Bowl : are 0 at the origin, where the tangent plane is level.
Cone : no partials at the tip, and it is still critical.
Critical PointsalgebraExample 4.38a
Numerators 0:
Denominator 0:
every point critical; it is also the edge of the domain
Critical PointsalgebraExample 4.38b · Checkpoint 4.34
Subtract:
,
critical point of
Critical PointsgeometryDefinition · Figure 4.47
Top : , a local and global max.
Rim : , the global min, on the edge of the domain.
Critical PointsbridgeTheorem 4.16 · Fermat
Slice east and north through the top: each slice peaks there.
Both slopes 0, so the tangent plane is level.
Critical Pointsalgebraproof of Theorem 4.16
Local max: on a disk. The disk contains the segment , so for near .
One-variable Fermat: , and .
Freeze instead: gives .
Every smooth extremum is critical; not every critical point is an extremum.
Second Derivative TestgeometryDefinition · Figure 4.48
Along the -axis: , a minimum.
Along the -axis: , a maximum.
Second Derivative TestbridgeTheorem 4.17 · Figure 4.49
Bowl : , a minimum
Cap : , a maximum
Saddle :
is never a max or min; read only when .
Second Derivative Testalgebrawhy works
: the bracket is positive in every direction , so the sign is the sign of .
: positive along , negative along : a saddle.
asks whether the quadratic part keeps one sign.
Second Derivative TestgeometryTheorem 4.17 iv
: a minimum
: a maximum
: a saddle
All three: every second partial is 0 at the origin, so .
Second Derivative TestalgebraExample 4.39a
① :
② :
③ : local min
Second Derivative TestalgebraExample 4.39b
: ; into :
, so ,
:
: saddle
, : min
Second Derivative TestgeometryFigure 4.51
saddle at
minimum at
Second Derivative TestalgebraCheckpoint 4.35
into :
or
: saddle
, : max
Absolute Maxima and MinimageometryTheorem 4.18
on
min at the centre: a critical point inside.
max along the whole rim: not a critical point, it is on the boundary.
Absolute Maxima and MinimabridgeTheorem 4.19 · Problem-Solving Strategy
Absolute Maxima and Minimaalgebrawhy Theorem 4.19 holds
on the whole plane: no maximum. Not bounded.
On the open disc : values creep toward 1 and never reach it. Not closed.
Closed and bounded: the maximum exists (EVT), and it sits at a critical point or on the edge.
Absolute Maxima and MinimaalgebraExample 4.40a
on
Inside: , value 17
Edges: 20 · 17.75 · 20 · 23.75
Corners: 24, 24, 20, 36
max 36 at ; min 17 at
Absolute Maxima and MinimaalgebraExample 4.40b
on
Inside: , value
,
edge:
max 44.84 on the circle; min inside
Absolute Maxima and MinimaalgebraCheckpoint 4.36
on
Inside: , value
Edges: twice · 4.75 · 50.75
Corners: 7, 11, 51, 63
min at ; max 63 at
Absolute Maxima and MinimaalgebraExample 4.41
Edges: 576, 256; two edge critical points fall outside. Corners: 0 or less.
648 thousand dollars
§4.7wrap-up
| Objective | You can now |
|---|---|
| 4.7.1 critical points | solve ; find where a partial is undefined |
| 4.7.2 second derivative test | : min, max, saddle, or no conclusion |
| 4.7.3 absolute extrema | check interior critical points, each boundary piece and its corners |