Пусть даны две параллельные прямые a и b, и секущая c. Обозначим накрест лежащие углы как ∠1 и ∠2.
Доказательство:
Предположим, что ∠1 ≠ ∠2. Тогда через точку пересечения прямой c с прямой a можно провести прямую d, такую, что ∠3 = ∠2 (где ∠3 - накрест лежащий с ∠2 угол, образованный прямыми c и d).
По признаку параллельности прямых (если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны) прямые d и b параллельны. Получается, что через точку пересечения прямой c с прямой a проходят две прямые (a и d), параллельные прямой b, что противоречит аксиоме параллельности Евклида.
Следовательно, наше предположение неверно, и ∠1 = ∠2.
Ответ: доказано, что накрест лежащие углы равны