рассмотрим подробнее системы линейных неравенств и покажем, что решение их тесно связано с понятиями выпуклого многоугольника и выпуклого многогранника.
Для начала рассмотрим неравенство с одной переменной величиной x1, например x1<4. Если на плоскости провести прямую х1=4, то она разделит всю плоскость на две части - полуплоскости: в одной из них, а именно слева от прямой х1=4, лежат точки, абсциссы которых меньше 4, а справа от прямой - точки, абсциссы которых больше 4. Таким образом, неравенство x1<4 геометрически определяет полуплоскость (Рис.1). Рассмотрим теперь неравенство с двумя переменными типа 3х1+4х2 < 12. Построим прямую линию 3х1+4х2=12. Разделим обе части уравнения на 12:
из которого видно, что прямая отсекает по осям отрезки, равные 4 и 3.
Неравенство 3х1+4х2 < 12 определяет собой совокупность всех точек плоскости, лежащих ниже прямой, т.е. в заштрихованной части (Рис. 2).
Чтобы легче было понять, какую именно полуплоскость определяет то или иное неравенство, мы в левую часть неравенства подставим координаты начала координат, т.е. х1=0 и х2=0. Если неравенство удовлетворяется, то оно определяет ту полуплоскость, в которой лежит начало координат, в противном случае - другую полуплоскость. Пользуясь геометрическими соображениями, найти возможные решения системы:
ì3х1+4х2 £ 12
íx1< 2
îх1 > 0 и х2 > 0
Каждое из неравенств системы определяет полуплоскость, отмеченную на Рис.3 штрихами.
Полученный многоугольник является выпуклым, ибо вместе с любыми двумя точками содержит весь соединяющий их отрезок. таким образом, мы видим, что выпуклый многоугольник можно задать аналитически, с помощью системы линейных неравенств. Линейное уравнение с тремя переменными: a11x1+a12x2+a13x3=b1 определяет в пространстве некоторую плоскость, которая рассекает все пространство на два полупространства.
В связи с этим неравенство a11x1+a12x2+a13x3 £ b1 определяет одно из полупространств, к которому принадлежит также и сама граничная плоскость. В общем случае, когда система неравенств совместна, пространство решений образует некоторый выпуклый многогранник - многогранник решений. Частным случаем его могут быть: отдельная грань, ребро или точка. Последнее имеет место, когда система неравенств имеет одно единственное решение. Дальнейшие обобщения приводят нас к рассмотрению m линейных неравенств с n неизвестными. Каждое уравнение ai1x1+ai2x2+ ... +ainxn=bi является уравнением некоторой гиперплоскости в n-мерном пространстве, которая как бы рассекает все пространство на два полупространства.