二元函数微分学这个式子成立吗?