如果a‖b,a‖c,那么b‖c 假使b、c不平行 则b、c交于一点O 又因为a‖b,a‖c 所以过O有b、c两条直线平行于a 这就与平行公理矛盾 所以假使不成立 所以b‖c 由同位角相等，两直线平行，可推出内错角相等，两直线平行。 同旁内角互补，两直线平行。 所以 如果两条直线都与第三条直线平行，那么这两条直线也互相平行。 （平行公理的推论）
