数论史：从丢番图到怀尔斯

数论史很容易被讲成一串漂亮结论：完全数、素数、费马小定理、二次互反律、黎曼猜想、费马大定理。这样的讲法方便记忆，却会遮住一条更重要的线索：数学家怎样把“关于整数的谜题”一步步改造成有概念、有方法、有结构的理论。

古希腊数论最早并不从代数符号出发。《几何原本》第七、八、九卷把整数、倍数、比例、互素、素数和完全数放在一种几何化的论证语言里。欧几里得证明素数无穷多时，没有写现代集合论，也没有写同余式，但他已经给出一种典型数论姿态：只靠整数关系本身推出必然结论。

丢番图带来的转折，是把具体问题推向未知数计算。《算术》里的题常常像谜题：求两个数、三个数，使它们满足某些平方、和差或比例条件。它不像欧几里得那样建立公理化数论体系，却把“不定方程”这个问题类型推到台前。

丢番图的记号还不是现代代数，但已经足以改变读法。一个数被设为未知数以后，题目中散乱的关系可以收束成方程。数论因此获得一种新的入口：不再只是证明整数一般性质，也可以在条件约束下寻找整数或有理数解。

这条线在费马那里变得尖锐。费马读丢番图时，常常把边注写成新的命题：平方和、素数形式、无限递降、费马小定理、二平方和定理，以及最著名的费马大定理旁注。费马的很多证明没有完整流传，但他的题目把数论的胃口撑大了。

费马最重要的方法之一是无限递降。它的精神很朴素：假如存在一个最小反例，就从它构造出更小的反例，矛盾。这个方法非常适合整数问题，因为正整数不能无限下降。数论在这里显出一种和连续量不同的刚性。

欧拉继承费马问题时，数论开始变得系统。欧拉不只解孤立题，也把函数、级数、乘积和同余技巧带进整数研究。他研究分拆、二次型、欧拉函数、费马小定理推广，并用解析方法触碰素数分布。

欧拉乘积是一个标志性时刻。ζ(s) 作为自然数倒数幂级数，本来像分析对象；把它写成所有素数的乘积以后，素数结构突然进入分析语言。这里埋下的种子，会在一个世纪后通向黎曼ζ函数和素数定理。

高斯的《算术研究》把数论提高到新标准。它不是题解集，而是一部结构化著作：同余记号、剩余类、二次剩余、二次互反律、二次型都被放进严密系统。高斯让数论有了自己的语法。

同余记号的意义常被低估。写下 a ≡ b (mod m)，并不是换一种短写法，而是把“除以 m 余数相同”变成可计算、可组合、可证明的关系。许多数论问题因此从散乱算术变成模结构里的推理。

二次互反律是十九世纪数论的核心高峰之一。它回答某个素数 p 是否为另一个素数 q 的二次剩余，与 q 是否为 p 的二次剩余之间有什么规律。这个命题把很多局部判断联成一个对称结构。

从高斯以后，数论不再只是整数技巧。代数数论、理想数、类数和域的观念开始进入。费马大定理的尝试尤其推动了这条线：为了处理 x^n + y^n = z^n，人们不得不面对唯一分解在更大数系中会失效的问题。

库默尔引入理想数，正是为了修补唯一分解的破口。这个历史细节很重要：抽象概念不是凭空追求高深，而是在旧方法遇到真实障碍时被迫发明出来的工具。数论的抽象化，有很强的问题压力。

黎曼的 1859 年论文又开辟另一条道路。ζ函数从欧拉的实变量级数，变成复平面上的解析对象。素数分布问题因此和复变函数的零点连接起来。整数问题突然需要分析的眼光。

黎曼猜想的魅力就在这里：它用一个关于复函数零点位置的断言，控制素数分布的误差。素数是离散对象，ζ函数是解析对象，中间的桥梁显示了现代数论的深度。

十九世纪末到二十世纪，数论继续分化。解析数论研究素数分布，代数数论研究数域、理想和局部整体关系，组合数论关心集合结构，几何和拓扑也逐渐介入。这些分支表面差异很大，却都继承了同一个问题核心：整数结构如何被更大语言照亮。

费马大定理的现代证明最能说明这种变化。怀尔斯证明的不是费马可能想出的初等论证，而是经由椭圆曲线、模形式、伽罗瓦表示和谷山-志村猜想的现代路线。结论古典，证明现代。

这并不意味着古典问题被现代机器“压扁”。恰恰相反，费马大定理之所以重要，是因为它把几个世纪的数论方法都拉进同一条叙事：丢番图问题、费马边注、代数数论障碍、模形式桥梁，最后在现代结构中闭合。

中国数学也有数论线索。秦九韶的大衍求一术处理一次同余组，与后来中国剩余定理的现代说法相通。它和高斯同余理论当然不是同一种文本传统，但可以在问题层面互相照面：怎样从多个余数条件恢复一个数。

把秦九韶放进数论史，不是为了争谁先谁后，而是为了看见整数问题在不同文明中都会逼出算法。欧几里得给证明，高斯给结构，秦九韶给有效求解程序；这些维度合在一起，数论才完整。

若再把视野放宽一点，古代数论还有一条常被忽略的线：整数和量的区别。希腊数学把“数”主要理解为正整数，把线段、面积、体积放在量的世界里处理。无理量的发现让这种分界更加敏感。整数可以相加、相乘、分解，量却牵涉连续性和比例。后来数论与分析、几何相互进入，正是因为这道古老边界不断被重新打开。

《几何原本》第十卷讨论不可公度量，看上去不像数论，却提醒我们：整数问题从一开始就和“可整除”“可比”“可度量”纠缠在一起。完全数、互素、最大公因数、连比例数，都不是孤立技巧，而是在问一种对象能不能被另一种对象整齐地控制。

中世纪阿拉伯语世界和拉丁欧洲的转译，也改变了丢番图的命运。《算术》不是在一个稳定课堂里直接传到费马手上，而是在抄本、注释、翻译和印刷中重新出现。巴歇的拉丁版给费马提供了实际阅读对象，费马的边注又反过来改变后人阅读丢番图的方式。数论史在这里很像一条文本史：题目如何被保存、误读、重写，本身就是数学发展的一部分。

费马之后，数论有一段很长时间靠通信和题目驱动。一个命题寄给朋友，另一个人给出推广或反例。这样的知识生产方式不如教科书整齐，却非常适合数论，因为数论问题短，答案硬，容易在几个数学家之间形成持续挑战。费马、帕斯卡、惠更斯、沃利斯、欧拉之间的通信传统，让整数问题保持了活力。

拉格朗日、勒让德和雅可比也应放在高斯前后看。连分数、二次型、勒让德符号、雅可比符号，都在把费马和欧拉的技巧整理成更稳定的工具。高斯不是凭空把数论变成体系，他接过的是一批已经高度活跃、但还缺少统一语法的问题。

二次型尤其能说明数论怎样从“解一个方程”走向“分类一种结构”。问整数能否表示成 ax^2 + bxy + cy^2 的形式，表面是求解问题，深处却要比较不同形式之间的等价、合成和类。这里已经出现现代代数数论的影子：对象不只是数，还是由数构成的形式和关系。

十九世纪后半的戴德金、克罗内克、韦伯等人，把这种结构化继续推进。戴德金理想把“数的分解”转成“理想的分解”，让唯一分解在更抽象层面重新成立。这个转变很像数论的一次语言升级：不强迫旧对象满足旧规则，而是发明能保留定理形状的新对象。

同一时期，局部思想也逐渐成熟。一个方程有没有整数解，常常先看它在每个模数下有没有解，或在 p 进世界里有没有解。局部检查不能自动推出整体解，却能排除许多可能，也能暴露障碍。现代数论中的局部整体原则，背后仍是同余思想的延长。

解析数论则展示另一种性格。切比雪夫、哈达玛、德拉瓦莱普桑围绕素数定理推进，把素数计数和复分析估计连起来。这里的困难不在题目陈述，而在怎样控制误差。整数的离散跳动，要靠连续函数的细致分析去驯服。

二十世纪的数论更加不像一门单线学科。类域论把交换扩张组织成宏大理论，p 进分析提供新的邻近概念，椭圆曲线把代数几何引入整数问题，自动形式和表示论又把对称性推到核心位置。若只从“算整数”理解数论，就会看不见这些变化；若只看抽象结构，又会忘记它们仍被古老整数问题牵引。

怀尔斯证明费马大定理的路线，正好说明现代数论怎样工作。椭圆曲线不是为费马大定理临时发明的，模形式也不是题目的自然翻译；它们本来属于不同区域。证明的关键，是发现这些区域之间有深层对应。古典方程的无解性，最后靠对象之间的桥来证明。

所以，数论史有两个节奏同时存在。一个节奏很慢：素数、同余、方程、整除这些问题几千年不消失。另一个节奏很快：每个时代都会引入新语言，几何语言、代数符号、同余记号、复函数、理想、域、曲线、表示。问题保持古老，语言不断更新，这才是数论最迷人的地方。

现代读者读数论史，最容易犯的错是把所有旧问题都翻译成今天的定理名。更好的读法，是先保持每个时代自己的工具边界：丢番图没有现代符号，高斯没有抽象代数教材，黎曼也不是为了写现代数论导论。

数论的长期生命力来自它的双重性。一方面，整数问题可以被小学生理解，问题常常短而硬；另一方面，真正深入时，它会吸收代数、分析、几何、逻辑和计算。入口简单，内部极深。

因此，数论史不是从朴素到高级的直线升级，而是问题不断换语言的过程。每换一次语言，旧问题会保留一部分形状，也会显出新的侧面。丢番图到怀尔斯的距离，正是这种换语言能力的历史。

在灯下的阅读顺序上，可以先读欧几里得第七至九卷，知道整数命题怎样被证明；再读丢番图，看未知数如何组织问题；再读秦九韶和高斯，体会算法与同余结构；最后把黎曼ζ和怀尔斯留作现代占位。这样，数论史不会只是名人年表，而是一条可重走的方法线。