1、定义式：
同一平面永不相交，两直线平行。
2、判定式：
同位角相等，两直线平行；
内错角相等，两直线平行；
同旁内角互补，两直线平行。
3、反证法：
假设两条平行线相交，从而得出矛盾的条件，原命题成立。
