On va voir s'il existe un polygone défini par ce système d'inégalités. Pour ce faire on commence par
définir les inéquations sous la forme d'une liste de u-plets $[b_i \boldsymbol{A}_{i, \bullet}]$.
cl0
On utilise cette liste pour définir un polygone (polyèdre sur le plan).
cl0
Le fait que l'on puisse tracer un polygone à partir des inégalités est la preuve qu'il existe des solutions
au système d'équations donné. Réécrivons l'ensemble des inégalités de manière à pouvoir aborder la question 2.
cl0
On peut maintenant éliminer $x_1$. Il ne restera plus qu'à isoler $x_2$ et à regarder la contrainte la plus
restrictive.
cl0
On peut maintenant opérer en éliminant d'abord $x_2$.
cl0