1、定义式：

同一平面永不相交，两直线平行。

2、判定式：

同位角相等，两直线平行；

内错角相等，两直线平行；

同旁内角互补，两直线平行。

3、反证法：

假设两条平行线相交，从而得出矛盾的条件，原命题成立。