Теорема

Пусть f, j_i и y_k – дифференцируемые функции и справедливо свойство Слейтера (то есть найдутся такие ХÎ D, что неравенства j_i будут строгими). F(X, L) – соответствующая функция Лагранжа. Тогда для того чтобы вектор Х* являлся решением общей задачи максимизации (2) необходимо выполнение условий

1) по X:

" X_j^* ³ 0;

2) по L:

Приведенные условия оптимальности называются условиями Куна-Таккера. По существу они являются обобщением классических условий экстремума, определяющих стационарные точки. Условие (5) содержит неравенство, так как неотрицательность вектора X означает, что максимум может быть либо при положительном X и тогда производная F по X обязательно равна нулю (случай 1 на рис), либо при X=0 и тогда эта производная может быть как равной нулю, так и отрицательной (случаи 2 и 3 на рис). Этим же объясняются условия дополняющей нежесткости (6): в точке максимума равны нулю либо X, либо производная, либо вместе.

Выражения (7)-(9) можно обосновать аналогично, если учесть, что по L рассматривается минимум F и

.

Применив условия Куна-Таккера к задаче ЛП, получим равенства второй основной теоремы двойственности как частный случай условий дополняющей нежесткости, а двойственные переменные – как частный случай l.

Особую роль условия Куна-Таккера играют в решении задач выпуклого программирования, так как для них они являются не только необходимыми, но и достаточными.