Теорема равновесия.
Напомним, что мы условились обозначать через
левые части неравенств системы (II),

ТЕОРЕМА 2.9. Пусть
— допустимый вектор канонической задачи на минимум и
— допустимый вектор двойственной задачи. Если

то у и
являются оптимальными векторами соответствующих задач (К и К.
Доказательство. Предположим, что выполнены условия
По следствию 2.4 имеем

На основании
и (1) заключаем, что
Согласно критерию оптимальности, векторы у и z являются оптимальными векторами соответственно задач К и К. Замечание. Условие
также необходимо для оптимальности допустимых векторов у
Действительно, по следствию 2.4, выполняется (1). Если векторы у и z оптимальны, то, по теореме 2.8,

Из (1) и (2) следует

Поскольку у и z — допустимые векторы, то
Отсюда следуют равенства 