开头给出的5个公理和5个公设上，用这些最基本的砖石建筑起了一幢高不可攀的大厦。

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

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

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

Loading...

未加载完成，请尝试【刷新网页】or【关闭小说模式】or【关闭广告屏蔽】。

建议使用【Firefox浏览器】or【Chrome谷歌浏览器】打开并收藏！

收藏网址：www.tantanread.com

(＞人＜；)