Перейти к содержимому
Topos Uranos

Неравенства на плоскости и линейное программирование

Краткое содержание

Этот урок переносит изучение неравенств на плоскость. В нём доказывается, что прямая делит плоскость на две полуплоскости, в каждой из которых задающее её линейное выражение сохраняет знак, и отсюда выводится метод пробной точки. Область решений системы линейных неравенств описывается как пересечение полуплоскостей, с её вершинами, и доказывается, что она выпукла; затем изучаются области, ограниченные коническими сечениями. Урок завершается линейным программированием: поиском наибольшего или наименьшего значения линейной функции на многоугольной области, основная теорема которого гарантирует, что на выпуклом ограниченном многоугольнике оба значения достигаются в вершинах, а в неограниченной области, имеющей хотя бы одну вершину, всякое существующее оптимальное значение также достигается в одной из них, и задачами о производстве, о рационе и о перевозках.

Цели обучения

  1. Изображать множество решений линейного неравенства с двумя переменными в виде полуплоскости, открытой или замкнутой, с помощью пробной точки.
  2. Находить область решений системы линейных неравенств, её вершины и выяснять, ограничена она или нет, а также обосновывать её выпуклость.
  3. Описывать неравенствами области, ограниченные прямыми и коническими сечениями, и изображать области, описанные таким образом.
  4. Ставить и решать задачи линейного программирования с двумя переменными с помощью теоремы о вершинах и линий уровня, различая единственное оптимальное решение, несколько оптимальных решений и отсутствие оптимума.

Полуплоскости

В уроке об уравнении прямой было показано, что всякая прямая есть множество точек, удовлетворяющих уравнению Ax+By+C=0Ax + By + C = 0, где AA и BB не равны нулю одновременно: если B≠0B \neq 0, то, разрешая уравнение, получаем y=−ABx−CBy = -\frac{A}{B}x - \frac{C}{B}, прямую с угловым коэффициентом −AB-\frac{A}{B}; если B=0B = 0, уравнение сводится к x=−CAx = -\frac{C}{A}, вертикальной прямой. Если вместо равенства потребовать неравенство, множество решений перестаёт быть линией и становится областью. В уроке об уравнениях и неравенствах первой степени решением линейного неравенства с одним неизвестным был промежуток числовой прямой; при двух неизвестных решением является полуплоскость.

Пусть rr есть невертикальная прямая и P=(x0,y0)P = (x_0, y_0) есть точка. Будем говорить, что PP лежит выше rr, если y0y_0 больше ординаты точки прямой rr с абсциссой x0x_0, и ниже, если меньше. Если rr вертикальна, так же говорят о точках, лежащих справа и слева от неё. Каждое из этих двух множеств является открытой полуплоскостью с границей rr; если добавить к нему прямую, получается замкнутая полуплоскость.

ТеоремаПолуплоскости

Пусть rr есть прямая Ax+By+C=0Ax + By + C = 0, где AA и BB не равны нулю одновременно, и пусть E(x,y)=Ax+By+CE(x, y) = Ax + By + C. Выражение EE имеет постоянный знак по каждую сторону от rr: оно положительно во всех точках одной из двух открытых полуплоскостей и отрицательно во всех точках другой. Точнее, если B>0B > 0, оно положительно выше rr и отрицательно ниже; если B<0B < 0, наоборот; а если B=0B = 0, оно положительно справа от rr при A>0A > 0 и слева от неё при A<0A < 0.

Доказательство

  1. Ax0+By1+C=0\dato{q}{A x_0 + B y_1 + C = 0}

    Пусть P=(x0,y0)P = (x_0, y_0) есть точка, не лежащая на rr, и предположим сначала, что B≠0B \neq 0. Вертикальная прямая, проходящая через PP, пересекает rr в единственной точке Q=(x0,y1)Q = (x_0, y_1), ордината которой получается, если выразить yy из уравнения rr; точка QQ удовлетворяет этому уравнению.

  2. E(x0,y0)=(Ax0+By0+C)−(Ax0+By1+C)=B⋅(y0−y1)E(x_0, y_0) = \resaltar{(A x_0 + B y_0 + C) - (A x_0 + B y_1 + C)} = \dato{dif}{\resaltar{B \cdot (y_0 - y_1)}}

    Вычтем этот нуль из значения EE в точке PP: члены с x0x_0 и свободные члены сокращаются, и остаётся произведение.

  3. B>0→(E(x0,y0)>0↔y0>y1)B > 0 \rightarrow \left( E(x_0, y_0) > 0 \leftrightarrow y_0 > y_1 \right)

    Если B>0B > 0, то по правилу знаков, изученному в уроке о таблицах знаков и неравенствах, произведение имеет знак y0−y1y_0 - y_1: оно положительно, когда PP лежит выше rr, и отрицательно, когда лежит ниже.

  4. B<0→(E(x0,y0)>0↔y0<y1)B < 0 \rightarrow \left( E(x_0, y_0) > 0 \leftrightarrow y_0 < y_1 \right)

    Если B<0B < 0, произведение имеет знак, противоположный знаку y0−y1y_0 - y_1: выражение отрицательно выше rr и положительно ниже.

  5. E(x0,y0)=(Ax0+C)−(Ax1+C)=A⋅(x0−x1)E(x_0, y_0) = \resaltar{(A x_0 + C) - (A x_1 + C)} = \resaltar{A \cdot (x_0 - x_1)}

    Если B=0B = 0, то A≠0A \neq 0, и rr есть вертикальная прямая x=x1x = x_1, где x1=−CAx_1 = -\frac{C}{A}. Повторяем вычисление с точкой прямой rr, имеющей ту же ординату, что и PP.

  6. A>0→(E(x0,y0)>0↔x0>x1)A > 0 \rightarrow \left( E(x_0, y_0) > 0 \leftrightarrow x_0 > x_1 \right)

    Если A>0A > 0, выражение положительно в точности тогда, когда x0>x1x_0 > x_1, то есть справа от rr; если A<0A < 0, то слева от неё. Во всех случаях знак EE в точке зависит только от того, по какую сторону от rr лежит эта точка.

Теорема говорит больше, чем используется на практике: не нужно помнить, какой знак соответствует каждой стороне, потому что достаточно знать знак EE в одной-единственной точке стороны, чтобы знать его во всех. В этом и состоит метод пробной точки.

Чтобы изобразить неравенство Ax+By+C>0Ax + By + C > 0, или со знаком <<, ≥\ge или ≤\le, проводят прямую Ax+By+C=0Ax + By + C = 0 и вычисляют значение выражения в пробной точке, не лежащей на ней, обычно в начале координат. Если точка удовлетворяет неравенству, множество решений есть полуплоскость, которая её содержит; если не удовлетворяет, то другая. Если неравенство строгое, прямая не входит в множество решений и рисуется штриховой линией; если нестрогое, она входит в него и рисуется сплошной.
ПримерПолуплоскость по пробной точке

Изобразить множество решений неравенства 2x−3y+6>02x - 3y + 6 > 0.

Доказательство

  1. 2x−3y+6=0,(0,2),(−3,0)2x - 3y + 6 = 0, \quad (0, 2), \quad (-3, 0)

    Проводим граничную прямую через точки её пересечения с осями: при x=0x = 0 получаем y=2y = 2, а при y=0y = 0 получаем x=−3x = -3.

  2. 2⋅0−3⋅0+6=6>02 \cdot 0 - 3 \cdot 0 + 6 = \resaltar{6} > 0

    Начало координат не лежит на прямой. Вычисляем в нём значение выражения: оно положительно, так что начало координат удовлетворяет неравенству.

  3. 2x−3y+6>0↔y<23x+22x - 3y + 6 > 0 \leftrightarrow \resaltar{y < \frac{2}{3}x + 2}

    Множество решений есть полуплоскость, содержащая начало координат. Теорема это подтверждает: так как B=−3<0B = -3 < 0, выражение положительно ниже прямой.

  4. 2⋅(−3)−3⋅0+6=02 \cdot (-3) - 3 \cdot 0 + 6 = \resaltar{0}

    Неравенство строгое: точки прямой, например (−3,0)(-3, 0), обращают выражение в нуль и ему не удовлетворяют. Граница исключается и рисуется штриховой линией.