如何证明二元函数一条等值线上一点的法向量就是梯度?