임의의 (미분가능한) 함수 F 에 대해, 연쇄법칙과 곱의 미분법에 의해 다음이 성립한다.
∂x∂u(x,y)∂y∂u(x,y)=∂x∂[eyF(xe−y2)]=ey∂x∂[F(xe−y2)]=eyF′(xe−y2)∂x∂(xe−y2)=eyF′(xe−y2) e−y2=∂y∂[eyF(xe−y2)]=eyF(xe−y2)+ey∂y∂[F(xe−y2)]=eyF(xe−y2)+eyF′(xe−y2) ∂y∂(xe−y2)=eyF(xe−y2)+eyF′(xe−y2) (−2xy)e−y2
(a) 특히 F(z)=ln(z) 일 때 F′(z)=z1 이므로
∂x∂u(x,y)∂y∂u(x,y)=eyxe−y21 e−y2=xey=eyln(xe−y2)+eyxe−y21 (−2xy)e−y2=eyln(xe−y2)−2yey=eyln(x)−y2ey−2yey
(b) 일반적으로
2xy∂x∂u+∂y∂u=2xy eyF′(xe−y2) e−y2+eyF(xe−y2)+eyF′(xe−y2) (−2xy)e−y2=eyF(xe−y2)=u