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