关于平行线传递性的质疑

！那他们岂止是有交点 而且有无数的交点

那么！这时！！！！？？

根据平行线的定义！ 首先！！他们不能有交点，AB还‖EF吗！
那么！！平行线传递性说
如果 l‖n n‖m 则 l‖m

那么如果
直线AB‖CD CD‖EF 那么可以得出AB‖EF

但是！
如果恰好AB 和EF共线的话！
AB还‖EF吗？！既然AB EF 共线！？？！！！！？？！！

平行线传递性说
如果 l‖n n‖m 则 l‖m

那么如果
直线AB‖CD CD‖EF 那么可以得出AB‖EF

其实定义好像是这样下的：
如果 l‖n n‖m 且l,m不共线，则 l‖m 。

如果两条直线都与第三条直线平行，那么这两条直线也互相平行。 图例：如果a与b平行，且b与c平行，则a与c平行。 概念：平行于同一条直线的两条直线平行 证明：如果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 （平行公理的推论）