费马大定理 一页完整证明

朱明君

费马大定理 一页完整证明
朱火华

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

一、全域二分

全体正整数三元组 (a,b,c) 分为两类：

第一类 无效三元组

满足任一条件即属此类：
· a+b ≤ c
· b ≥ c

证明见附录，均无解。

第二类 有效三元组

满足：a< c，a+b > c。

二、模三元组

考察等腰紧致构型：
(K+1, K+1, K+2), K ≥ 1

该构型在给定 K 下，使 a^n+b^n 取最大、c^n 取最小，是全体有效三元组中最可能触及等式的极限状态。

从 n=1 起，有效三元组全域满足 a+b > c。随 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 永不等于 n0。模三元组恒无解。

四、无解传递

全体有效三元组均可由某模三元组经两类操作生成：

1.垂直传递（等腰族）

模三元组 (K+1, K+1, K+2)，固定 a=b，c 递增至 2a-1。
c^n 增大，2a^n 不变，偏差单调扩大。

2.水平传递（非等腰族）

等腰族 (a, a, c)，固定 b,c，a 递减至 c-b+1。
a^n+b^n 减小，c^n 不变，偏差单调扩大。

n ≥ 3 时，模三元组或仍大于、或已小于，等式绝不成立。所有操作单向移动，永不可折返触及等式。无解传导至全族，覆盖全域。

五、结论

无效类无解。有效类归约至模三元组，模三元组无解且传递覆盖全域。

n ≥ 3 时，a^n + b^n = c^n 无正整数解。n = 2 时勾股数存在，体系自洽。

证毕。

附录：无效三元组证明

条件一：a+b ≤ c

n ≥ 2 时，a<c, b<c，a^n+b^n< (a+b)c^(n-1) ≤ c^n。无解。

条件二：b ≥ c

a ≥ 1，a^n+b^n ≥ 1+c^n > c^n。无解。



附录


附录
模三元组通过垂直增c至2a-1，水平减a至c-b+1，①产生所有有效三元组，②无解传递

朱明君

费马大定理 一页完整证明

朱火华

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

一、全域二分

全体正整数三元组 (a,b,c) 分为两类：

第一类 无效三元组

满足任一条件即属此类：
· a+b ≤ c
· b ≥ c

证明见附录，均无解。

第二类 有效三元组

满足：a< c，a+b > c。

二、模三元组

考察等腰紧致构型：
(K+1, K+1, K+2), K ≥ 1

该构型在给定 K 下，使 a^n+b^n 取最大、c^n 取最小，是全体有效三元组中最可能触及等式的极限状态。

从 n=1 起，有效三元组全域满足 a+b > c。随 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 永不等于 n0。模三元组恒无解。

四、无解传递

全体有效三元组均可由某模三元组经两类操作生成：

1.垂直传递（等腰族）

模三元组 (K+1, K+1, K+2)，固定 a=b，c 递增至 2a-1。
c^n 增大，2a^n 不变，偏差单调扩大。

2.水平传递（非等腰族）

等腰族 (a, a, c)，固定 b,c，a 递减至 c-b+1。
a^n+b^n 减小，c^n 不变，偏差单调扩大。

n ≥ 3 时，模三元组或仍大于、或已小于，等式绝不成立。所有操作单向移动，永不可折返触及等式。无解传导至全族，覆盖全域。

五、结论

无效类无解。有效类归约至模三元组，模三元组无解且传递覆盖全域。

n ≥ 3 时，a^n + b^n = c^n 无正整数解。n = 2 时勾股数存在，体系自洽。

⑥，总结

正逆双向转换的等价性，使框架形成了闭环：

· 正向生成：证明覆盖性
· 逆向归约：证明必然性
· 极值锚定：模三元组是全局最大值点
· 单调传递：无解性沿双向路径无损传播

模三元组 (K+1,K+1,K+2) 在给定K下，使a^n+b^n取最大、c^n取最小，是全体有效三元组中最可能触及等式的极限构型。
n≥3时，模三元组无解，平衡指数n0为无理数，所有整数n永远无法匹配平衡条件。
垂直增c会让右侧c^n持续增大，水平减a会让左侧a^n+b^n持续减小，两类操作均单向拉大偏差。
从无解的极限基点出发，所有衍生有效三元组全部无解，结合无效三元组天然无解，实现全域闭环无解。

证毕。

附录：无效三元组证明
条件一：a+b ≤ c
n ≥ 2 时，a<c, b<c，a^n+b^n< (a+b)c^(n-1) ≤ c^n。无解。

条件二：b ≥ c
a ≥ 1，a^n+b^n ≥ 1+c^n > c^n。无解。

附录补充说明
模三元组通过垂直增c至2a-1、水平减a至c-b+1两种变换：①可以生成全部有效三元组，实现全域覆盖；②变换过程偏差单向扩大，无解性质完整传递至所有衍生三元组。

朱明君

费马大定理的一页完整证明（终极无乱码定稿）
费马大定理的一页完整证明
朱火华
定理：对任意整数 n ≥ 3，方程 a^n + b^n = c^n 无正整数解。
一、全域二分
全体正整数三元组 (a,b,c) 分为两类：
第一类 无效三元组
满足任一条件即属此类：
&#12539;a+b ≤ c
&#12539;b ≥ c
证明见附录，均无解。
第二类 有效三元组
满足：a <c，a+b> c。
二、模三元组
考察等腰紧致构型：
(K+1, K+1, K+2), K ≥ 1
该构型在给定 K 下，使 a^n+b^n 取最大、c^n 取最小，
是全体有效三元组中最可能触及等式的极限状态。
从 n=1 起，有效三元组全域满足 a+b > c。
随 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 永不等于 n0。
模三元组恒无解。
四、无解传递
全体有效三元组均可由某模三元组经两类操作生成：
1. 垂直传递（等腰族）
模三元组 (K+1, K+1, K+2)，固定 a=b，c 递增至 2a-1。
c^n 增大，2a^n 不变，偏差单调扩大。
2. 水平传递（非等腰族）
等腰族 (a, a, c)，固定 b,c，a 递减至 c-b+1。
a^n+b^n 减小，c^n 不变，偏差单调扩大。
n ≥ 3 时，模三元组或仍大于、或已小于，等式绝不成立。
所有操作单向移动，永不可折返触及等式。
无解传导至全族，覆盖全域。
五、结论
无效类无解。
有效类归约至模三元组，模三元组无解且传递覆盖全域。
n ≥ 3 时，a^n + b^n = c^n 无正整数解。
n = 2 时勾股数存在，体系自洽。
附录：无效三元组证明
条件一：a+b ≤ c
n ≥ 2 时，<c，
a^n+b^<(a+b) c^(n-1) ≤ c^n。无解。
条件二：b ≥ c
a ≥ 1，a^n+b^n ≥ 1+c^n > c^n。无解。
总结
正逆双向转换的等价性，使框架形成了闭环：
&#12539;正向生成：证明覆盖性
&#12539;逆向归约：证明必然性
&#12539;极值锚定：模三元组是全局最大值点
&#12539;单调传递：无解性沿双向路径无损传播
模三元组 (K+1,K+1,K+2) 在给定 K 下，使 a^n+b^n 取最大、c^n 取最小，
是全体有效三元组中最可能触及等式的极限构型。
n≥3 时，模三元组无解，平衡指数 n0 为无理数，
所有整数 n 永远无法匹配平衡条件。
垂直增 c 会让右侧 c^n 持续增大，水平减 a 会让左侧 a^n+b^n 持续减小，
两类操作均单向拉大偏差。
从无解的极限基点出发，所有衍生有效三元组全部无解，
结合无效三元组天然无解，实现全域闭环无解。
证毕。