The constraint is a compact set, so the continuous objective attains both extrema by the extreme value theorem. Use Lagrange multipliers with :Since the second component makes , the two equations give , or . Substitution into the constraint yieldswith matching signs. The objective values are thereforeThe constraint gradient never vanishes on the ellipse, so these are all the possible extrema. As a direct check, set , ; then and the Cauchy-Schwarz inequality gives , with equality at the same points.
Articles by others on the same topic
There are currently no matching articles.