开头给出的5个公理和5个公设上,用这些最基本的砖石建筑起了一幢高不可攀的大厦。
对于欧氏所给出的那5个公理和前4个公设(适用于几何学的他称为公设),人们都可以接受。但对于第五个公设,人们觉得有一些不太满意。这个假设原来的形式比较冗长,人们常把它改成一个等价的表述方式:“过已知直线外的一个特定的点,能够且只能够作一条直线与已知直线平行”。长期以来,人们对这个公设的正确性是不怀疑的,但觉得它似乎太复杂了,也许不应该把它当作一个公理,而能够从别的公理中把它推导出来。但2000年过去了,竟然没有一个数学家做到这一点(许多时候有人声称他证明了,但他们的证明都是错的)!
欧几里德本人显然也对这个公设感到不安,相比其他4个公设,第五公设简直复杂到家了(其他4个公设是:1,可以在任意两点间划一直线。2,可以延长一线段做一直线。3,圆心和半径决定一个圆。4,所有的直角都相等)。在《几何原本》中,他小心翼翼地尽量避免使用这一公设,直到没有办法的时候才不得不用它,比如在要证明“任意三角形的内角和为180度”的时候。
长期的失败使得人们不由地想,难道第五公设是不可证明的?如果我们用反证法,假设它不成立,那么假如我们导出矛盾,自然就可以反过来证明第五公设本身的正确性。但如果假设第五公设不成立,结果却导致不出矛盾呢?
Loading...
未加载完,尝试【刷新】or【关闭小说模式】or【关闭广告屏蔽】。
尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏!
移动流量偶尔打不开,可以切换电信、联通、Wifi。
收藏网址:www.tantanread.com
(>人<;)