Теорема: Если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны
Пусть при пересечении прямых а и b секущей АВ накрест лежащие углы равны. Например, ∠ 4 = ∠ 6. Докажем, что а || b.
Предположим, что прямые а и b не параллельны. Тогда они пересекаются в некоторой точке М и, следовательно, один из углов 4 или 6 будет внешним углом треугольника АВМ. Пусть для определенности ∠ 4 — внешний угол треугольника АВМ, а ∠ 6 — внутренний. Из теоремы о внешнем угле треугольника следует, что ∠ 4 больше ∠ 6, а это противоречит условию, значит, прямые а и 6 не могут пересекаться, поэтому они параллельны.