Kẻ đường thẳng d cắt a,b,c lần lượt tại A,B,C
a // b \(\Rightarrow\) góc A1 = góc B1 (đồng vị)
b // c \(\Rightarrow\) góc B1 = góc C1 (đồng vị)
Suy ra góc A1 = góc C1
mà hai góc này đứng vị trí so le trong nên a // c
Giả sử a không song song với c => a cắt c (Vì a; c phân biệt)
Gọi A là giao của a và c
a // b => A nằm ngoài đường thẳng b
Theo Tiên đề EuClid : Qua A kẻ được duy nhất một đường thẳng song song với đường thẳng b
Mà theo đề bài : a // b; c // b
=> c và a trùng nhau (trái với giả thiết) => Điều giả sử sai
Vậy a//c