用通俗的语言来讲:假设 p 是一个素数,整数 a 不能够被 p 整除,那么 a 的 p-1 次方减去 1 ,就一定能够被素数 p 整除。时至今日,费马小定理依旧是密码学、素数检测当中最常使用的基础工具。除此之外,费马还开创了无穷递降法。这是一种反证的证明工具:想要证明某个正整数方程没有解,就先假设它存在一组解,然后推导出一组数值更小的解,如此无限递降下去。可是正整数不可能无穷无尽地越变越小,由此产生矛盾,便证明最初的假设并不成立。无穷递降法,后来成为数论证明当中一件威力无穷的利器。
欧拉首先迈出了证明平方和定理的伟大一步,而后又将费马小定理做了关键性的推广,创造出大名鼎鼎的欧拉 φ 函数以及欧拉定理。欧拉定理公式写作 a^{φ(n)}≡1 mod n 。费马小定理仅仅适用于模数为素数的情况,欧拉定理则打破这条限制,把模数拓展到了所有正整数。φ(n) 函数的含义是小于正整数 n 并且和 n 互质的正整数的个数。这条定理,正是今天互联网 RSA 加密算法的理论根基。
欧拉的成就远远不止数论一个领域。他写下了人类数学史上最美的公式之一:欧拉恒等式 e^{ix}=cos x+i sin x 。(^ 为上标符号)它巧妙地把指数函数、三角函数、虚数单位完美融合在一起,打通了分析数学和复数世界之间的壁垒。除此之外,欧拉还解决了哥尼斯堡七桥问题。城中一条河流分割出四块陆地,七座桥梁横跨河流,当地居民长久以来苦苦思索:有没有办法一次性走完七座桥,并且每一座桥只能经过一次。欧拉经过演算,证明这样的路线并不存在。而这次解答,直接开创了一个崭新的数学分支——图论。
高斯的影响力并不局限在纯数论领域。在天文学的研究当中,谷神星一度消失在星空之中,天文学家无法追踪它的轨迹。高斯开创性地使用最小二乘法,依靠为数不多的观测数据,精准预测出谷神星重新出现的轨道位置,在世界面前展示出数学强大的预测力量。在代数领域,高斯严格证明了代数基本定理,宣告每一个 n 次复系数多项式方程,都必然拥有 n 个复数根。他同时也对非欧几何有着超前的思考,只是出于种种顾虑,这份成果在他生前始终没有公开发表。