Теперь установим необходимые условия, при которых функция
достигает в точке
экстремума; для начала будем рассматривать только дифференцируемые функции.
Необходимый признак экстремума: Если в точке
дифференцируемая функция
имеет экстремум, то ее частные производные в этой точке равны нулю:
,
.
Доказательство: Допустим, что функция
имеет в точке
экстремум.
Согласно определению экстремума функция
при постоянном
,как функция одного
достигает экстремума при
. Как известно, необходимым условием для этого является обращение в нуль производной от функции
при
,
т. е.
.
Аналогично функция
при постоянном
,как функция одного
, достигает экстремума при
. Значит,

Что и требовалось доказать.
Точка
,координаты которой обращают в нуль обе частные производные функции
,называется стационарной точкой функции
.