Рассмотрим общий случай кривой, заданной неявно:
. Она отделяет друг от друга области
и
. Чтобы не гадать, где какая область, можно найти вектор градиента
. Он направлен в сторону возрастания
(если только не равен нулю). В точках на кривой градиент перпендикулярен самой кривой, поэтому указывает на область
«яснее некуда».
Для наших прямых
и
градиенты равны соответственно
и
(в общем случае градиент зависит от точки).
Осторожно: на Вашем графике переменная
соответствует переменной
задачи, а переменная
соответствует
задачи. Чтобы не было путаницы, для проверки сказанного лучше воспользуйтесь моим графиком.