Ну как-то так Две прямые, параллельные третьей, параллельны.
Доказательство.
Пусть прямые a и b параллельны прямой с. Допустим, что прямые a и b не параллельны. Тогда они пересекаются в некоторой точке С. Получается, что через точку С проходит две прямые параллельные прямой с. Но это противоречит аксиоме «Через точку, не лежащую на данной прямой, можно провести на плоскости не более одной прямой, параллельной данной». Теорема доказана.
Теорема
Если две параллельные прямые пересечены третьей прямой, то внутренние накрест лежащие углы равны.
Доказательство.
Пусть есть параллельные прямые a и b, которые пересекаются секущей прямой с. Прямая с пересекает прямую а в точке A и прямую b в точке B. Проведем чрез точку A прямую a1 так, что бы прямые a1 и b с секущей с образовали равные внутренние накрест лежащие углы. По признаку параллельности прямых прямые a1 и b параллельны. А так как через точку A можно провести только одну прямую параллельную b, то a и a1 совпадают.
Значит, внутренние накрест лежащие углы, образованные прямой a и b, равны. Теорема доказана.
На основании теоремы доказывается:
Если две параллельные прямые пересечены третьей прямой, то соответствующие углы равны.
Если две параллельные прямые пересечены третьей прямой, то сумма внутренних односторонних углов равна 180 º