利用同位角的数量关系探索两直线平行的条件