Cho hệ bất phương trình: $$\{\begin{array}{l}x+2y\le 30\\ y>5\\ -x+3y<30\end{array}$$ Khi đó:

Hệ đã cho là một hệ bất phương trình bậc nhất hai ẩn.

Điểm $(3;1)$ thỏa mãn miền nghiệm của hệ bất phương trình trên.

Miền nghiệm của hệ bất phương trình trên là một tam giác.

Biểu thức $F(x;y)=x-2y$ với $(x;y)$ là nghiệm của hệ bất phương trình đã cho đạt giá trị nhỏ nhất tại điểm $(x_0;y_0)$. Khi đó, $y_0-x_0=-20$.