>>547
恒等的にF(x,y,z,f(x,y,z),g(x,y,z))=0が成立しているので、x,y,zに従属関係はない。
例えばz=x^2+y^2の3次元グラフの上ではF(x,y,z)=x^2+y^2-z=0が成立しており、
>>531の記法を使えば、
z=f(x,y)=x^2+y^2にたいしてF(x,y,f(x,y))=0が恒等的に成立している。
だが、ｙはｘに従属していないので∂y/∂x = 0となる。