Le lemme de Farkas (qui fait partie d'un groupe de théorèmes connus sous le nom de Théorèmes de l'alternative) qui sera invoqué plus loin peut être présenté sous plusieurs formes équivalentes. C'est pourquoi, dans un premier point, nous allons le présenter avant d'expliquer ces formes équivalentes.