题目内容：

用反证法证明同位角相等两直线平行时 能用上两直线平行同位角相等的定理吗?
两直线平行同位角相等和同位角相等两直线平行貌似是两码事啊,应该不算循环论证吧

优质解答

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