1、定義式:
同一平面永不相交,兩直線平行。
2、判定式:
同位角相等,兩直線平行;
內錯角相等,兩直線平行;
同旁內角互補,兩直線平行。
3、反證法:
假設兩條平行線相交,從而得出矛盾的條件,原命題成立。