 Solution

For the boundary constraint $g(x,y)=x^2+y^2-1=0$, the Lagrange multiplier equations for $z=xy$ areNeither coordinate can vanish at a stationary point. Substitution gives $4{\lambda }^2=1$. For $\lambda =1/2$, $x=y=\pm 1/\sqrt{2}$ and $z=1/2$; for $\lambda =-1/2$, $x=-y=\pm 1/\sqrt{2}$ and $z=-1/2$. The constraint circle is compact, its gradient is nowhere zero, and every extremum must occur among these stationary points. ThusThe paired signs in each expression are linked. The inequality $2|xy|\le x^2+y^2=1$ also confirms the global values.