兰州的
反证法是有问题的,那种证明是在证“
同位角相等,两直线平行”。这与“两直线平行,同位角相等”不等价。
假设的应该是:同位角不相等。最后推出两直线不平行,与两直线平行的假设矛盾。进而说明两直线平行,同位角必须相等。这样的逻辑才能够说通。
事实上,证明的推理顺序是这样的:
1、证明两直线平行,同旁内角互补。利用公理5进行推论
2、证明同位角相等,两直线平行。用上述证明非常容易得出
⊙﹏⊙b汗,我忘了第5公理的原始形式。。。
第五公理:同平面内一条直线和另外两条直线相交,若在某一侧的两个内角和小于二直角的和,则这二直线经无限延长后在这一侧相交。(公理是不用证明的)
参考百度百科的
欧式几何。。。
这条命题的
逆否命题是:如果这两条直线平行,则同旁内角必须互补。