24小时热门版块排行榜

返回列表

当前主题已经存档。

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

boruwei

金虫 (正式写手)

应助: 0 (幼儿园)
金币: 828.4
红花: 2
帖子: 891
在线: 85.4小时
虫号: 254774
注册: 2006-05-27
专业: 光学

[交流] 欧几里德的第五公设

无论怎样形容《几何原本》的伟大也不会显得过分夸张，它所奠定的公理化思想和演绎体系，直接孕育了现代科学，给它提供了最强大的力量。《几何原本》把几何学的所有命题推理都建筑在一开头给出的5个公理和5个公设上，用这些最基本的砖石建筑起了一幢高不可攀的大厦。

　　对于欧氏所给出的那5个公理和前4个公设(适用于几何学的他称为公设)，人们都可以接受。但对于第五个公设，人们觉得有一些不太满意。这个假设原来的形式比较冗长，人们常把它改成一个等价的表述方式：“过已知直线外的一个特定的点，能够且只能够作一条直线与已知直线平行”。长期以来，人们对这个公设的正确性是不怀疑的，但觉得它似乎太复杂了，也许不应该把它当作一个公理，而能够从别的公理中把它推导出来。但2000年过去了，竟然没有一个数学家做到这一点(许多时候有人声称他证明了，但他们的证明都是错的)！

　　欧几里德本人显然也对这个公设感到不安，相比其他4个公设，第五公设简直复杂到家了(其他4个公设是：1，可以在任意两点间划一直线。2，可以延长一线段做一直线。3，圆心和半径决定一个圆。4，所有的直角都相等)。在《几何原本》中，他小心翼翼地尽量避免使用这一公设，直到没有办法的时候才不得不用它，比如在要证明“任意三角形的内角和为180度”的时候。

　　长期的失败使得人们不由地想，难道第五公设是不可证明的？如果我们用反证法，假设它不成立，那么假如我们导出矛盾，自然就可以反过来证明第五公设本身的正确性。但如果假设第五公设不成立，结果却导致不出矛盾呢？

　　俄国数学家罗巴切夫斯基(N. Lobatchevsky)正是这样做的。他假设第五公设不成立，也就是说，过直线外一点，可以作一条以上的直线与已知直线平行，并以此为基础进行推演。结果他得到了一系列稀奇古怪的结果，可是它们却是一个自成体系的系统，它们没有矛盾，在逻辑上是自洽的！一种不同于欧几里得的几何--非欧几何诞生了！

　　从不同于第五公设的其他假设出发，我们可以得到和欧几里得原来的版本稍有不同的一些定理。比如“三角形内角和等于180度”是从第五公设推出来的，假如过一点可以作一条以上的平行线，那么三角形的内角和便小于180度了。反之，要是过一点无法作已知直线的平行线，结果就是三角形的内角和大于180度。对于后者来说容易想象的就是球面，任何看上去平行的直线最终必定交汇。比方说在地球的赤道上所有的经线似乎都互相平行，但它们最终都在两极点相交。如果你在地球表面画一个三角形，它的内角和会超出180度，当然，你得画得足够大才测量得到。传说高斯曾经把三座山峰当作三角形的三个顶点来测量它们的内角和，但似乎没有发现什么，不过他要是在星系间做这样的测量，其结果就会很明显了：星系的质量造成了空间的明显弯曲。

　　罗巴切夫斯基假设过一点可以做一条以上的直线与已知直线平行，另一位数学家黎曼则假设无法作这样的平行线，创立了黎曼非欧几何。他把情况推广到n维中去，彻底奠定了非欧几何的基础。更重要的是，他的体系被运用到物理中去，并最终孕育了20世纪最杰出的科学巨构--广义相对论。

回复此楼