几何的世界读后感整理(26)

然后，用代数方法来判断。判断的准则是：“对一个几何量用直尺和圆规能作出的充分必要条件是：这个几何量所对应的数能由已知量所对应的数，经有限次的加、减、乘、除及开平方而得到。”（圆周率不可能如此得到，它是超越数，还有e、刘维尔数都是超越数，我们知道，实数是不可数的，实数分为有理数和无理数，其中有理数和一部分无理数，比如根号2，是代数数，而代数数是可数的，因此实数中不可数是因为超越数的存在。虽然超越数比较多，但要判定一个数是否为超越数却不是那么的简单。）至此，“三大难题”即“化圆为方、三等分角、二倍立方体”问题是用尺规不能作出的作图题。正十七边形可作，但其作法不易给出。高斯（Gauss）在1796年19岁时，给出了正十七边形的尺规作图法，并作了详尽的讨论。为了表彰他的这一发现，他去世后，在他的故乡不伦瑞克建立的纪念碑上面刻了一个正十七边形。
几何中连续公理的引入。由欧氏公设、公理不能推出作图题中“交点”存在。因为，其中没有连续性（公理）概念。这就需要给欧氏的公理系统中添加新的公理——连续性公理。虽然19世纪之前费马与笛卡尔已经发现解析几何，代数有了长驱直入的进展，微积分进入了大学课堂，拓扑学和射影几何已经出现。但是，数学家对数系理论基础仍然是模糊的，没有引起重视。直观地承认了实数与直线上的点都是连续的，且一一对应。直到19世纪末叶才完满地解决了这一重大问题。从事这一工作的学者有康托（Cantor）、戴德金（Dedekind）、皮亚诺（Peano）、希尔伯特（Hilbert）等人。
当时，康托希望用基本序列建立实数理论，代德金也深入地研究了无理数理念，他的一篇
实际上，“直线上全体点是连续统”也是没有逻辑基础的。更没有明确全体实数和直线全体点是一一对应这一重大关系。如，数学家波尔查奴（Bolzano）把两个数之间至少存在一个数，认为是数的连续性。实际上，这是误解。因为，任何两个有理数之间一定能求到一个有理数。但是，有理数并不是数的全体。有了戴德金分割之后，人们认识至波尔查奴的说法只是数的稠密性，而不是连续性。由无理数引发的数学危机一直延续到19世纪。直到1872年，德国数学家戴德金从连续性的要求出发，用有理数的“分割”来定义无理数，并把实数理论建立在严格的科学基础上，才结束了无理数被认为“无理”的时代，也结束了持续2000多年的数学史上的第一次大危机。