在欧几里德几何（你现在学的就是）中,有一条平行公理（公设）,即过线外一点有且只有一条直线与已有直线没有交点（平行）.加上合同公理,可以证得同位角相等.而你题中的两个命题互为逆命题,原则上是可以用的.