Farkas引理

大家學過線性代數，對於線性方程組應該很熟了吧，今天變個樣，聊聊線性不等式組。研究線性 不等式組，就不能不提著名的Farkas引理，據說是1894年由英國數學家Farkas首先證明，之後又有了很多變種，當然最牛掰的是：當二戰爆發後，隨着一門新的學科——線性規劃——的誕生，這個古老定理煥發了別樣的活力。 習慣上，Farkas引理有「方程組形式」和「不等式組形式」兩種形式。當然，聊不等式組，還是要從方程

>>阅读原文<<