Calculus Volume 3 · Chapter 4 · Section 4.8
Maximize or minimize a function when you are only allowed to move along a curve or a surface.
Colour key ∇f ∇g constraint level curve through the point key idea · page links open the textbook
A golf-ball maker's profit, in thousands of dollars, is for thousand balls and hours of advertising (p406).
With no limits the best is . But the budget is , that is , and would cost .
Slide along the budget line: the profit rises until the line just touches a level curve, then falls. The touch is at , profit 540 (Example 4.43).
Try: walk slowly through a candidate — the green level curve stops crossing and touches, and the two arrows line up. Ex 365 has two maxima and two minima. Ex 361 has six places where the arrows line up; only two of them are the answers.
At the best point on a constraint, the gradients are parallel: ∇f = λ∇g.
Unknowns ; equations: two components plus the constraint. Three and three.
| Example | given | result |
|---|---|---|
| 4.42 · p405 | minimize on | , |
| 4.43 · p406 | maximize on | , i.e. $540,000; |
| 4.44 · p407 | minimize on | |
| 4.45 · p408 | on and | at |
The section's opening estimate from Figure 4.60, a profit of about 395 near (p404), does not match the budget line; Example 4.43's exact maximum is 540 at .
Every problem goes the same way: gradients, the system, eliminate , substitute into the constraint, evaluate. Eliminating first turns "parallel" into one equation in and .
Example 4.44: forces ; the plane gives each, and .
The level surfaces of are spheres; the smallest one that reaches the plane touches it.
Checkpoint 4.39 turns it round: on the sphere ranges from to .
Example 4.45: the cone and the plane meet in a curve. is the squared distance from the origin, so the question is: where is the curve nearest?
The plane cuts both halves of the cone, so the curve has two branches, seen from above. Each branch has one nearest point: on the upper, on the lower.
| Mistake | Result | Fix |
|---|---|---|
| Solving without | two equations, three unknowns: no single answer | the constraint is always one of the equations |
| Stopping at the first solution | Ex 361: reported, but the maximum is | find every solution, evaluate at each |
| Dividing by an expression that can be 0 | Ex 4.45: loses unchecked | split into cases |
| Calling a candidate a maximum on an unbounded constraint | Ex 4.42 has a minimum on the line, no maximum | compare with other points on the constraint |
| Reporting as the answer | "the minimum is 8" in Ex 4.42 | the answer is |
| Using the inequality as if it were an equation everywhere | missing the interior best point when it is affordable | check inside first (§4.7) |
Exercises from p411; the book's key: p864, p871–p872.
| # | task | answer |
|---|---|---|
| 4.37 | maximize on | () |
| 4.38 | maximize on | about 13,890 at labor hours, capital |
| 4.39 | minimize on | at ; max |
| 4.40 | minimize on , |
| # | task | answer |
|---|---|---|
| 359 | on | max , min |
| 361 | on | max at , min at |
| 363 | on , | max , min |
| 365 | on | max 24 at , min at |
| 367 | on | at |
| 369 | minimize on | 2 |
| 371 | maximize on | |
| 373 | on , farthest from | |
| 375 | minimize , | |
| 377 | minimize , | |
| 379 | minimize , , | |
| 381 | topless box from 12 ft² (p411) | 4 ft³, ft |
| 383 | on , nearest (p412) | |
| 385 | distance from to | 1 |
| 387 | distance from to | |
| 389 | on , nearest | |
| 391 | maximize , | |
| 393 | on | about 3365 watches at |
The book's proof (p404): walk the constraint by arc length, , , with the extremum at .
So is perpendicular to the tangent . The constraint is a level curve of , so is perpendicular to too. In the plane, two vectors perpendicular to the same nonzero are parallel: , provided .
is perpendicular to every curve in through the point, so it points along the surface's normal .
The curve has tangent . that tangent puts in the plane of and : .
"The derivative along the only allowed direction is zero" — the one-variable rule, in the one direction you may move.
Let the constraint be and write for the best value of . Then : is how much the best value improves per unit of extra constraint, the "shadow price".
Eliminating still gives ; with , , , and the best profit is .
A rise of 3.96 for one unit of , next to . (λ itself drifts from 4 to about 3.93 along the way.)
The equations find every point where the gradients line up, whatever the kind. Exercise 361, on the ellipse :
| candidate | along the ellipse | |
|---|---|---|
| maximum | ||
| 1 | local maxima | |
| local minima | ||
| minimum |
On an ellipse or a sphere, has a maximum and a minimum, and both are among the candidates: compare the values.
On a line or a hyperbola there may be no maximum (Ex 369, on ). In Example 4.45 both candidates are minima along their own branch — that is why the book says "local extreme values".
Access for free at openstax.org · CC BY-NC-SA 4.0
Lagrange Multipliersgeometry
Profit
Level curves : profit peaks at , .
Budget , i.e. .
costs : not allowed.
Lagrange Multipliersgeometry
Drag the point along .
Level curve crosses the line: slide on, profit rises …
… until it only touches: , .
Lagrange MultipliersbridgeTheorem 4.20
is ⟂ the line.
is ⟂ the level curve through the point.
At : , so .
Lagrange Multipliersalgebraproof of Theorem 4.20
Parametrize by arc length: , extremum at . So has at .
is a level curve of , so is normal to it too.
Two normals to one curve at one point: .
Lagrange Multipliersbridgeproblem-solving strategy · Exercise 365
… and at : max 24, min −24.
Lagrange MultipliersgeometryExample 4.42
on
At : , the ellipse crosses the line → walk on, drops.
At : , it only touches.
Lagrange MultipliersalgebraExample 4.42
: 27
intercepts: → a minimum
is not the minimum; the minimum is .
Lagrange MultipliersbridgeCheckpoint 4.37
Max on
976,
Lagrange MultipliersalgebraExample 4.43
Replace :
540: $540,000
ends:
Lagrange Multipliersalgebrabeyond the book
Best point on :
Budget : best profit
A rise of 3.96, next to .
λ is the price of loosening the constraint.
Lagrange MultipliersalgebraCheckpoint 4.38
Max on
Divide:
5625, 5500, 13,890
Labour gets 0.45 of the budget (), capital 0.55 ().
Lagrange Multipliersbridgethree variables
Min on (Example 4.44)
Level surfaces : spheres about the origin. Grow one …
… until it touches the plane: the normals line up.
Lagrange MultipliersalgebraExample 4.44 · Checkpoint 4.39
: , ,
checks:
Min on
at (max )
Problems with Two ConstraintsbridgeExample 4.45
(cone)
(plane)
Allowed points: the curve where they meet (two branches).
: nearest point on each branch.
Problems with Two ConstraintsalgebraExample 4.45
from line 3, then
Cross-multiply:
⇒ , but is not on the plane. So .
Problems with Two ConstraintsalgebraExample 4.45 · Checkpoint 4.40
:
0.34, 11.66
Min with and
Problems with Two Constraintsbridgewhich candidate is which
Exercise 361, on : six candidates, values
Example 4.45: both candidates are minima, each on its own branch.
Exercise 369: on has min 2 and no maximum.
Extreme value theorem first, then compare.
§4.8wrap-up
| Objective | Picture | You can now solve |
|---|---|---|
| 4.8.1 one constraint | level curve / surface tangent to the constraint | (Examples 4.42–4.44) |
| 4.8.2 two constraints | ⟂ the intersection curve | (Example 4.45) |