费马大定理初等证明：模三元组无解传递

朱明君

费马大定理初等证明：模三元组无解传递

一、全域二分

所有正整数三元组 (a,b,c)，只考虑规范形式：

a 小于等于 b

其余可通过交换 a,b 归化。

全域分为两类：

第一类：无效三元组

情况一

a 小于等于 b 小于 c，且 a+b 小于 c

此时：

a+b 小于 c

所以：

a^n + b^n 小于 (a+b)^n 小于 c^n

因此：

a^n + b^n 不等于 c^n

直接排除。

情况二

b 大于等于 c

此时 c 不是最大边。

费马方程：

a^n + b^n = c^n

中，左边至少有：

b^n 大于等于 c^n

再加 a^n 大于 0，所以：

a^n + b^n 大于 c^n

不可能相等。

直接排除。

第二类：有效三元组

a 小于等于 b 小于 c，且 a+b 大于 c

即能构成三角形，且 c 最大的一类。

这是唯一需要检查的构型。

二、模三元组

固定 K，同族有效三元组中最紧凑的构型是模三元组：

(K+1, K+1, K+2)

即：

a = K+1，b = K+1，c = K+2

它有两个特点：

a = b，左边最大；

c = a+1，右边最小。

所以它是族里最接近可能相等、最危险的临界构型。

三、模三元组无解

模三元组对应方程：

(K+1)^n + (K+1)^n = (K+2)^n

即：

2(K+1)^n = (K+2)^n

变形：

((K+2)/(K+1))^n = 2

临界指数：

n0 = ln2 除以 ln((K+2)/(K+1))

因为 K+1 与 K+2 互素，所以：

(K+2)/(K+1)

是有理数，且不等于 1。

有理数的整数次幂不可能等于 2。

所以临界指数 n0 不是整数。

整数 n 大于等于 3 永远取不到它。

因此模三元组在整数 n 大于等于 3 下无解：

2(K+1)^n 不等于 (K+2)^n

四、模三元组翻转

模三元组的大小关系在临界指数 n0 处发生翻转：

当 n 小于 n0 时：

2(K+1)^n 大于 (K+2)^n

当 n 大于 n0 时：

2(K+1)^n 小于 (K+2)^n

但无论翻转前还是翻转后，都不能取到：

2(K+1)^n = (K+2)^n

也就是说，翻转过程中不会踩中等于。

五、无解传递

从模三元组出发，进行两种操作：

垂直增 c

固定：

a = b = K+1

让 c 从：

K+2

增大到：

2(K+1) - 1 = 2K+1

右边 c^n 变大，左边 2(K+1)^n 不变。

当模三元组已经翻到小于一侧：

2(K+1)^n 小于 (K+2)^n

增 c 后：

2(K+1)^n 小于 c^n

仍然成立，并且小于的程度更大。

水平减 a

固定：

b = K+1，c

让 a 从：

K+1

减小到：

c - (K+1) + 1 = c - K

左边：

a^n + (K+1)^n

变小，右边 c^n 不变。

当增 c 后已经满足：

2(K+1)^n 小于 c^n

减 a 后：

a^n + (K+1)^n 小于等于 2(K+1)^n 小于 c^n

仍然成立，并且小于的程度更大。

因此，从模三元组开始的无解状态，可以沿这两个方向传递到同族所有有效三元组。

六、边界范围

固定 K，同族有效三元组满足：

a 小于等于 K+1 小于 c

且：

a + (K+1) 大于 c

所以：

c - K 小于等于 a 小于等于 K+1 小于 c 小于等于 2K+1

模三元组是：

(K+1, K+1, K+2)

垂直增 c 范围：

c 从 K+2 到 2K+1

水平减 a 范围：

a 从 K+1 到 c-K

两步覆盖同族全部有效三元组。

七、全域覆盖

每个有效三元组都可以逆向归约：

先增大 a 到 K+1，变成等腰三元组；

再减小 c 到 K+2，变成模三元组。

反向操作就是垂直增 c、水平减 a。

所以任意有效三元组都能从模三元组通过这两个方向生成。

既然模三元组无解，而增 c 减 a 又保持无解，那么所有有效三元组都无解。

八、结论

全域所有三元组中：

无效三元组显然无解；

有效三元组通过模三元组无解传递也无解。

因此：

a^n + b^n = c^n

在 n 大于等于 3 时没有正整数解。

所以费马大定理成立。