Giả sử b và c cắt nhau tại M . Vì b // a ; c // a nên điểm chung của b và c là M không nằm trên a , tức qua điểm M nằm ngoài a có thể vẽ được đến 2 đường thẳng phân biệt b,c là trái với tiên đề Ơ -clit thay vì chỉ 1 (phản chứng)
=> b , c không cắt nhau => b // c
a, mik sẽ vẽ cuối bài
b,b //c
c, b//a, a//c => b//c ( theo tính chất của ba đường thẳng // )