费马大定理一页极简终版

朱明君

费马大定理一页极简终版

定理：对任意整数 n \ge 3，方程 a^n + b^n = c^n 无正整数解。

前置：无效三元组的全域剔除

约定有效三元组：
a \le b < c，\ a + b > c，\ n \le a，\ y = a + b - c \ge 3

以下情况作为无效三元组直接排除：

- y \le 0：即 a + b \le c，不构成三角形，无解
- n > a：指数大于底数，无解
- y = 1, 2：全部验证无解，全域剔除

一、模三元组的构造

在等腰三角形（a = b）中，c 的最小合法取值为 c = a + 1（保证 a + b > c）。
此时三角形处于最紧凑状态，c 被压到最低，方程左右两侧的差距处于全系统最小值。
如果费马方程有解，必然最先出现在这个最紧凑的构型中。

将等腰最紧构型记为：
a = K + 1，\ b = K + 1，\ c = K + 2
其中 K 为正整数。
该构型称为模三元组。

二、模三元组的无解判定

假设模三元组满足方程：
2(K + 1)^n = (K + 2)^n
变形为：
\left(\frac{K + 2}{K + 1}\right)^n = 2

定义临界指数：
n_0 = \frac{\ln 2}{\ln\left(\dfrac{K + 2}{K + 1}\right)}
n_0 是使等式成立的唯一实数指数。

证明 n_0 是无理数：
假设 n_0 = \dfrac{p}{q}（p, q 互质），代入得：
(K + 2)^p = 2^q \cdot (K + 1)^p
K + 1 与 K + 2 为相邻正整数，二者互质。
等式左边质因子全部来自 K + 2，右侧包含 (K + 1)^p 的质因子，构成质因子矛盾。

故 n_0 必为无理数。

结论：
整数 n \ge 3 不可能等于无理数 n_0，因此模三元组对任意整数 n \ge 3 恒不满足方程。
模三元组恒无解。

三、全域无解传递

全部有效三元组均可由模三元组通过以下两组操作唯一生成：

1.&#160;增 c（等腰族）：固定 a = b，c 从 a + 1 递增至 2a - 1。c 增大，c^n 单调增大，等式两侧差值持续扩大，无法归零。
2.&#160;减 a（非等腰族）：固定 b, c，a 从 b 递减至 c - b + 1。a 减小，a^n + b^n 单调减小，等式两侧差值持续扩大，无法归零。

模三元组是所有有效三元组中最有可能有解的构型。
源头构型已被严格证明无解，衍生操作只会进一步破坏最优结构、放大偏差。
源头无解，则全域无解。

四、结论

无效三元组已全部剔除。
有效定义域内的最优构型——模三元组——已被临界指数公式严格证明无解。
所有衍生构型同步无解，全域覆盖。

综上：任意整数 n \ge 3，方程 a^n + b^n = c^n 不存在正整数解。
同时 n = 2 时勾股方程存在整数解，体系自洽。

证毕。