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