Note that if (x,y) obeys g(x,y)=xy−1=0, then x is necessarily nonzero.
So we may assume that x=0. Then
There is a λ such that (x,y,λ) obeys (E1)⟺there is a λ such that fx(x,y)=λgx(x,y),fy(x,y)=λgy(x,y),g(x,y)=0⟺there is a λ such that fx(x,y)=λy,fy(x,y)=λx,xy=1⟺there is a λ such that y1fx(x,y)=x1fy(x,y)=λ,xy=1⟺y1fx(x,y)=x1fy(x,y),xy=1⟺xfx(x,x1)=x1fy(x,x1),y=x1⟺F′(x)=dxdf(x,x1)=fx(x,x1)−x21fy(x,x1)=0,y=x1