在接受了九年义务教育的人都知道,平行线永远不会相交,无论如何延伸或缩短,它们始终保持相互平行的关系。然而,有一个人却提出了一个看似匪夷所思的说法:平行线是能相交的。最初,他的观点遭到了质疑,甚至一直未能得到认可。直到他去世后的12年,人们才发现,他才是真正的天才。

这位数学家的思考源自欧几里得的第五公设。公元前3世纪,希腊几何学家和数学家欧几里得编纂了古希腊几何学的巨著《几何原本》。这部作品包含了几何学的基本原理、定理和证明,成为几何学教学的标准手册长达两千多年。其中,第五公设描述了直线和平行线之间的关系,成为几何学的基石。
这第五公设一直让人感到奇怪,因为它似乎不同于其他的公设。它陈述道:如果一条直线与另外两条直线相交,使得内角和小于180度的两个同边内角之和小于180度,那么这两条直线在这一边延长的部分将相交。这个陈述看起来不像一个定理,反而更像是一个需要证实的任务,似乎欧几里得在这里留下了一个难以解答的问题。
历代数学家试图通过其他公设和推论来证明第五公设,但一直未能成功。直到19世纪初,俄罗斯数学家尼古拉斯·伊万诺维奇·罗巴切夫斯基改变了思路。他采用了反证法,这是一种基于逻辑推理的原理,通过假设命题的否定为真,然后推导出矛盾的结论,从而得出原命题的真实性。

页码:下一页