A Short Simple Proof of Closedness of Convex Cones and Farkas’ Lemma

Abstract

Proving that a finitely generated convex cone is closed is often considered the most difficult part of geometric proofs of Farkas’ lemma. We provide a short simple proof of this fact and (for completeness) derive Farkas’ lemma from it using well-known arguments.