>>563
F(x,y,f(x,y))=0が恒等的に0となるという事は
F(x,y,f(x,y)) = Σ[k=1, m]a(k)*G(k, x) + Σ[k=1, n]b(k)*H(k, x)
とおけるとすると、
a(k) = 0, (k>=1, k<=m)
b(k) = 0, (k>=1, k<=n)
となるわけで、全て係数が0の関数を微分する事にあまり意味の
ない気がする。