20260620费马大定理 完整初等证明

朱明君

费马大定理 完整初等证明（朱火华 定稿）

定理：当整数 n ≥ 3 时，不定方程 a^n + b^n = c^n 不存在任何正整数解。

前置约定
统一排序所有正整数三元组满足 a ≤ b < c。

第一步 剔除全部绝对无解的无效三元组
第一类无效：a + b ≤ c
对任意 n ≥ 1，必有 c^n ≥ (a+b)^n > a^n+b^n，严格不相等，永久无解，全部剔除。

第二类无效：n ≥ a
指数大于等于最小底数，高次幂差距会被彻底拉开，必然满足 a^n+b^n < c^n，永久无解，全部剔除。

第三类无效：a+b-c=1 或 a+b-c=2
两边间隙极小，在 n≥3 高次幂放大结构下，永远无法归零相等，永久无解，全部剔除。

第二步 定义唯一有效三元组
经过三层彻底剔除，全世界仅剩唯一一类需要分析的有效三元组
a ≤ b < c
a + b > c
n < a
a+b-c ≥ 3
所有潜在解全部收拢于此，再无遗漏。

第三步 模三元组唯一祖源体系
所有有效三元组的终极祖源唯一固定
模三元组 (K+1 , K+1 , K+2)
其中 K = a+b-c ≥ 3

全域回溯双路径
任意有效三元组均可唯一回溯
非等腰通过水平回溯归为等腰
等腰通过垂直回溯归为模三元祖源
所有无穷三元组全部来自模三元组扩张，无例外、无遗漏、无新增。

第四步 模三元组严格无解证明
模三元组方程 2(K+1)^n = (K+2)^n
变形得 2 = (1+1/(K+1))^n
取对数解得唯一临界指数
n_crit = ln2 / ln((K+2)/(K+1))

证明临界指数必为无理数
假设临界指数为有理数 p/q
代入得 2^q · (K+1)^p = (K+2)^p
左右两边互质矛盾，因此临界指数一定是无理数

所有 n≥3 都是整数、都是有理数
有理数永远不等于无理数
因此 所有模三元组 在 n≥3 下绝对无解。

第五步 无解性质全域传递覆盖
垂直路径
固定两短边相等，长边c不断增大
c^n 严格单调递增
2a^n 恒定不变
差距持续拉大，全线永久无解

水平路径
固定b、c不变，短边a不断减小
a^n+b^n 严格单调递减
c^n 恒定不变
数值永远小于右侧，全线永久无解

第六步 全域闭环最终结论
全部无效情形提前全切无解
全部有效情形溯源至模三元祖源无解
横竖双路径传递无解覆盖所有无穷情况
n=2结构独立存在解，不冲突体系

因此：对任意正整数a,b,c，任意整数n≥3
方程 a^n + b^n = c^n 无正整数解

费马大定理 证毕