Если x₀ и y₀ – допустимые решения прямой и двойственной задач, т.е. Ax₀≤b и A^Ty₀≥c, то:

Если x₀ и y₀ допустимые решения прямой и двойственной задач и при этом x₀ и y₀ – оптимальные решения пары двойственных задач, то справедливо соотношение:

Если x и y - оптимальные решения прямой и двойственной задач, и при этом выполняется условие Σc_jx_j = Σb_iy_i, j=1,...,n; i=1,...,m, то x и y являются:

Если x₀ и y₀ – допустимые решения прямой и двойственной задач, и кроме того, c^Tx₀=b^Ty₀, то:

Если x и y – допустимые решения прямой и двойственной задач и при этом они являются оптимальными решениями этих задач, то справедливо соотношение:

Если x и y – допустимые решения прямой и двойственной задач и если при этом Σc_jx_j = Σb_iy_i, j=1,...,n; i=1,...,m, то:

Дана функция F(x). Известно, что x' доставляет некоторый экстремум функции F(x) на интервале [a; b] с заданной точностью ξ. При этом F₁ и F₂ – значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. Если F₁ < F₂, т.е. b = x, то:

Если x' и y' – допустимые решения пары двойственных задач и при этом выполняется равенство Σc_jx'_j+Σc_j(x'_j–x'_j+n2) = Σb_iy'_i + Σb_i(y'_i–y'_i+m2), то x' и y':

Дана функция F(x). Пусть x' доставляет минимум функции F(x) на интервале [a; b] с заданной точностью ξ. Известно, что F₁ и F₂ – значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. При поиске минимума был отброшен отрезок [x; b], т.е. b = x. Это значит, что:

Дана функция F(x). Пусть x' доставляет минимум функции F(x) на интервале [a; b] с заданной точностью ξ. Известно, что F₁ и F₂ - значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. Если F₁ < F₂, то:

Пусть функции g_i(x), i=1,...,m имеют непрерывные частные производные на некотором открытом множестве Rⁿ, содержащем точку x^*. Если для функции f(x) ограничения g_i(x) ≤ 0, i=1,...,m удовлетворяют условию регулярности в виде линейной независимости векторов Δg_i(x^*), и существуют такие неотрицательные множители Лагранжа λ₁,...,λ_m, что Δf(x^*) + Σλ_iΔg_i(x^*) = 0;Σλ_ig_i(x^*) = 0, λ_i ≥ 0, i = 1,...,m является: