Farkas-Lemma Ist ein Alternativsatz. Genau eines der beiden Systeme hat eine Lösung: Ax=bAx=bAx=b x≥0x\geq 0x≥0 und ATy≥0A^Ty\geq 0ATy≥0 bTy<0b^Ty<0bTy<0