第2卷 第8章 无穷递降法

学习目标

• 能把“平方面积直角三角形”写成勾股方程和面积方程，并约去公因子保留反例结构
• 能用基本勾股数参数化和互质/奇偶条件，把面积条件拆成四个两两互质因子
• 能证明平方乘积迫使每个因子为平方，并从中构造同型但斜边更小的新三角形
• 能用良序原理、最小反例和无穷递降解释不可能性，再把结果应用到费马四次方情形

从费马大定理的一块拼图开始

费马大定理的命题是：当整数指数 k 大于 2 时，不存在自然数 x,y,z 满足：

$$x^k+y^k=z^k.$$

第 2 卷第 8 章不宣称完成整个定理，而是先攻下 k=4 这一块。入口看上去与四次方无关：三边皆为自然数的直角三角形，面积能不能是平方数？如果这种三角形存在，能否从它构造出一个完全相同条件、但斜边更小的新三角形？

先预测：为什么任意反例都能约成基本勾股数？D²=mn(m+n)(m-n) 为什么会迫使四个因子分别为平方？变量越拆越多，为什么结构反而更清楚？最后又怎样从 a⁴+b⁴=c⁴ 制造一个平方面积三角形？

一、把图形条件写成整数方程

费马直角三角形定理

假设存在三边皆为自然数的直角三角形，直角边为 a,b，斜边为 c，面积为 d²。于是：

$$a^2+b^2=c^2,\qquad \frac{ab}{2}=d^2.$$

把面积条件改写为：

$$ab=2d^2.$$

这就是用数学公式思考：图形暂时退场，只保留两组整数关系。要证明不存在这种图形，就假设反例集合非空，再在其中寻找可以下降的对象。

若三边有公因子 g，写成 a=gA,b=gB,c=gC。则 A²+B²=C²。面积方程给出：

$$g^2\frac{AB}{2}=d^2.$$

比较质因数指数可知 g 整除 d，写 d=gD 后得到：

$$A^2+B^2=C^2,\qquad \frac{AB}{2}=D^2.$$

所以约去公因子后面积仍为平方数；任何反例都能约成一个更规范的反例。后面的互质分配正依赖这一归约。

二、基本勾股数的参数

基本勾股数

基本勾股数的一般形式是：交换直角边后，令 B 为偶数，则存在互质自然数 m,n，满足 m>n 且 m和n奇偶性相反，使：

$$A=m^2-n^2,\qquad B=2mn,\qquad C=m^2+n^2.$$

这就是勾股数一般形式。互质自然数m,n 与奇偶性相反不是装饰条件：它们保证参数没有重复公因子，并保证 m+n、m-n 是奇数。

把面积条件 AB=2D² 代入：

$$(m^2-n^2)(2mn)=2D^2.$$

消去 2，再分解平方差：

D平方等于mn乘m加n乘m减n $$D^2=mn(m+n)(m-n).$$

图形问题已经变成“一个平方数等于四个整数的乘积”。接下来必须证明这四个因子可以独立分配质因数指数。

三、四个因子两两互质

先有 gcd(m,n)=1。用欧几里得算法和 gcd 的线性组合：

$$\gcd(m,m\pm n)=\gcd(m,n)=1,$$ $$\gcd(n,m\pm n)=\gcd(n,m)=1.$$

最后检查 m+n 与 m-n。它们的公因数同时整除：

$$(m+n)+(m-n)=2m,\qquad (m+n)-(m-n)=2n.$$

因为 m,n 互质，公因数最多是 2；又因 m和n奇偶性相反，m+n 与 m-n 都是奇数，公因数不可能是 2。因此：

这四个因子满足 m n m加n m减n两两互质：任意两项的最大公约数都是 1。

$$\gcd(m,n)=\gcd(m,m+n)=\gcd(m,m-n)=1,$$ $$\gcd(n,m+n)=\gcd(n,m-n)=\gcd(m+n,m-n)=1.$$

这就是确实两两互质。它不是从 m,n 互质一句话自动跳出的结论，而是逐对使用线性组合和奇偶性得到的。

四、平方乘积迫使各因子为平方

平方数中每个质因数指数为偶数。若两两互质因子乘积为平方则各自为平方：因为某个质数只能出现在其中一个因子里，不能从别的因子借指数配对。

由：

$$D^2=mn(m+n)(m-n)$$

可引入自然数：

$$m=e^2,\qquad n=f^2,\qquad m+n=s^2,\qquad m-n=t^2.$$

也就是平方乘积迫使每个因子都是平方。按原章的记忆比喻，A,B,C,D 是原子，m,n 是更小的原子，e,f,s,t 是基本粒子；每引入一层变量，都是把一个指数或乘积条件显式写出来。

后两式相减：

$$2n=s^2-t^2=(s+t)(s-t).$$

代入 n=f²：

$$2f^2=(s+t)(s-t).$$

这是从原子通往下一层基本粒子间关系的入口。

五、拆出新三角形

因为 m+n、m-n 是奇数，它们分别等于 s²,t²，所以 s和t是互质奇数。定义：

$$X=\frac{s+t}{2},\qquad Y=\frac{s-t}{2}.$$

这两个数为正整数。若某数同时整除 X,Y，它也整除 X+Y=s 和 X-Y=t；因为 s,t 互质，得到 X和Y互质且奇偶相反。关系变为：

$$2f^2=(2X)(2Y),\qquad f^2=2XY.$$

由于 X,Y 互质且一奇一偶，指数只能按一种方式分配：X Y中一方为2u平方另一方为v平方。于是存在互质自然数 u,v，其中 v 为奇数，使：

$$\{X,Y\}=\{2u^2,v^2\}.$$

不论次序如何，定义 s=X+Y,t=X-Y，由 m+n=s²,m-n=t² 相加得到：

$$m=\frac{s^2+t^2}{2}=X^2+Y^2=(2u^2)^2+(v^2)^2.$$

又因 m=e²，这就是尤里的灵感：式子里藏着一个新的勾股三元组。它可以命名为：

$$A_1=2u^2,\qquad B_1=v^2,\qquad C_1=e,\qquad D_1=uv.$$

于是：

$$A_1^2+B_1^2=C_1^2,qquad A_1B_1=2D_1^2.$$

这说明构造相同形式的新三角形：新三角形面积仍为平方数。

六、严格变小与无穷递降

新斜边严格小于旧斜边

旧三角形斜边是：

$$C=m^2+n^2.$$

新斜边是 C₁=e，而 m=e²。由于 m>n≥1，有 m≥2、e≥2，所以：

$$C=m^2+n^2>m=e^2>e=C_1.$$

新解不仅同型，而且斜边严格变小。这条不等式是递降发动机；没有它，就只有另一组解，没有不可能性。

最小反例

无穷递降法有两种等价视角。第一种是无限链：若存在一个反例，就能重复构造：

$$C>C_1>C_2>C_3>\cdots.$$

自然数不能无限严格下降；正整数不存在无限严格下降链。第二种是最小反例：假设反例集合非空，由良序原理选择斜边最小的反例 C，但构造又给出同型反例 C₁<C，直接矛盾。

无穷递降法

无穷递降法本质上是反证法：假设存在，再制造“最小反例既最小又不是最小”的矛盾。它与数学归纳法共享自然数良序性，但方向相反：归纳法向上覆盖，递降法向下击穿存在性。

第 1 步第 2 步第 3 步第 4 步重置实验

当前下降链

C0=65 ↓C1=25

证明状态

C0 > C1

每一步保持同型条件，并严格减小斜边。

✓ 正整数不能无限下降

七、费马四次方情形

费马大定理四次方情形也写作 FLT(4)。反设存在自然数 a,b,c：

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

令 m=c²,n=a²，用勾股参数恒等式构造：

$$A=m^2-n^2=c^4-a^4=b^4,$$ $$B=2mn=2a^2c^2,\qquad C=m^2+n^2=c^4+a^4.$$

于是 A²+B²=C²。三角形面积为：

$$\frac{AB}{2}=\frac{b^4\cdot2a^2c^2}{2}=a^2b^4c^2=(ab^2c)^2.$$

这就是构造a四次方b四次方c四次方对应的直角三角形；FLT4构造的三角形面积为ab平方c的平方。它违反费马直角三角形定理，因此：

$$\boxed{x^4+y^4=z^4\text{ 不存在自然数解。}}$$

这只完成 FLT(4)，不是所有指数的费马大定理；全定理需要后续椭圆曲线与模形式的桥梁。

官方概念锚点回收如下：无穷递降法、无限下降法、费马大定理、费马大定理四次方情形、FLT(4)、三边皆为自然数的直角三角形、面积为平方数、费马直角三角形定理、用数学公式思考、基本勾股数、约去公因子后面积仍为平方数、基本勾股数的一般形式、m和n互质、m和n奇偶性相反、A等于m平方减n平方、B等于2mn、C等于m平方加n平方、D平方等于mn乘m加n乘m减n、m n m加n m减n两两互质、确实两两互质、平方数的质因数指数为偶数、两两互质因子乘积为平方则各自为平方、m等于e平方、n等于f平方、m加n等于s平方、m减n等于t平方、2f平方等于s加t乘s减t、s和t是互质奇数、X等于s加t除以2、Y等于s减t除以2、X和Y互质且奇偶相反、X Y中一方为2u平方另一方为v平方、e平方等于4u四次方加v四次方、尤里的灵感、构造相同形式的新三角形、新三角形面积仍为平方数、新斜边严格小于旧斜边、自然数不能无限严格下降、正整数不存在无限严格下降链、良序原理、最小反例、反证法、构造a四次方b四次方c四次方对应的直角三角形和 FLT4构造的三角形面积为ab平方c的平方，都已经在参数化、因子分配、递降构造或四次方应用中落到可复查证据上。

分步验收：让下降链闭合

⚡分步1 / 4

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

重置

1. 参数化：把图形变成四个因子

先约去三边公因子，再写 A=m²−n²,B=2mn,C=m²+n²，把面积条件化为 D²=mn(m+n)(m−n)。

上一步播放下一步

本章回顾：同型而更小

• 平方面积直角三角形同时满足勾股方程和面积方程；约去公因子后仍保留平方面积。
• 基本勾股数参数把面积条件变成四个两两互质因子的平方乘积。
• 平方数指数为偶数，配合两两互质，迫使每个因子分别成为平方。
• X,Y 的半和半差产生新的同型三角形；新斜边严格小于旧斜边。
• 自然数良序性排除无限严格下降链，最小反例也会被构造直接击穿。
• 反证链应用到 a⁴+b⁴=c⁴，得到费马大定理的四次方情形 FLT(4)。

练习与答案

练习

1. 问题 1：写出参数化证据。 从 A²+B²=C²、AB=2D² 和 A=m²−n²,B=2mn 推出 D²=mn(m+n)(m−n)。

查看答案

代入得到 (m²−n²)(2mn)=2D²。约去 2，再用平方差分解 m²−n²=(m+n)(m−n)，便得 D²=mn(m+n)(m−n)。

2. 问题 2：检查因子互质。 为什么 gcd(m+n,m−n) 最多是 2，而奇偶性相反又能把它降到 1？

查看答案

公共因子同时整除两式的和 2m 和差 2n。由于 m,n 互质，公共因子只能整除 2，所以最多是 2；m、n 奇偶性相反时 m+n 和 m−n 都是奇数，不可能有因子 2，因此 gcd=1。

3. 问题 3：改 Demo 代码。 给递降实验增加“显示最小反例”模式和重置按钮：显示当前斜边、下一条更小斜边以及严格不等式；说明为什么只画一条下降线还不够。

查看答案

实验应同时显示 C、C₁ 和 C>C₁，并把当前对象标记为斜边最小的反例候选。单独画下降线只是直觉，必须说明构造保持同型条件且自然数不能无限下降；重置按钮恢复默认链和最小反例提示。

4. 问题 4：连接 FLT(4)。 从 a⁴+b⁴=c⁴ 构造直角三角形，并计算它的面积为什么是平方数。

查看答案

令 m=c²,n=a²，则 A=m²−n²=b⁴、B=2a²c²、C=m²+n² 满足勾股关系。面积为 AB/2=b⁴·2a²c²/2=(ab²c)²，这与费马直角三角形定理矛盾，所以不存在这样的四次方解。

名词解释

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

费马直角三角形定理

不存在三边皆为自然数且面积为平方数的直角三角形。

基本勾股数

互质且一条直角边为偶数的勾股三元组及其参数化。

D平方等于mn乘m加n乘m减n

面积条件经过勾股参数化后得到的四因子平方等式。

新斜边严格小于旧斜边

递降构造结束证明所需的严格大小关系 C>C₁。

最小反例

在所有反例中按自然数度量选出的最小对象。

无穷递降法

从一个反例反复构造同型更小反例，以良序性排除其存在。