求助求大佬教教隐函数定理

微分在哪里？

因为Φi(x1,x2,...,xm;y1,y2,...,yn)=0，i=1,2,...,n是约束条件，假设它有连续偏导数，那么因为它是常值函数，所以它的全微分应该恒为0，或者等价地说，全微分的任意一部分，也就是所有偏微分也恒为0