费马大定理 一页极简终版

朱明君

费马大定理 一页极简终版

作者：朱火华

定理
对任意整数 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≥a+b，可得 c^n > a^n + b^n，无解。
2.n≥a
对 c≥b+1 做二项展开：c^n > b^n + n·b^(n-1) ≥ b^n + a^n，无解。
3.y=1、y=2
将 c = a + b - y 代入，通过二项展开逐项对比可证 (a+b-y)^n > a^n + b^n，无解。

二、核心引理：c - b≥y 全域覆盖无解
条件：y≥3，c - b≥y，n≥3

由差值定义 a = c - b + y
结合 c - b≥y，推得 a≥2y
结合 c - b≥y，推得 b≤c - y

因为 a≤b，所以 a^n + b^n ≤ 2(c - y)^n

当 y≥3 时，c≥2y+1，比例 c/(c-y)≥7/4
当 n≥3 时，(7/4)^3 > 2
可得 c^n > 2(c-y)^n ≥ a^n + b^n

故此区域全域无解。
本引理覆盖所有宽差等腰、宽差非等腰、模临界等腰全部构型。

三、残余窄区：c - b<y
唯一剩余有效区域：
a≤b<c，y≥3，n<a，c - b<y

由 a = c - b + y、c - b<y，严格推出 a<2y
该区域三元组极度稀疏，解空间高度受限。

所有残余构型统一归约至唯一临界模三元组：
a=K+1，b=K+1，c=K+2

双向全域锁死路径
垂直路径（等腰族全覆盖）
固定 a=b，c 从 a+1 递增至上限 2a-1，全程 c^n - 2a^n > 0，全体等腰三元组无解。

水平路径（非等腰族全覆盖）
固定 b、c，a 从 b 递减至下限 c-b+1，全程 a^n + b^n < c^n，全体非等腰三元组无解。

四、模三元组质因子互质终极锁定
代入方程：2(K+1)^n = (K+2)^n
变形得：((K+2)/(K+1))^n = 2

若临界指数为有理数，整理得：(K+2)^p = 2^q (K+1)^p

因 gcd(K+1,K+2)=1，相邻整数严格互质
左侧无质因子2，右侧固定含质因子2
质因子结构永久矛盾，等式不可能成立

临界指数必为无理数，不存在整数 n≥3 满足方程。
模三元组绝对无解。

五、最终结论
y≤0 全域无解
n≥a 全域无解
y=1、2 全域无解
c-b≥y 由核心引理全域判死
c-b<y 归约模三元组，双向边界锁死、质因子矛盾判死

五层封锁，全域无漏，逻辑完全闭环。

对任意整数 n≥3，方程 a^n + b^n = c^n 无任何正整数解。
n=2 存在勾股正整数解，与本证明完全自洽、无冲突。

证毕

————————————
逻辑骨架
全部正整数三元组
├─ y≤0 → 直接无解
├─ n≥a → 直接无解
├─ y=1,2 → 直接无解
├─ c-b≥y → 核心引理全域无解
└─ c-b<y → 归约模三元组(K+1,K+1,K+2)
　　　　　　　 ├─ 垂直增c至2a-1 → 等腰族无解
　　　　　　　 ├─ 水平减a至c-b+1 → 非等腰族无解
　　　　　　　 └─ 质因子互质矛盾 → 临界构型无解

全域无解