AX1 = P0, X1 іі 0, (30)
va AX2 = P0, X2 іі 0, (31)
munosabatlar o‘rinli bo‘ladi. Endi x1 va x2yechimlarning qavariq kombinatsiyasini tuzamiz.
X = aax1 + (1-aa)x2, 0 ЈЈ aa ЈЈ 1. hamda uni yechim ekanligini ko‘rsatamiz:
AX = A[aax1 + (1-aa)x2] = aaAx1 + (1-aa)Ax2 Endi(30) va (31) tenglamalarni inobatga olib topamiz.
AX = aaP0 + (1-aa)P0 = P0. Bu munosabat X vektor ham yechim ekanligini kursatadi.
3-teorema. Chiziqli programmalash masalasining chiziqli funksiyasi o‘zining optimal qiymatiga shu masalaning yechimlaridan tashkil topgan qavariq to‘plamning chetki nuqtasida erishadi.
Agar chiziqli funksiya K qavariq to‘plamning birdan ortiq chetki nuqtasida optimal qiymatga erishsa, u shu nuqtalarning qavariq kombinatsiyasidan iborat bo‘lgan ixtiyoriy nuqtada ham o‘zining optimal qiymatiga erishadi (teoremani isbotsiz qabul qilamiz).
4-teorema. Agar k ta o‘zaro chiziqli bog‘liq bo‘lmagan P1,P2,…Pk vektorlar berilgan bo‘lib, ular uchun
P1x1 + P2x2+ … + Pkxk = P0 tenglik barcha xi іі 0 lar uchun o‘rinli bo‘lsa, u holda X = (x1, x2, …, xk, 0,…,0) vektor K qavariq to‘plamning chetki nuqtasi bo‘ladi (teoremani isbotsiz qabul qilamiz).
5-teorema. Agar X = (x1, x2, …, xn) chetki nuqta bo‘lsa, u holda musbat xilarga mos keluvchi vektorlar o‘zaro chiziqli bog‘liq bo‘lmagan vektorlar sistemasini tashkil qiladi (teoremani isbotsiz qabul qilamiz).
Yuqorida keltirilgan teoremalardan quyidagi xulosalarni chiqarish mumkin.
1-xulosa. K to‘plamning har bir chetki nuqtasiga P1,P2,…Pn vektorlar sistemasiga m ta o‘zaro chiziqli bog‘liq bo‘lmagan vektorlar sistemasi mos keladi.
2-xulosa. X = (x1, x2, …, xn) K to‘plamning chetki nuqtasi bo‘lishi uchun musbat xi komponentalar