Lagrange Multiplier Method - Example

An example of Lagrange Multiplier Method to illiustrate Theorem 9 of the expository article by Prof. S. Kumaresan on Implicit Function Theorem (finite dimensional version). The article can be found here {}.
Theorem: (Lagrange Multiplier) Let and be . Let and the level set of at . Assume that If the restriction of to has a local extremum at p, then there is a real number such that Example: Find the extrema of subject to the constraint It is easy to find by solving . On eliminating from and we can find the points on the ellipse at which takes extreme values. The answer is and the points of extrema are The points that lie on ellipse forms the feasible set. The purple lines are level curves of the graph of . The slider is the value of the objective function at the green dots on the feasible set. Note that as the value of the green dots disappear from the picture showing that we are out of the feasible set. The two black dots are the points of maximum and the maximum value is . The points of intersection of ellipse with the level curve (dotted red line) at are the points of minimum. Note that there is a common tangent at the point of extrema to the ellipse and the level curves. The normals at one of the maximum to the constraint and objective function are marked by a ray with respective colors. Hint to use this: Use the slider(on the left) to move the horizontal plane(red shaded) parallel to the xy plane. As you move the slider, the corresponding level curve (dotted red colored hyperbola) moves in the left side view. The level curve is the intersection of the red plane with the green surface (graph of ) . Apart from this the right side view can be rotated in all possible directions to see the complete picture.