Рассмотрим точку (P), которая не принадлежит прямой (a). Из точки (P) проводятся три прямые: (l_1), (l_2) и (l_3). Нам нужно доказать, что по крайней мере две из этих прямых пересекают прямую (a).
Для начала вспомним, что прямая на плоскости делит плоскость на две полуплоскости. Поскольку точка (P) не лежит на прямой (a), она находится в одной из этих полуплоскостей. Рассмотрим возможные случаи расположения прямых (l_1), (l_2) и (l_3).
Случай 1: Все три прямые пересекают прямую (a).
В этом случае утверждение доказано, так как все три прямые пересекают прямую (a), следовательно, по крайней мере две из них её пересекают.
Случай 2: Ни одна из прямых не пересекает прямую (a).
Если бы ни одна из прямых не пересекала прямую (a), то все три прямые должны были бы лежать в одной полуплоскости относительно прямой (a) и быть параллельными прямой (a). Однако, через одну точку, не лежащую на данной прямой, можно провести только одну прямую, параллельную данной (по аксиоме параллельности в евклидовой геометрии). Следовательно, этот случай невозможен.
Случай 3: Только одна из прямых пересекает прямую (a).
Если мы предположим, что только одна из прямых пересекает прямую (a), это также приводит к противоречию, так как две другие должны быть параллельны прямой (a). Но, как отмечено ранее, через одну точку можно провести только одну параллельную прямую, что делает невозможным этот случай.
Из этого анализа видно, что остался только один возможный вариант: по крайней мере две из трех проведенных прямых пересекают прямую (a).
Таким образом, в любом случае, по крайней мере две из трех прямых (l_1), (l_2), (l_3), проведенных через точку (P), пересекают прямую (a), что и требовалось доказать.