Точка А лежит на прямой ,отрезок BC пересекает прямую в точке,отличной от его концов.На отрезке АВ взяли любую точку М.Докажите, что отрезок СМ пересекает эту прямую

Задача: Пусть точка A лежит на прямой l. Отрезок BC пересекает эту прямую в точке P, отличной от концов отрезка (то есть P ∈ BC и P не совпадает с B или C). На отрезке AB взята точка M. Доказать, что отрезок CM пересекает прямую l. Детальное решение по методу координат (пошагово): 1) Задаём систему координат так, чтобы прямая l стала осью Ox (y = 0). Пусть A = (0, 0). Тогда любая точка, лежащая на l, имеет координаты (x, 0). 2) Пусть B и C лежат на одной прямой BC, которая пересекает l в точке P. Обозначим B = (x_B, y_B) и C = (x_C, y_C) с y_B ≠ 0 и y_C ≠ 0 (иначе B или C бы лежали на l, что противоречило условию пересечения BC с l в точке P, отличной от концов). Так как BC пересекает Ox в точке P с y = 0, величины y_B и y_C имеют противоположные знаки: y_B · y_C < 0. 3) М находится на AB. Так как A = (0, 0), AB задаётся как все точки пропорционально B: M ∈ AB означает M = t B для некоторого t ∈ [0, 1]. Пусть M = (t x_B, t y_B). 4) Рассмотрим прямую CM. Она задаётся точками C + s (M − C) для параметра s ∈ R. Обозначим координаты Y-для этой прямой: y(s) = y_C + s (t y_B − y_C). 5) Чтобы CM пересекла прямую l, нужно найти s such that y(s) = 0 (то есть точка принадлежит Ox). Решаем уравнение: y_C + s (t y_B − y_C) = 0 => s = y_C / (y_C − t y_B). Существование такого s не зависит от x-компонент: нам достаточно, что знаменатель не равен нулю. Утверждение о существовании s сводится к тому, что y_C ≠ 0 и y_C − t y_B ≠ 0. 6) Покажем, что знаменатель не обращается в ноль. Заметим, что y_B и y_C имеют противоположные знаки, поэтому t y_B имеет тот же знак, что и y_B, и не может быть равным y_C (которое имеет противоположный знак). Следовательно t y_B ≠ y_C, значит y_C − t y_B ≠ 0. Следовательно, существует уникальное значение s, при котором y = 0, то есть точка пересечения CM с Ox существует. 7) Следовательно, прямая CM пересекает прямую l (Ox) в той самой точке, где y = 0. Это доказывает требуемое утверждение. Дополнительная заметка в виде инкапсуляции геометрии (без координат): если CM невертикальна к Ox и не параллельна ей, она обязательно пересечёт Ox в одной точке. Условие, что P ∈ BC и P лежит на l между B и C, гарантирует, что y_B и y_C имеют противоположные знаки, поэтому линия CM не может быть параллельна l для любого M на AB; значит CM пересекает l. Кратко резюме: через выбор координат так, чтобы l был осью Ox, мы видим, что для любого M на AB прямая CM не может быть параллельна l (из-за противоположных знаков y_B и y_C и того, что M = tB с 0 < t < 1). Следовательно, CM обязательно пересекает указанную прямую l.