广义费马方程临界指数与无解传递

朱明君

广义费马方程临界指数与无解传递（通俗完整表述，含垂直/水平操作边界）

一、基础约定

研究方程

a^n+b^n=c^n

其中 a,b,c 为正整数，n>0，统一约定顺序

a\le b<c

c 是三个数里最大的。

二、先筛掉肯定没解的三元组

只要满足任意一条，直接判定无解：

1. a+b<c：两个小的加起来都比最大的小，n 次方后差距只会更大，左边永远小于右边。
2. a+b=c：n\ge 2 时，

(a+b)^n=a^n+b^n+\text{正中间项}>a^n+b^n

左边还是永远小于右边。

3. b\ge c：和“c 是最大数”的约定矛盾，b 本身就比 c 大，加 a 之后左边永远大于右边。

剩下满足

a\le b<c,\qquad a+b>c

的叫有效三元组，是唯一可能接近等式的集合。

三、临界指数：判断等式能不能成立的标尺

对每个有效三元组，都存在唯一的正实数 n_{\rm crit}（临界指数），刚好让

a^{n_{\rm crit}}+b^{n_{\rm crit}}=c^{n_{\rm crit}}

当 n<n_{\rm crit} 时，

a^n+b^n>c^n

左边大。

当 n>n_{\rm crit} 时，

a^n+b^n<c^n

右边大。

只有 n=n_{\rm crit} 时两边刚好相等。

四、用两个方向的操作，覆盖所有有效三元组

定义参数

K=a+b-c\ge 1

每个 K 对应一族有效三元组，都从同一个起点生成。

起点（模三元组）：每个 K 族最核心的起点是等腰三元组

(K+1,\ K+1,\ K+2)

这是族里离等式最近的点：a 和 b 一样大，c 只比 b 大 1，左边最大、右边最小。

垂直增 c 至 2b-1：从起点出发，保持 a=b 不变，把 c 一点点往大了加，加到 2b-1 就停。再往上 c=2b 的话，a+b=2b=c，就变成无效三元组了。

水平减 a 至 c-b+1：对垂直方向上每一个固定的 b,c，把 a 一点点往小了减，减到 c-b+1 就停。再往小 a=c-b 的话，a+b=c，也变成无效三元组了。

通过这两个操作，就能不重不漏生成所有有效三元组，没有多余也没有遗漏。

五、无解传递逻辑

先算起点模三元组的临界指数：代入方程得

2(K+1)^n=(K+2)^n

解得

n_{\rm crit}=\frac{\ln 2}{\ln\left(1+\frac{1}{K+1}\right)}

这个数是无理数，永远不可能等于整数 n\ge 3，也就是说起点在 n\ge 3 时永远不可能让等式成立。

因为 n_{\rm crit} 不是整数，所以对任意整数 n\ge 3，起点不可能落在等号上：

2(K+1)^n\ne(K+2)^n

因此起点在整数 n 上要么大于右边：

2(K+1)^n>(K+2)^n

要么小于右边：

2(K+1)^n<(K+2)^n

不管是垂直增 c 还是水平减 a，都会让左边变小、右边变大，导致临界指数比起点更小：这些点会比起点更早从“左边 > 右边”翻到“左边 < 右边”。

如果起点在整数 n 上已经是“小于”：

2(K+1)^n<(K+2)^n

那么同族其它点左边更小，右边更大，所以更小于：

a^n+b^n<c^n

如果起点在整数 n 上是“大于”：

2(K+1)^n>(K+2)^n

那么同族其它点会比起点更早翻到“小于”。起点是最后翻转的，起点本身都不在等号上，其它点更早进入“小于”一侧，也不可能落在等号上。

因此无论起点在整数 n 上是大是小，同族所有点都不等于右边：

a^n+b^n\ne c^n

这就是起点无解传给同族全部有效三元组。

六、最终结论

所有无效三元组本来就无解；所有有效三元组按 K 分族后，每个族的起点都无解，通过无解传递覆盖全部有效三元组。因此当整数 n\ge 3 时，不存在正整数 a,b,c 满足

a^n+b^n=c^n

和费马大定理结论一致。

朱明君

广义费马方程临界指数与无解传递（通俗完整表述，含垂直/水平操作边界）

一、基础约定

研究方程

a^n + b^n = c^n

其中 a,b,c 为正整数，n > 0，统一约定顺序

a ≤ b < c

c 是三个数里最大的。

二、先筛掉肯定没解的三元组

只要满足任意一条，直接判定无解：

a + b < c：两个小的加起来都比最大的小，n 次方后差距只会更大，左边永远小于右边。

a + b = c：n ≥ 2 时

(a+b)^n = a^n + b^n + 正中间项 > a^n + b^n

左边还是永远小于右边。

b ≥ c：和“c 是最大数”的约定矛盾，b 本身就比 c 大，加 a 之后左边永远大于右边。

剩下满足

a ≤ b < c 且 a + b > c

的叫有效三元组，是唯一可能接近等式的集合。

三、临界指数：判断等式能不能成立的标尺

对每个有效三元组，都存在唯一的正实数 n_crit（临界指数），刚好让

a^(n_crit) + b^(n_crit) = c^(n_crit)

当 n < n_crit 时，

a^n + b^n > c^n

左边大。

当 n > n_crit 时，

a^n + b^n < c^n

右边大。

只有 n = n_crit 时两边刚好相等。

四、用两个方向的操作，覆盖所有有效三元组

定义参数

K = a + b - c ≥ 1

每个 K 对应一族有效三元组，都从同一个起点生成。

起点（模三元组）：每个 K 族最核心的起点是等腰三元组

(K+1, K+1, K+2)

这是族里离等式最近的点：a 和 b 一样大，c 只比 b 大 1，左边最大、右边最小。

垂直增 c 至 2b-1：从起点出发，保持 a = b 不变，把 c 一点点往大了加，加到 2b-1 就停。再往上 c = 2b 的话，a + b = 2b = c，就变成无效三元组了。

水平减 a 至 c-b+1：对垂直方向上每一个固定的 b、c，把 a 一点点往小了减，减到 c-b+1 就停。再往小 a = c-b 的话，a + b = c，也变成无效三元组了。

通过这两个操作，就能不重不漏生成所有有效三元组，没有多余也没有遗漏。

五、无解传递逻辑

先算起点模三元组的临界指数：代入方程得

2(K+1)^n = (K+2)^n

解得

n_crit = ln 2 / ln(1 + 1/(K+1))

这个数是无理数，永远不可能等于整数 n ≥ 3，也就是说起点在 n ≥ 3 时永远不可能让等式成立。

因为 n_crit 不是整数，所以对任意整数 n ≥ 3，起点不可能落在等号上：

2(K+1)^n ≠ (K+2)^n

因此起点在整数 n 上要么大于右边：

2(K+1)^n > (K+2)^n

要么小于右边：

2(K+1)^n < (K+2)^n

不管是垂直增 c 还是水平减 a，都会让左边变小、右边变大，导致临界指数比起点更小：这些点会比起点更早从“左边 > 右边”翻到“左边 < 右边”。

如果起点在整数 n 上已经是“小于”：

2(K+1)^n < (K+2)^n

那么同族其它点左边更小，右边更大，所以更小于：

a^n + b^n < c^n

如果起点在整数 n 上是“大于”：

2(K+1)^n > (K+2)^n

那么同族其它点会比起点更早翻到“小于”。起点是最后翻转的，起点本身都不在等号上，其它点更早进入“小于”一侧，也不可能落在等号上。

因此无论起点在整数 n 上是大是小，同族所有点都不等于右边：

a^n + b^n ≠ c^n

这就是起点无解传给同族全部有效三元组。

六、最终结论

所有无效三元组本来就无解；所有有效三元组按 K 分族后，每个族的起点都无解，通过无解传递覆盖全部有效三元组。因此当整数 n ≥ 3 时，不存在正整数 a,b,c 满足

a^n + b^n = c^n

和费马大定理结论一致。