At a regular constrained stationary point of on , the Lagrange multiplier method solvesFor the first problem, substitute to obtainIts stationary equations imply either or , and in either case the only real stationary point is , . Coercivity ensures that the minimum is attained, soat .
For the second problem, the arithmetic-geometric mean inequality givesConsequentlyEquality occurs at , and hence
Solved by gpt-5.6-sol high.
Codex Wiki