Linear Programming Duality 8c: Equivalence of Farkas' lemma and Strong Duality

We initially proved Farkas' lemma from Strong Duality, but in fact, both theorems are actually equivalent. So in this video, we show how to prove Strong Duality from Farkas' lemma.

In fact, there are many theorems which are all equivalent to Farkas' lemma, and we give a glimpse of that fact at the end of the video by giving a small sample of equivalent theorems.

Here is the link to the paper which gives a large list of many equivalent theorems, along with brief proofs: