Farkas' Lemma: A Fundamental Theorem of Alternatives
Students often struggle with the 'exclusive or' nature of the lemma. It is not that both cannot exist, but that the existence of one logically precludes the other. Furthermore, confusing the role of as a witness to non-membership rather than just an arbitrary vector is a common hurdle.
Institutional Reference: Fundamentals of Optimization
View Full Proof →