Докажите что пресечения двух полуплоскости выпуклая фигура

Для доказательства того, что пересечение двух полуплоскостей является выпуклой фигурой, мы можем использовать определение выпуклости.

Определение выпуклой фигуры: Фигура называется выпуклой, если для любых двух точек, принадлежащих этой фигуре, отрезок, соединяющий эти точки, также полностью находится внутри фигуры.

Рассмотрим две полуплоскости в пространстве. Пусть полуплоскость \( P_1 \) задана неравенством \( ax + by + c_1 \geq 0 \), а полуплоскость \( P_2 \) — неравенством \( ax + by + c_2 \geq 0 \), где \( c_1 \) и \( c_2 \) — некоторые константы.

Пересечение этих двух полуплоскостей можно записать так: \[ P = P_1 \cap P_2 = \{ (x, y) \ | \ ax + by + c_1 \geq 0 \ \text{и} \ ax + by + c_2 \geq 0 \} \]

Теперь, для того чтобы показать, что это пересечение является выпуклым, возьмем две произвольные точки \( A(x_1, y_1) \) и \( B(x_2, y_2) \), принадлежащие пересечению \( P \). Это означает, что они удовлетворяют одновременно обоим неравенствам: \[ ax_1 + by_1 + c_1 \geq 0 \quad \text{и} \quad ax_1 + by_1 + c_2 \geq 0 \] \[ ax_2 + by_2 + c_1 \geq 0 \quad \text{и} \quad ax_2 + by_2 + c_2 \geq 0 \]

Теперь рассмотрим точку \( C \), которая находится на отрезке \( AB \). Эта точка может быть представлена как линейная комбинация: \[ C = (1 - t)A + tB, \quad t \in [0, 1] \]

Проверим, удовлетворяет ли точка \( C \) обоим неравенствам.

Подставим координаты точки \( C \) в первое неравенство: \[ a((1 - t)x_1 + tx_2) + b((1 - t)y_1 + ty_2) + c_1 = (1 - t)(ax_1 + by_1 + c_1) + t(ax_2 + by_2 + c_1) \]

Поскольку \( ax_1 + by_1 + c_1 \geq 0 \) и \( ax_2 + by_2 + c_1 \geq 0 \), можно заключить, что: \[ (1 - t)(ax_1 + by_1 + c_1) + t(ax_2 + by_2 + c_1) \geq 0 \]

Аналогично, подставляем в второе неравенство: \[ C = (1 - t)A + tB \] \[ a((1 - t)x_1 + tx_2) + b((1 - t)y_1 + ty_2) + c_2 \geq 0 \]

По аналогии видно, что это также будет верно, так как \[ (1 - t)(ax_1 + by_1 + c_2) + t(ax_2 + by_2 + c_2) \geq 0 \]

Таким образом, поскольку для любых двух точек \( A \) и \( B \) в пересечении \( P \) отрезок \( AB \) также находится в этом пересечении, мы можем заключить, что пересечение двух полуплоскостей действительно является выпуклой фигурой.