令 y/x = ε,z/x = η.
F(y/x,z/x) = F(ε,η) = 0,
記Fx,Fy,Fz分別表示對(duì)x,y,z求偏導(dǎo)；Fε,Fη分別表示對(duì)ε,η求偏導(dǎo)
Fx = Fε * d(y/x)/dx + Fη * d(z/x)/dx= -y / x^2 * Fε - z / x^2 * Fη,(1)
Fy = Fε * d(y/x)/dy + Fη * d(z/x)/dy= 1 / x * Fε,(2)
Fz = Fε * d(y/x)/dz + Fη * d(z/x)/dz= 1 / x * Fη,(3)
由隱函數(shù)定理：
δz/δx = -Fx / Fz,δz/δy = -Fy / Fz 代入
x(δz/δx)＋y(δz/δy) = z 等價(jià)于要證：-x * Fx - y * Fy = z * Fz,利用(1),(2),(3)式有：
-x * Fx - y * Fy = -x * (-y / x^2 * Fε - z / x^2 * Fη) - y * 1 / x * Fε
= y/x * Fε + z/x * Fη - y/x * Fε = z/x * Fη = z * Fz.
得證!