In single-variable calculus, to find absolute extrema, we had to look at critical points and boundary points. In multivariable calculus, that boundary is now an entire shape, so we can’t just check a few points.
To check the boundary of a shape, we can often substitute the boundary curve equation into the thing we want to optimize in order to reduce the number of variables, and then use single-variable calculus.
Let \(C\) be a constraint curve \(g(x,y)=k\) that lies along the surface \(z=f(x,y)\text{,}\) and suppose \(f\) has a local extreme value at \(P_{0}=(x_{0},y_{0})\) along \(C\text{.}\)
Now consider the function \(h(t)=f(\bv{r}(t))\text{.}\) Then \(h\) has an extreme value at \(t=0\text{,}\) so \(h'(0)=0\text{.}\) By the Chain Rule, we have:
Hence \(\Grad f\) is perpendicular to the tangent vector \(\bv{r}'(0)\text{.}\) Since \(C\) is a level curve of \(g\text{,}\) we know that \(\Grad g\) is also perpendicular to \(\bv{r}'(0)\text{,}\) and hence \(\Grad f\) and \(\Grad g\) are parallel. Hence, if \(\Grad g\neq 0\text{,}\) there exists some real number \(\lambda\) such that
Perhaps would be good to do the “milkmaid” problem... its solution visually goes with the reflection property of an ellipse. And it can be explained without needing a specific curve, but then made precise using a specific curve.