定理(极值的必要条件)
设函数 $z = f(x,y)$ 在点 $P_0(x_0, y_0)$ 的两个偏导数都存在,若 $P_0$ 是函数的极值点,则
$$f'_x(x_0, y_0) = 0, \quad f'_y(x_0, y_0) = 0$$
证明思路:固定 $y = y_0$,则 $z = f(x, y_0)$ 变成关于 $x$ 的一元函数,它在 $x_0$ 处取极值,由一元函数极值的必要条件知 $f'_x(x_0,y_0) = 0$。同理 $f'_y(x_0,y_0) = 0$。
定义(驻点 / 稳定点)
满足 $f'_x(x,y)=0$ 且 $f'_y(x,y)=0$ 的点 $(x,y)$ 称为函数 $f(x,y)$ 的驻点。
可微函数的极值点一定是驻点,但反过来不一定成立。例如 $z = xy$ 在 $(0,0)$ 处有 $f'_x = f'_y = 0$,但 $(0,0)$ 不是极值点(鞍点)。所以还需要充分条件来进一步判断。