陰関数定理
x,yに関する連続な関数
z=f(x,y)
がz0=f(x0,y0)となる点(x0,y0,z0)付近でx,yについて陰関数定理を満たしているとする,即ちこの点周辺で∂f/∂x・∂f/∂y≠0で∂f/∂x,∂f/∂yは共に連続とした場合,∂y/∂x,∂x/∂yの値はどうなるのか教えて下さい。
考えてみたのですが
F(x,y,z):=f(x,y)-z=0
と置き,条件より陰関数定理が成り立つので
y=φ(x,z)
x=ψ(y,z)
と書け
F(x,z,φ(x,z))≡0
F(y,z,ψ(x,z))≡0
より
∂y/∂x=∂φ/∂x=-(∂F/∂x)/(∂F/∂y)=-(∂f/∂x)/(∂f/∂y)
∂x/∂y=∂ψ/∂y=-(∂F/∂y)/(∂F/∂x)=-(∂f/∂y)/(∂f/∂x)
として良いのでしょうか。
一見,与関数に於いてx,yは独立変数に見えるので
∂y/∂x=∂x/∂y=0
となる様にも思うのですが…。
どちらが正解なのか教えて下さい