a) Vẽ \(a // b\)
b) Vẽ \(c //a\)
Giả sử \(b\) không song song với \(c\) thì \(b\) cắt \(c\) tại một điểm \(O\) nào đó. Khi đó qua \(O\) ta có thể vẽ được hai đường thẳng \(b\) và \(c\) cùng song song với \(a\). Điều đó trái với tiên đề Ơclit về đường thẳng song song.
Vậy \(b // c.\)
c ) Phát biểu tính chất sau bằng lời:
Hai đường thẳng phân biệt cùng song song với một đường thẳng thứ ba thì chúng song song với nhau.