Пусть A1 (x1; y1) и A2 (x2; y2) – точки, координаты которых удовлетворяют исходному неравенству:
| ax1 + by1 + c > 0; ax2 + by2 + c > 0.
|
По
теореме 10.4 координаты
(x; y) любой точки отрезка
A1A2 вычисляются по формулам
x = x1 + λ (x2 – x1),
y = y1 + λ (y2 – y1),
0 ≤ λ ≤ 1. Рассмотрим
| ax + by + c = a (x1+ λ (x2 – x1)) + b (y1 + λ (y2 – y1)) + c = (1 – λ)[ax1 + by1 + c] +λ (ax2 + by2 + c ) > 0. |
Отрезок
A1A2 не пересекает прямую
ax + by + c = 0, следовательно, лежит по одну сторону от нее. Таким образом, множество точек, удовлетворяющих неравенству, лежат в одной полуплоскости.
Покажем, что все точки этой полуплоскости удовлетворяют исходному неравенству. Допустим противное, а именно: существует точка A0 (x0; y0) полуплоскости, координаты которой не удовлетворяют исходному неравенству. Тогда либо ax0 + by0+ c = 0, либо ax0 + by0 + c < 0. В первом случае точка (x0; y0) лежит на прямой, разбивающей плоскость на две полуплоскости, и по определению не принадлежит ни одной из них, и мы приходим к противоречию с предположением. Во втором случае с учетом исходного неравенства ax1 + by1 + c > 0 для точки A1 имеем, во-первых, что (ax1 + by1 + c) / (a (x1 – x0) + (y1 – y0)) < 1, во-вторых, что a (x0 – x1) + b (y0 – y1) < 0. Рассмотрим отрезок A0A1. Точки этого отрезка удовлетворяют равенствам: x = x1 + λ (x0 – x1), y = y1 + λ (y0 – y1). Умножим первое равенство на a, второе – на b, сложим и прибавим к обоим частям c. В результате получим равенство ax + by + c = ax1 + by1 + c + λ (a (x0 – x1) + b (y0 – y1)). Приравняем обе части равенства к нулю. Равенство нулю правой части дает значение λ = (ax1 + by1+ c) / (a (x1 – x0) + (y1 – y0)). C учетом ранее полученных неравенств имеем: 0 < λ < 1. Это значит, что точка (x; y) принадлежит отрезку A0A1. С другой стороны, равенство ax + by +c = 0 означает, что точка (x; y) лежит на прямой, разбивающей плоскость на две полуплоскости. То есть отрезок A0A1 пересекает прямую, разбивающую плоскость на две полуплоскости, следовательно, точки A0 и A1 лежат в разных полуплоскостях. Полученное противоречие доказывает теорему.
