Farkas's Lemma in Two Dimensions

This Demonstration shows a two-dimensional graphical exposition of Farkas's lemma: let be a matrix and be a vector. Then either (1) there is a vector so that and ; or (2) there is a vector satisfying and . As is well known, geometrically this statement is equivalent to saying that is either in the cone spanned by or not. In this Demonstration, and are shown by green and orange lines and the inside of the cone is filled with light blue if (1) is true and with light red if (2) is true.


  • [Snapshot]
  • [Snapshot]
  • [Snapshot]


Consider a linear system equation , where is in general an matrix and and are respectively an and an vector. Then Farkas's lemma states that one but not both of the following two statements is true: (1) there is a vector solving the equation; or (2) there is a vector satisfying and , where is the zero vector. Geometrically, this is equivalent to saying that: (1) is in the cone spanned by ; or (2) is not in . To show the equivalence is simple. The first statement requires directly that is in , so that . If (1) does not hold, then is not in ; therefore, we will find a separating hyperplane between and . In that case, we can find a vector whose angles with each row of are at most . Because such a is included in , its angle with must be greater than . In order to understand this lemma intuitively, it is more or less sufficient to understand the two-dimensional case.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.

Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and
interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Step-by-Step Solutions »
Walk through homework problems one step at a time, with hints to help along the way.
Wolfram Problem Generator »
Unlimited random practice problems and answers with built-in step-by-step solutions. Practice online or make a printable study sheet.
Wolfram Language »
Knowledge-based programming for everyone.
Powered by Wolfram Mathematica © 2018 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+