更新时间:2018-11-23 09:38作者:才子老师
希腊时代的数学家已经知道如何用尺规作出正 2m×3n×5p 边形,其中 m 是正整数,而 n 和 p 只能是0或1。但是对于正七、九、十一边形的尺规作图法,两千年来都没有人知道。而高斯证明了:
一个正 n 边形可以尺规作图若且唯若 n 是以下两种形式之一:
1、n = 2k,k = 2, 3,…
2、n = 2k × (几个不同「费马质数」的乘积),k = 0,1,2,…
费马质数是形如 Fk = 22k 的质数。像 F0 = 3,F1 = 5,F2 = 17,F3 = 257, F4 = 65537,都是质数。高斯用代数的方法解决二千多年来的几何难题,他也视此为生平得意之作,还交待要把正十七边形刻在他的墓碑上,但后来他的墓碑上并没有刻上十七边形,而是十七角星,因为负责刻碑的雕刻家认为,正十七边形和圆太像了,大家一定分辨不出来。
1799年高斯提出了他的博士论文,这论文证明了代数一个重要的定理:
任一多项式都有(复数)根。这结果称为「代数学基本定理」(Fundamental Theorem of Algebra)。
事实上在高斯之前有许多数学家认为已给出了这个结果的证明,可是没有一个证明是严密的。高斯把前人证明的缺失一一指出来,然后提出自己的见解,他一生中一共给出了四个不同的证明。
在1801年,高斯二十四岁时出版了《算学研究》(Disquesitiones Arithmeticae),这本书以拉丁文写成,原来有八章,由于钱不够,只好印七章。
这本书除了第七章介绍代数基本定理外,其余都是数论,可以说是数论第一本有系统的着作,高斯第一次介绍「同余」(Congruent)的概念。「二次互逆定理」也在其中。
二十四岁开始,高斯放弃在纯数学的研究,作了几年天文学的研究。 当时的天文界正在为火星和木星间庞大的间隙烦恼不已,认为火星和木星间应该还有行星未被发现。在1801年,意大利的天文学家Piazzi,发现在火星和木星间有一颗新星。它被命名为「谷神星」(Cere)。现在我们知道它是火星和木星的小行星带中的一个,但当时天文学界争论不休,有人说这是行星,有人说这是彗星。必须继续观察才能判决,但是Piazzi只能观察到它9度的轨道,再来,它便隐身到太阳后面去了。因此无法知道它的轨道,也无法判定它是行星。