KnowraFarkas' lemmaLinked fromLinked fromThe 4 pages that link to Farkas' lemma, each with the reason it gives.All 4Related 4PolyhedronRelated: It underlies equivalences between constraint descriptions and their logical consequences.Linear programming dualityRelated: It underlies linear-programming duality and certificates of infeasibility.Cone (convex analysis)Related: It turns cone membership into a precise alternative between solutions and separating inequalities.Hyperplane separation theoremRelated: It is a finite-dimensional separation result for systems of linear inequalities.