{z=f(x,y)h(x,y)=0}→minf(x,y)h(x,y)=0⇒y=φ(x)∂h(x,y)∂x+∂h(x,y)∂yd(φ(x))d(x)=0f(x,y)=f(x,φ(x))⇒∂f(x,y)∂x+∂f(x,y)∂yd(φ(x))d(x)=0⇔⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪h(x,y)=0∂h(x,y)∂x+∂h(x,y)∂yd(φ(x))d(x)=0∂f(x,y)∂x+∂f(x,y)∂yd(φ(x))d(x)=0⇔⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪h(x,y)=0∂f(x,y)∂x∂h(x,y)∂x=∂f(x,y)∂y∂h(x,y)∂y=−λ⇔⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪h(x,y)=0∂f(x,y)∂x+λ∂h(x,y)∂x=0∂f(x,y)∂y+λ∂h(x,y)∂y=0L(x,y,λ)=f(x,y)+λh(x,y)⇔⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪∂L(x,y)∂λ=0∂L(x,y)∂x=0∂L(x,y)∂y=0