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


我們可以用兩個方法來證明這個有趣的結論。首先我們可以用線性代數里學過的知識來證明： 證明一.? 我們還有另一個證明，這個有些無聊但是有助于推廣到不等式組。 證明二.?

總結

以上是生活随笔為你收集整理的Farkas引理的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。