Ответ:
Пусть данная прямая — ℓ. Поскольку AB пересекает ℓ, точки A и B лежат по разные стороны от неё. Отрезок AC не пересекает ℓ, значит, A и C находятся в одной полуплоскости. Аналогично, B и D находятся в одной полуплоскости, поскольку BD не пересекает ℓ.
- Точка M лежит на AC, поэтому она либо находится в полуплоскости точки A и C, либо лежит на ℓ.
- Точка N лежит на BD, поэтому она либо находится в полуплоскости точки B и D, либо лежит на ℓ.
- Если M или N лежит на ℓ, отрезок MN уже имеет общую точку с ℓ. Иначе M и N находятся в разных полуплоскостях, поэтому по аксиоме полуплоскостей MN пересекает ℓ.
Что и требовалось доказать.
