Две прямые, параллельные третьей, параллельны. Это свойство называется транзитивностью параллельности прямых. Доказательство Пусть прямые a и b одновременно параллельны прямой c. Допустим, что a не параллельна b, тогда прямая a пересекается с прямой b в некоторой точке A, не лежащей на прямой c по условию. Следовательно, мы имеем две прямые a и b, проходящие через точку A, не лежащую на данной прямой c, и одновременно параллельные ей. Это противоречит аксиоме 3.1. Теорема доказана.
аксиома 3.1Через точку, не лежащую на данной прямой, можно провести прямую, параллельную данной, и притом только одну.
Это свойство называется транзитивностью параллельности прямых.
Доказательство
Пусть прямые a и b одновременно параллельны прямой c. Допустим, что a не параллельна b, тогда прямая a пересекается с прямой b в некоторой точке A, не лежащей на прямой c по условию. Следовательно, мы имеем две прямые a и b, проходящие через точку A, не лежащую на данной прямой c, и одновременно параллельные ей. Это противоречит аксиоме 3.1. Теорема доказана.
аксиома 3.1Через точку, не лежащую на данной прямой, можно провести прямую, параллельную данной, и притом только одну.