令 y/x = ε,z/x = η.
F(y/x, z/x) = F(ε, η) = 0,
记Fx, Fy, Fz分别表示对x, y, z求偏导；Fε, Fη分别表示对ε, η求偏导
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)
由隐函数定理：
δz/δx = -Fx / Fz, δz/δy = -Fy / Fz 代入
x(δz/δx)＋y(δz/δy) = z 等价于要证： -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.
得证!