这是证明出来的，对于多元函数，在某点出一阶偏导为零，只要看黑塞矩阵的正定或负定性。对于二元函数黑塞矩阵为A BB C正定的充分条件是A>0且AC-B^2>0；负定的充分条件是A<0且AC-B^2>0；若AC-B^2>0，则矩阵不定。矩阵正定，该点为极小值；矩阵负定，该点为极大值。二阶偏导没有明显几何意义。
