平行线的定义：在同一平面内,两条不相交的直线叫做平行线.
根据定义,必须已知两条直线不相交,才能判定两条直线平行.
（但这一判定在一般证明中几乎没用过,只有在反正法中有用到）