Теорема 1 (необходимые условия экстремума) . Если в точке N0(x0;y0) дифференцируемая функция z=f(x,y) имеет экстремум, то ее частные производные в этой точке равны нулю: f'x(x0;y0)=0, f'y=(x0;y0)=0.
Точка в которой частные производные первого порядка функции z=f(x,y) равны нулю, т. е. f'x=0, f'y=0, называется стационарной точкой функции z (или точкой возможного экстремума) . Стационарные точки и точки, в которых хотя бы одна частная производная не существует называется критическими точками. В критических точках функция может иметь экстремума, а может не иметь. Равенство нулю частных производных является необходимым, но недостаточным условием существования экстремума. Для нахождения экстремумов функции в данной области необходимо критическую точку функции подвергнуть дополнительному исследованию.
Теорема 2 (достаточные условия экстремума) . Пусть в стационарной точке N0(x0;y0) и некоторой ее окрестности функция f(x,y) имеет непрерывные частные производные до второго порядка включительно. Вычислим в точке N0(x0;y0) значения A=f'x'x(x0;y0), B=f'x'y(x0;y0), C=f'y'y(x0;y0)Обозначим . Тогда:
1. Если Δ>0, то функция f(x,y) в точке N0(x0;y0) имеет экстремум: максимум, если A<0: минимум, если A>0.
2. Если Δ<0, то функция f(x,y) в точке N0(x0;y0) экстремума не имеет.
3. В случае Δ=0 экстремум в точке N0(x0;y0) может быть, может не быть. Необходимо дополнительные исследования.