费马大定理 一页极简终版2026年

朱明君

费马大定理 一页极简终版
朱火华

定理：整数 n ≥ 3 时，a^n + b^n = c^n 无正整数解。

约定：a ≤ b < c，定义 y = a + b - c。

一、剔除三类无效三元组

1.y≤ 0（a+b ≤ c）
(a+b)^n > a^n + b^n，c^n 更大，无解。
2.n ≥ a
c^n = [(c-1)+1]^n > (c-1)^n + n(c-1)^(n-1) ≥ b^n + a^n，无解。
3.y = 1, 2
二项展开可证 (a+b-y)^n > a^n + b^n，无解。

二、有效三元组定义域
仅剩：a ≤ b < c，a+b > c，n < a，y≥ 3。

三、回溯：任意有效三元组归约至模三元组
固定 y≥ 3，全体有效三元组构成一个y族。

回溯路径：
· 非等腰 (a < b)：固定 b, c，a 递增至 b → 归为等腰 (b, b, c)
· 等腰 (a = b)：固定 a = b，c 递减至 a+1 → 归为模三元组

模三元组：(K+1, K+1, K+2)，是该y族内 a^n+b^n 最大、最接近等式的极限状态。

四、模三元组无解（临界指数完整推导）
代入方程：
2(K+1)^n = (K+2)^n

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

临界指数：
n0 = ln2 / ln[(K+2)/(K+1)]

若 n0 = p/q（有理数），则 (K+2)^p = 2^q(K+1)^p。
gcd(K+1, K+2) = 1，质因子无交集，等式不成立。
故 n0 为无理数，永不等于整数 n ≥ 3。模三元组绝对无解。

五、无解全域传递（沿回溯路径反向传出）
垂直路径：模三元组 c 递增

c^n - 2a^n 递增 > 0

等腰族全部无解。

水平路径：等腰族 a 递减

a^n + b^n 递减 < c^n

非等腰族全部无解。

回溯是正向归约，传递是反向覆盖。同一条路径，双向贯通。

六、结论
无效组无解 + 有效组回溯至模三元组无解 + 双路径传出覆盖全域 = 全域无解。
n ≥ 3 无正整数解；n = 2 有勾股解，互不冲突。

证毕。

逻辑骨架
全部三元组
├─ 无效 y≤0 / n≥a / y=1,2 → 无解
└─ 有效 y≥3, n<a
└─ 回溯归约 → 模三元组 (K+1,K+1,K+2)
├─ 临界指数无理 → 无解
├─ 垂直传出 → 等腰族无解
└─ 水平传出 → 非等腰族无解
↓
全域无解