>>407
>(df/da)*da+(df/db)*db+(df/dc)*dcは0じゃないだろ
右辺が0なんだから0。
次のは、bとcがaの関数だった場合、f(a,b,c)=0 の両辺をaで偏微分すると
連鎖律によってそうなる。