>>724
もうとっくの昔に卒業したのでお構いなく。

F(x,y,z,u,v)をxで微分すると
(∂F/∂x)(∂x/∂x)+(∂F/∂y)(∂y/∂x)+(∂F/∂z)(∂z/∂x)+(∂F/∂u)(∂u/∂x)+(∂F/∂v)(∂v/∂x) = 0
(∂y/∂x) = (∂z/∂x) = 0
から答えが得られる事は分かっている。

F'(x, y, z) = F(x,y,z,f(x,y,z),g(x,y,z))=0
が任意のx, y, zに対して成立するためには
F' = 0
のみで、>>650が成立すると言いたいだけ。