偏导数的一个恒等式

在一元函数里 ,函数与它的反函数的导数互为倒数关系。多元函数也有类似的性质。下面介绍之。定理　如果多元函数 z =f ( x1,x2 ,… ,xn)的反函数存在且偏导数不为零 ,那么 z x1=( -1 ) n+ 1 x1 x2 x2 x3… xn z( 1 )　　证明　设 F( x1,x2 ,… ,xn,z) =z -f ( x1,x2 ,… ,xn) =0 ,则 z x1=-Fx1Fz, x1 x2=-Fx2Fx1,…… , xn z=-Fz Fxn因此 z x1 x1 x2… xn z =( -Fx1Fz) ( -Fx2Fx1)… ( -Fz Fxn) =( -1 ) n+ 1即 z x1=( -1 ) n+ 1 x1 x2 x2 x3… xn z　　上面的恒等式可推广为 z xi=( -1 ) n+ 1 xi xi+ 1 xi+ 1 xi+ 2… xn- 1 x…