第2卷 第10章 费马大定理

学习目标

• 能把费马大定理的全称命题归约到四次方或奇质数指数，并画出从反例到矛盾的完整逻辑链
• 能在有限域中逐点计算椭圆曲线，区分仿射点、无穷远点、Frobenius 迹与好坏归约
• 能用 q 展开、局部系数和模性解释椭圆曲线与模形式如何在质数处相遇
• 能说明 Frey 曲线、Ribet 定理和 Wiles–Taylor 定理各自承担的桥接职责，并复核一条勾股数构造

从公开研讨会开始

原章开场时，“我”、米尔嘉、泰朵拉和尤里参加了一场面向公众的费马大定理研讨会。新名词像洪水一样涌来，大家几乎跟不上证明细节，但米尔嘉抓住了讲者唯一抬头强调的句子：要注意费马大定理深处的谷山—志村定理。

先预测这条跨越350年的路线：为什么逐个验证指数永远不够；唯一分解失败为何不是死路；一条曲线在有限域中的点数怎样与复函数系数相遇；又为何证明“半稳定椭圆曲线都模”就能排除一个只谈整数乘方的反例？

费马大定理的断言：

$$x^n+y^n=z^n,\qquad n\ge 3$$

没有正整数解。它的陈述只用到自然数和乘方，一个中学生就能读懂；困难在于量词“所有n”。费马在丢番图《算术》的页边留下“发现了美妙证明但空白太小”的笔记，却没有留下证明。费马的儿子山缪重印带批注的《算术》，这个私人问题才穿过几个世纪抵达后人。

证明全部指数时，不必逐一处理每个合数指数。若n有奇质因子p，写成：

$$n=mp,$$

那么一组n次方解会给出：

$$\left(x^m\right)^p+\left(y^m\right)^p=\left(z^m\right)^p.$$

若n没有奇质因子，则n=2^r；当n\ge3时必有r\ge2，一组解又会归约成四次方情形。因此，只要证明：

1. FLT(4)成立；
2. 对每个奇质数p，FLT(p)成立；

就覆盖了所有n\ge3。第8章已经用无穷递降法完成第一块拼图，本章要理解现代方法怎样一次接住全部奇质数。

三个时代不是三份互不相干的故事

初等数论时代：逐个指数推进

17至19世纪的研究者主要使用整除、最大公约数、互质、质数与无穷递降：

• 费马证明FLT(4)；
• 欧拉证明FLT(3)；
• 狄利克雷与勒让德推进FLT(5)；
• 拉梅证明FLT(7)。

每增加一个指数，计算和分类都急剧膨胀。逐个击破让人看见局部结构，却没有提供处理任意奇质数p的统一语言。

苏菲·姬曼开辟了更一般的路线。她研究奇质数p与辅助质数，证明满足相应条件时，任何可能解都会被迫具有很强的整除性质；著名的“Sophie Germain质数”情形取辅助质数2p+1。这并没有直接证明所有p，却第一次让一整族指数受到同一方法控制。

代数数论时代：唯一分解为何会失效

对奇质数p，若引入一个p次单位根\zeta，形式上可以分解：

$$x^p+y^p =\prod_{k=0}^{p-1}\left(x+\zeta^k y\right).$$

这很像把普通整数中的乘积分解方法搬到整数环\mathbb Z[\zeta]。如果每个因子两两互质，而且乘积是p次方，人们希望推出每个因子本身也是p次方，再启动无穷递降。

漏洞在于：新整数环里未必有。在普通整数中熟悉的推理：

$$\gcd(u,v)=1,\quad uv=w^p \Longrightarrow u=r^p,\ v=s^p$$

依赖唯一分解；换了环以后不能直接沿用。库默尔指出这个障碍，并以“理想数”修复分解结构；戴德金后来把它整理成。元素可能不唯一分解，理想却能分解为素理想。费马大定理的失败没有让代数数论停步，反而催生了新的对象。

几何数论时代：连接两个世界

1955年前后，谷山丰与志村五郎提出后来称为谷山—志村猜想的思想：有理数域上的椭圆曲线应当与模形式对应。1985年，Gerhard Frey指出，若费马大定理存在反例，就能制造一条行为极端异常的椭圆曲线。Serre把“异常”精确化，Ribet在1986年证明所需的降层结论，把古老方程与模性猜想真正接通。

Andrew Wiles由此看见一条可走的路。他隐秘研究七年，1993年宣布证明；发现缺口后，他与Richard Taylor在1994年完成修补。关键不是孤立地对原方程做更长的因式分解，而是证明一类椭圆曲线必然拥有模性。

回到1986年：先发现“该证明什么”

原章让尤里搭乘时间机器，把1986年的知识状态压成几条命题：

1. FLT(3)、FLT(4)、FLT(5)、FLT(7)已经证明。
2. 若某个奇质数指数存在费马反例，就能构造Frey曲线。
3. Frey曲线是一条半稳定椭圆曲线。
4. Ribet的工作意味着这条Frey曲线不可能是模的。
5. “每条椭圆曲线都是模的”仍是未证明的谷山—志村猜想。

这里重要的不是立刻理解全部专业定义，而是读出命题之间的逻辑。反设费马大定理不成立，经过指数归约后存在奇质数p和两两互质的正整数a,b,c：

$$a^p+b^p=c^p.$$

由此构造一条半稳定、却不模的椭圆曲线。如果再证明“每条半稳定椭圆曲线都模”，便同时得到：

$$\exists E\colon E\text{ 半稳定且不模},$$

以及：

$$\nexists E\colon E\text{ 半稳定且不模}.$$

两者矛盾，反设被否定。

这也解释Wiles为何只证明带“半稳定”限制的情形就足够。完整谷山—志村猜想当时太大；Frey曲线恰好落在半稳定类中，目标可以缩小为：

$$\boxed{\text{每条半稳定椭圆曲线都是模的}}.$$

这就是原章所称的。后来更一般的模性定理才覆盖所有有理椭圆曲线。

椭圆曲线的世界

定义不等于“长得像椭圆”

原章给出的椭圆曲线定义使用如下有理模型：

$$E\colon y^2=x^3+Ax^2+Bx+C, \qquad A,B,C\in\mathbb Q,$$

并要求右侧三次多项式没有重根。严格地说，还会加入一个无穷远点\mathcal O，使曲线上的点在几何加法下组成阿贝尔群。第6章的群公理在这里终于有了对象。

本章贯穿使用的示例是：

$$E\colon y^2=x^3-x=x(x-1)(x+1).$$

右侧的根-1,0,1互不相同，所以曲线没有由重根造成的奇点。“椭圆曲线”这个名称来自椭圆积分的历史，并不表示图像是一只椭圆。

从\mathbb Q归约到\mathbb F_p

有理数域\mathbb Q包含无限多个元素，不能逐一代入。有限域如下：

$$\mathbb F_p=\{0,1,\ldots,p-1\}$$

只有p个元素，而且当p为质数时，非零元素都有乘法逆元。把整数系数和坐标都按模p计算，称为把曲线在质数p处。

定义原章的仿射点数：

$$s(p) =\#\left\{(x,y)\in\mathbb F_p^2: y^2\equiv x^3-x\pmod p\right\}.$$

在\mathbb F_2中只需检查4组坐标：

$$(0,0),(0,1),(1,0),(1,1).$$

满足方程的是：

$$(0,0),(1,0),$$

所以：

$$s(2)=2.$$

同理，在\mathbb F_3中得到：

$$(0,0),(1,0),(2,0), \qquad s(3)=3.$$

在\mathbb F_5中得到7个仿射点：

$$\begin{aligned} &(0,0),(1,0),(4,0),\\ &(2,1),(2,4),(3,2),(3,3), \end{aligned}$$

因此：

$$s(5)=7.$$

逐点检查可以改写为平方剩余计数。对奇质数p，令Legendre符号\chi(0)=0，则每个x对应的y数量为：

$$1+\chi(x^3-x),$$

从而：

$$s(p)=\sum_{x\in\mathbb F_p}\left(1+\chi(x^3-x)\right).$$

原章继续分工算出：

$$\begin{array}{c|ccccccccc} p&2&3&5&7&11&13&17&19&23\\ \hline s(p)&2&3&7&7&11&7&15&19&23 \end{array}$$

这些有限域像棱镜的不同颜色：每个p只给出同一条有理曲线的一个有限投影，无穷多个质数共同编码曲线的算术信息。

原章的s(p)为什么少了一个点

原章的s(p)不计无穷远点。标准椭圆曲线点集还包含无穷远点\mathcal O，因此：

$$\#E(\mathbb F_p)=s(p)+1.$$

标准的Frobenius迹写成：

$$a_p=p+1-\#E(\mathbb F_p).$$

代入原章的定义正好得到：

$$a_p=p-s(p).$$

所以原章稍后发现的s(p)+a(p)=p并没有少算公式，而是把无穷远点留在s(p)之外。这个记号差异若不说明，很容易与标准教材中的p+1-a_p冲突。

好归约、坏归约与半稳定

归约不只改变可选坐标，也可能让原本不同的根在模p后重合。若归约后的曲线仍无奇点，称在p处；若出现奇点，则是坏归约。

原章用三次多项式的根来建立直觉：

• 无重根，对应好归约；
• 出现二重根，教学上对应乘法归约；
• 出现三重根，教学上对应加法归约。

一条曲线在每个质数处都只有好归约或乘法归约，称为半稳定椭圆曲线。

例如：

$$x^3-x=x(x-1)(x+1).$$

在\mathbb F_2中有x+1=x-1，所以：

$$x^3-x=x(x-1)^2.$$

归约后出现重根，说明坏归约。严格分类需要使用最小Weierstrass模型、判别式和奇点类型；尤其特征2与3需要额外小心。原章的“看重根个数”是帮助读者进入概念的教学模型，不应替代完整的局部理论。

自守形式与模形式的世界

“保持形式”的变换规律

原章接着考察一条与示例椭圆曲线对应的权2模形式。令z位于复上半平面，定义：

$$q=e^{2\pi iz}.$$

考虑函数：

$$f(z) =q\prod_{k=1}^{\infty} \left(1-q^{4k}\right)^2 \left(1-q^{8k}\right)^2.$$

它可以写成Dedekind eta函数的乘积：

$$f(z)=\eta(4z)^2\eta(8z)^2.$$

对于满足：

$$a,b,c,d\in\mathbb Z,\qquad ad-bc=1,\qquad c\equiv0\pmod{32}$$

的分式线性变换，它遵守权2的变换律：

$$f\left(\frac{az+b}{cz+d}\right) =(cz+d)^2f(z).$$

“权为2”来自因子(cz+d)^2。完整的定义还要求全纯性和尖点条件；只写一条变换公式并不足够。

q展开把函数变成数列

把无限乘积按q的幂展开：

$$F(q) =q\prod_{k=1}^{\infty} \left(1-q^{4k}\right)^2 \left(1-q^{8k}\right)^2.$$

作为形式幂级数计算到q^{29}：

$$\begin{aligned} F(q) ={}&q-2q^5-3q^9+6q^{13}+2q^{17}\\ &-q^{25}-10q^{29}+\cdots. \end{aligned}$$

写成：

$$F(q)=\sum_{n=1}^{\infty}a(n)q^n,$$

函数便给出系数数列a(n)。例如：

$$a(5)=-2,\quad a(13)=6,\quad a(17)=2.$$

幂级数不是把函数“简化到只剩几个数字”，而是把它编码成可以逐项比较的离散数据。第1卷生成函数和第9章泰勒级数所使用的思维，在这里再次出现。

谷山—志村桥：两列数字为何相遇

椭圆曲线侧由有限域点数得到：

$$a_p=p-s(p).$$

模形式侧由q展开得到质数项系数：

$$a(p).$$

把两列数据按质数对齐：

$$\begin{array}{c|ccccccccc} p&2&3&5&7&11&13&17&19&23\\ \hline s(p)&2&3&7&7&11&7&15&19&23\\ a(p)&0&0&-2&0&0&6&2&0&0 \end{array}$$

每一列都满足原章的发现：

$$\boxed{s(p)+a(p)=p}.$$

左边的s(p)来自有限域中逐点数解，右边的a(p)来自复上半平面函数的q展开。来源完全不同，质数处的数据却逐项吻合。这不是一次数值巧合，而是示例椭圆曲线：

$$y^2=x^3-x$$

具有模性的可见影子。

这正是椭圆曲线和模形式两个世界的对应。更完整的说法是：椭圆曲线E与某个权2新形式f对应，使几乎所有质数处的Frobenius迹等于q展开系数：

$$a_p(E)=a_p(f).$$

把局部数据装进Euler乘积，还会得到两边L函数的相等：

$$L(E,s)=L(f,s).$$

原章在庆功宴里称它为“代数Zeta等于解析Zeta”：点数所属的代数世界与函数所属的解析世界，通过同一组局部因子连接。

Frey曲线把反例变成“不可能对象”

反设存在一组原始费马反例：

$$a^p+b^p=c^p, \qquad p\ge3\text{ 为奇质数}, \qquad \gcd(a,b)=\gcd(b,c)=\gcd(c,a)=1.$$

原章采用的是：

$$E_{a,b,p}\colon y^2=x\left(x+a^p\right)\left(x-b^p\right).$$

右侧三个根为：

$$0,\quad -a^p,\quad b^p.$$

为什么它具有半稳定性？先看原章的核心互质论证。若在某个质数\ell处三个根全部重合，则：

$$-a^p\equiv0\pmod\ell, \qquad b^p\equiv0\pmod\ell.$$

于是\ell同时整除a和b，与\gcd(a,b)=1矛盾。因此归约后不可能出现三个根全部重合；可能无重根，也可能只有二重根。这给出“好归约或乘法归约”的半稳定图景。

严格证明还要选取最小模型并单独处理2处的局部行为，但原章这一步准确展示了设计Frey曲线的关键：费马反例的两两互质条件，会控制曲线在各个质数处的退化方式。

接下来需要两座桥：

1.把Serre的预言变成定理：若这条Frey曲线是模的，降层会迫使存在权2、level 2的相应模形式，但这样的形式不存在，所以Frey曲线不模。2. Wiles定理断言每条半稳定有理椭圆曲线都模。

于是完整反证链是：

$$\begin{aligned} &\text{假设费马大定理不成立}\\ &\Longrightarrow \text{存在原始奇质数指数反例}\\ &\Longrightarrow \text{存在半稳定Frey曲线}\\ &\Longrightarrow \text{该曲线不模}\qquad\text{(Ribet)}\\ &\Longrightarrow \text{该曲线必模}\qquad\text{(Wiles--Taylor)}\\ &\Longrightarrow \bot. \end{aligned}$$

因此假设错误，费马大定理成立。

注意“Frey曲线不模”不是说“Frey曲线不是一个模形式”。椭圆曲线本来就不是复函数；“模”表示存在与它的局部算术数据相匹配的模形式。类型分清后，矛盾才写得准确。

庆功宴：积累的数学与个人的创造

原章并没有在证明概要处结束。庆功宴上，盈盈演奏《Zeta·变奏曲》，把离散音符组织成连续流动；米尔嘉又用Euler乘积与L函数说明，无数质数处的局部信息如何合成整体。这个意象与本章的数学结构一致：

• 一个有限域点数像一个音符；
• 无穷多个质数处的局部因子组成L函数；
• q展开的系数从另一世界奏出同一主题；
• Zeta或L函数把代数与分析识别为同一首曲子的两种记谱。

泰朵拉问，Wiles为何要独自研究七年。原章的回答并不是把证明描绘成脱离共同体的英雄行为：数学是积累的学问，任何人都站在前人的定义、定理和失败之上；但具体灵感只能在某个头脑中诞生。论文像写给未来读者的信，使个人创造重新进入共同积累。

尤里的第二条勾股数路线

庆功宴上，尤里从相邻平方的差重新发现无穷多组基本勾股数。先算：

$$(2k+1)^2-(2k)^2=4k+1.$$

希望右边成为奇数平方。令：

$$k=j(j-1),$$

则：

$$4k+1 =4j(j-1)+1 =(2j-1)^2.$$

因此定义：

$$a=2j(j-1),\qquad b=2j-1,\qquad c=2j(j-1)+1.$$

就有：

$$a^2+b^2=c^2.$$

前三个参数给出：

$$\begin{array}{c|ccc} j&a&b&c\\ \hline 2&4&3&5\\ 3&12&5&13\\ 4&24&7&25 \end{array}$$

还要证明它们是基本勾股数。由于：

$$c-a=1,$$

所以\gcd(a,c)=1。若某个质数同时整除b,c，由a^2=c^2-b^2可知它也整除a，与\gcd(a,c)=1矛盾；同理\gcd(a,b)=1。于是三者两两互质。让j=2,3,4,\ldots不断增长，就得到无穷多组不同的基本勾股数。

这段回到第2章的问题，却没有照抄毕达哥拉参数化。尤里用自己的观察重新组织已有知识，正呼应全书末尾的主题：生动掌握数学，需要用自己的方法把学过的知识再组织一遍，并据此继续研究。

原章最后让众人走进冬夜，把散布在历史时间轴上的数学比作投射到“现在”的星光。质数、整除、互质和同余并不依赖某个时代或地点；费马大定理也因催生无数数学概念而成为跨越时空的路标。“仙女座也研究数学”不是一句装饰性的浪漫话，而是全章的最后一层认识：我们既逐点数星星，也把跨越几个世纪的定理连成星座。

官方概念回收：把三百五十年的桥拆成可复查的节点

从公开研讨会出发，先把命题读准确：费马大定理断言 x^n+y^n=z^n 在 n大于等于3 时没有正整数解。历史坐标也不能省略：费马在丢番图算术页边留下笔记，后来费马的儿子山缪重印算术，使这句传说进入共同记忆。证明策略不是逐个指数排队，而是任意指数归约到四次方或奇质数指数。

初等数论时代留下了 费马证明FLT4、欧拉证明FLT3、狄利克雷与勒让德FLT5、拉梅证明FLT7 等局部突破；苏菲姬曼与辅助质数则展示怎样让一族指数共享条件。进入代数数论时代后，p次单位根分解把因式分解送入整数环Zζ，但唯一分解失败迫使人重新组织语言；库默尔的理想数和戴德金的理想让理想可以继续分解。

几何数论时代把视线转向谷山志村猜想：Frey把FLT反例接到模性，Serre精确化Frey预言，Ribet证明降层结论，而Wiles隐秘研究七年后经历1993宣布证明1994修补。这构成1986逻辑景观：先发现应该证明什么，把目标缩小为每条半稳定椭圆曲线都模；这正是Wiles只需证明半稳定情形的原因。

椭圆曲线的定义是光滑三次曲线加上群结构，而椭圆曲线不等于椭圆。检查三次多项式无重根可以排除奇点，加入无穷远点与阿贝尔群后才有完整的几何对象。示例椭圆曲线y2等于x3减x在不同质数下投影；这就是从有理数域归约到有限域，其中有限域Fp让逐点计算成为有限工作。

在逐点计数s(p)里，F2上s2等于2、F3上s3等于3、F5上s5等于7是三枚可复核的样本；平方剩余计数把逐点枚举改写为字符求和。有限域棱镜比喻提醒我们每个质数都是同一条曲线的不同投影。注意s(p)不计无穷远点，所以完整点数等于s(p)加1，并有Frobenius迹a_p等于p减s(p)。好归约保持光滑，坏归约出现奇点；二重根对应乘法归约，三重根对应加法归约，而特征2和3需额外小心。

另一侧是自守形式的世界与模形式。令q等于e的2πiz次方，观察eta4z平方eta8z平方的乘积，它满足权2变换律。把Fq作为无限乘积展开就是q展开，其q展开系数a(n)可以与点数对齐；示例中 s(p)加a(p)等于p，说明椭圆曲线和模形式两个世界拥有局部迹与q展开系数相同的迹象，进一步组织成椭圆曲线L函数等于模形式L函数。庆功宴的“代数Zeta等于解析Zeta”与《Zeta变奏曲》都是这条桥的记忆装置。

反设的Frey曲线有Frey曲线三个根0负a的p次方b的p次方；互质排除三重根，说明Frey曲线是半稳定的。Ribet定理把模性假设继续降层到权2 level 2，但权2 level 2模形式不存在，所以曲线不模；Wiles Taylor定理又让它必模。完整反证链因此不是一句口号。还要记住椭圆曲线不是模形式：曲线是几何对象，模形式是解析对象，二者通过算术数据对应。

最后回到人物和方法：数学是积累的学问，论文像写给未来读者的信；尤里的第二条勾股数路线从相邻平方的差开始，令k等于j乘j减1，再取a等于2j乘j减1、b等于2j减1、c等于2j乘j减1加1，得到无穷多组基本勾股数。这不是附会，而是示范如何用自己的方法重新组织知识；“仙女座也研究数学”把跨时代的数学共同体留给读者。

本章回顾：数星星，也画星座

1. 费马大定理断言n\ge3时方程x^n+y^n=z^n无正整数解。
2. 任意指数反例可归约到四次方或奇质数指数；有限次计算无法替代全称证明。
3. 初等数论逐个证明指数，代数数论因唯一分解失败而发展出理想与素理想。
4. 谷山—志村思想把有理椭圆曲线与权2模形式联系起来。
5. 椭圆曲线右侧三次多项式需无重根，并加入无穷远点形成阿贝尔群。
6. 把曲线归约到\mathbb F_p后逐点计数，得到反映曲线局部算术的数列。
7. 原章s(p)只数仿射点，因此标准迹满足a_p=p-s(p)。
8. 好归约保持光滑；半稳定曲线只允许好归约或乘法归约。
9. 模形式的q展开把解析函数编码成系数数列。
10. 对示例曲线，有限域数据与q展开系数满足s(p)+a(p)=p，展示模性的局部影子。
11. 费马反例会构造出半稳定Frey曲线；Ribet推出它不模，Wiles定理推出它必模。
12. 矛盾否定反例，完成费马大定理；证明的意义也在于连接了此前分离的数学世界。
13. Zeta与L函数把各质数处的局部信息合成为整体，表达“代数世界等于解析世界”。
14. 尤里的勾股数构造表明，学习不是只接收结论，而是重新组织知识并产生自己的路线。

Finite Field Counter

切换质数，复核 E：y²=x³−x 的局部点数与迹。

重置实验

F2F3F5

s(2) = 2

aₚ = p − s(p) = 0

检查点：(0,0)、(1,0)；完整点数为 3。

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 归约：把全称命题缩小到两类指数

先检查 n=mp 与 n=2^r 两种情形，确认只需处理 FLT(4) 和奇质数指数。

上一步播放下一步

练习与答案

练习

1. 问题 1：指数归约。 为什么证明 FLT(4) 与所有奇质数指数就足以覆盖 n≥3 的所有指数？

查看答案

若 n 有奇质因子 p，写成 n=mp，则 n 次方解会给出 p 次方解。若没有奇质因子，n=2^r；当 n≥3 时 r≥2，再归约到四次方。因此两类情形覆盖全部指数。

2. 问题 2：有限域计数。 对 E:y²=x³−x，已知 s(5)=7 且 s(5) 不计无穷远点，求 #E(F₅) 和 a₅。

查看答案

完整点数是 s(5)+1=8，因为还要加入无穷远点；Frobenius 迹 a₅=5−s(5)=−2，也等于 5+1−8。

3. 问题 3：桥接逻辑。 为什么 s(p)+a(p)=p 的几个数值样本不能单独证明模性？要补上哪些概念？

查看答案

样本只显示局部数据吻合，不能推出对所有质数、所有曲线的全称定理。必须说明 s(p) 来自有限域点数、a(p) 来自 q 展开，并区分“示例的模性影子”和 Wiles 证明的半稳定模性定理。

4. 问题 4：Frey 曲线。 若 a^p+b^p=c^p 且 gcd(a,b)=1，为什么曲线根 0、−a^p、b^p 不会在某个质数处三重合？

查看答案

若三根在质数 ℓ 下都相同，特别有 −a^p≡0 与 b^p≡0 (mod ℓ)，于是 ℓ 同时整除 a,b，与 gcd(a,b)=1 矛盾。因此最多出现二重根，得到好归约或乘法归约的半稳定图景。

名词解释

本章出现的专业名词，用大白话再讲一遍。

费马大定理

当 n≥3 时，x^n+y^n=z^n 没有正整数解。

椭圆曲线

带无穷远点和群结构的光滑三次曲线，不是日常语言中的椭圆。

有限域

元素个数有限、可以进行加法和乘法的数系；Fₚ 在 p 为质数时有 p 个元素。

模形式

满足特定变换律、全纯性和尖点条件的解析函数，可通过 q 展开产生系数。

Frey曲线

由假想费马反例构造的椭圆曲线，用来把整数方程送入模性理论。

半稳定椭圆曲线

在每个质数处只允许好归约或乘法归约的椭圆曲线。