23,743
次編輯
變更
小约翰
,無編輯摘要
}}
'''[[小约翰]]'''（Johann Carl Friedrich Gauss）是德意志著名 [[ 数学家 ]] ，也就是众人熟识的高斯，与欧拉并称数学史上两大巨星。
==个人履历==
小约翰的成就遍布于数学的各个领域，在内蕴几何、数论、双曲几何、微分几何、超几何级数、复分析以及椭圆分析等方面均有开创性贡献。他十分注重数学的应用，并且在对天文学、大地测量学和磁学的研究中也偏重于用数学方法进行研究。
小约翰幼时家境贫困，但聪明异常，1792年，在当地公爵的资助下，不满15岁的高斯进入了 [[ 卡罗琳学院 ]] 学习。在那里，小约翰开始对高等数学作研究。独立发现了二项式定理的一般形式、数论上的"二次互反法则"(Law of Quadratic Reciprocity)、"素数分布定理"(prime numer theorem)、及"算术几何平均"(arithmetic-geometric mean)。
1795年小约翰进入哥廷根大学。1796年，19岁的小约翰得到了一个数学史上极重要的结果，就是《 [[ 正十七边形尺规作图之理论与方法 ]] 》。1798年转入黑尔姆施泰特大学，翌年因证明代数基本定理获博士学位。1801年，小约翰又证明了形如"Fermat素数"边数的正多边形可以由尺规作出。
从1807年起担任哥廷根大学教授兼哥廷根天文台台长。
1801年发表的《Disquisitiones Arithmeticae》是数学史上为数不多的经典著作之一，它开辟了数论研究的全新时代。在这本书中，小约翰不仅把19世纪以前数论中的一系列孤立的结果予以系统的整理，给出了标准记号的和完整的体系，而且详细地阐述了他自己的成果，其中主要是同余理论、剩余理论以及型的理论。同余概念最早是由L.欧拉提出的，小约翰则首次引进了同余的记号并系统而又深入地阐述了同余式的理论，包括定义相同模的同余式运算、多项式同余式的基本定理的证明、对幂以及多项式的同余式的处理。19世纪20年代，他再次发展同余式理论，着重研究了可应用于高次同余式的互反法则，继二次剩余之后，得出了三次和双二次剩余理论。此后，为了使这一理论更趋简单，他将复数引入数论，从而开创了复整数理论。小约翰系统化并扩展了型的理论。他给出型的等价定义和一系列关于型的等价定理，研究了型的复合(乘积)以及关于二次和三次型的处理。1830年，小约翰对型和型类所给出的几何表示，标志着数的几何理论发展的开端。在《Disquisitiones Arithmeticae》中他还进一步发展了分圆理论，把分圆问题归结为解二项方程的问题，并建立起二项方程的理论。后来N.H.阿贝尔按小约翰对二项方程的处理，着手探讨了高次方程的可解性问题。
小约翰在计算的谷神星轨迹时总结了复数的应用，并且严格证明了每一个n阶的代数方程必有n个复数解。在他的第一本著名的著作《 [[ 数论 ]] 》中，作出了二次互反法则的证明，成为数论继续发展的重要基础。在这部著作的第一章，导出了三角形全等定理的概念。
===代数===
==天体运动论==
小约翰在他的建立在最小二乘法基础上的测量平差理论的帮助下，计算出天体的运行轨迹。并用这种方法，发现了谷神星的运行轨迹。谷神星于1801年由意大利天文学家皮亚齐发现，但他因病耽误了观测，失去了这颗小行星的轨迹。皮亚齐以希腊神话中"丰收女神"(Ceres)来命名它，即谷神星(Planetoiden Ceres)，并将以前观测的位置发表出来，希望全球的天文学家一起寻找。当时，24岁的小约翰得悉后，只花了几个星期，通过以前的三次观测数据，用他的最小二乘法得到了谷神星的椭圆轨道，计算出了谷神星的运行轨迹。尽管两年前小约翰就因证明了代数基本定理获得博士学位，同年出版了他的经典著作《算术研究》，但还是谷神星的轨道使他一举名震科坛。奥地利天文学家 Heinrich Olbers在小约翰的计算出的轨道上成功发现了这颗小行星。从此小约翰名扬天下。小约翰将这种方法著述在著作《天体运动论》(Theoria Motus Corporum Coelestium in sectionibus conicis solem ambientium)中。<ref>[https://baike.so.com/doc/6126128-7423438.html 小约翰]</ref>
==文献参考==
{{Reflist}}