neu d1//d2 va d1//d3 thoi d2//d3
Giả sử d2//d1, d3//d1 và d2 k song song với d3 và d2 với d3 là hai đường thẳng phân biệt
=> d2 cắt d3 tại một điểm
Đặt điểm đó là A
Theo tiên đề Ơ-clit ta có:
“Qua một điểm ở ngoài một đường thẳng chỉ có một đường thẳng song song với đường thẳng đó”
Vậy ta chỉ có một đường thẳng đi qua A và song song với d1, điều này trái với giả thuyết
Vậy nếu d1//d2, d1//d3 thì d2//d3