Пусть даны две прямые, пересекающиеся секущей и образующие равные лежащие углы.
Для доказательства, что прямые параллельны, воспользуемся доказательством от противного. Предположим, что прямые не параллельны.
Если прямые не параллельны, то они образуют пересекающиеся углы, иначе говоря, в точке пересечения прямых будет образовываться новый угол. В этом случае лежащие углы (расположенные по одну сторону от пересекающей прямой) не могут быть равными друг другу.
Но по условию задачи, лежащие углы равны. Это противоречие.
Таким образом, наше предположение неверно, и прямые должны быть параллельными.
Данным доказательством мы подтверждаем, что если при пересечении двух прямых секущей лежащие углы равны, то прямые параллельны.
