При пересечении прямой l

Теорема: Если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны

Пусть при пересечении прямых а и b секущей АВ накрест лежащие углы равны. Например, ∠ 4 = ∠ 6. Докажем, что а || b.

Предположим, что прямые а и b не параллельны. Тогда они пересекаются в некоторой точке М и, следовательно, один из углов 4 или 6 будет внешним углом треугольника АВМ. Пусть для определенности ∠ 4 - внешний угол треугольника АВМ, а ∠ 6 - внутренний. Из теоремы о внешнем угле треугольника следует, что ∠ 4 больше ∠ 6, а это противоречит условию, значит, прямые а и 6 не могут пересекаться, поэтому они параллельны.