假设a和c不平行
则a和c相交
设交点是A
即A在a上,也在c上
因为a∥b,b∥c
所以过b之外一点A,可以做两条直线和b平行
和平行公理矛盾
所以假设错误
所以a∥c