郑铨《相对论讨论.欧氏几何第五公设的证明》有误
(http://www.xhy-art.com/zhq/zhq-zh9.htm) 他的论证中的[ 定理 1]的第一步: “从直线 CC' 外一点 B ( B 和 CC' 的距离为有限值),划直线 BC 垂直于 CC'” 仔细的人很快会发现,这步的可行性要由“第五公设”给予证明,此步要用到定理“过直线外一点,有且仅有一条直线与已知直线平行”来说明它的可行性,然而,此定理唯一性的证明(也就是“仅有”一词的证明),不能离开“第五公设”。也就是说,郑铨所“证明”的一切,不过是用“第五公设”证明了“第五公设” |