Для доказательства этого утверждения используем свойства параллельных прямых и свойства пересечения.
Обозначим точки:
- A и B - точки на прямой AB,
- C и D - точки на прямой CD,
- Пусть точка E - точка пересечения отрезка BC с прямой AD.
Поскольку AB и CD параллельны, то угол между прямой AB и отрезком BC равен углу между прямой CD и отрезком BC (по свойству параллельных прямых: соответственные углы равны).
Если отрезок BC пересекает прямую AD в точке E, то это означает, что существует хотя бы один угол, который образует отрезок BC с прямой AD.
Рассмотрим положение точек A, D и E на прямой AD. Если точка E находится вне отрезка AD, тогда линии AD и BC не могут пересекаться без изменения интересующей нас угловой зависимости, что вступает в противоречие с тем, что BC пересекает AD. Это значит, что точка E должна находиться внутри отрезка AD.
Таким образом, мы пришли к выводу, что если отрезок BC пересекает прямую AD, то точка пересечения принадлежит отрезку AD.
Докажем итог: если BC пересекает AD, то точка E действительно принадлежит отрезку AD.