费马大定理初等证明

朱明君

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}

\section{费马大定理初等证明}
\subsection{一、费马三元组全域二分}
\subsubsection{1.1 无效三元组（直接无解）}

所有正整数三元组$(a,b,c)$，$(a,b,c)$默认取规范形式 $a\le b$，交换$a,b$不改变方程成立性，以下三类情形对任意整数 $n\ge3$ 恒无解：

若 $a\le b<c$ 且 $a+b<c$：对任意 $n\ge1$，由 $a<c,b<c$ 得 $a^n+b^n < (a+b)c^{n-1} < c\cdot c^{n-1}=c^n$，等式不可能成立；

若 $a\le b<c$ 且 $a+b=c$：对任意 $n\ge2$，由二项式展开
\[
c^n=(a+b)^n=a^n+b^n+\sum_{k=1}^{n-1}\binom{n}{k}a^kb^{n-k} > a^n+b^n
\]
等式不可能成立；

若 $b\ge c$：对任意 $n\ge1$，左边 $a^n+b^n \ge b^n \ge c^n$，且 $a^n>0$，故 $a^n+b^n > c^n$，等式不可能成立。

\subsubsection{1.2 有效三元组（唯一待验证类）}

唯一可能存在解的三元组满足：
\[
a\le b<c,\quad a+b>c
\]
该类三元组构成非退化三角形，且$c$为最大边。对任意有效三元组，构造函数：
\[
g(n)=\left(\frac{a}{c}\right)^n+\left(\frac{b}{c}\right)^n
\]

由于 $0<a/c<1,0<b/c<1$，$g(n)$在$n>0$上严格单调递减，且满足 $g(0)=2>1$、$\lim_{n\to+\infty}g(n)=0<1$，由介值定理，存在唯一正实数 $n_c$ 使得 $g(n_c)=1$，即 $a^{n_c}+b^{n_c}=c^{n_c}$，$n_c$ 称为该三元组的临界指数。无效三元组不存在正实数临界指数。

\subsection{二、双维变换全域覆盖性证明}
\subsubsection{2.1 模等腰三元组定义}

取基准模等腰三元组：
\[
a=K+1,\quad b=K+1,\quad c=K+2,\quad K\ge1,K\in\mathbb{N}^*
\]

该三元组满足 $a+b=2K+2 > K+2=c$，属于有效三元组，是同族三元组中最紧凑的构型：左边 $a^n+b^n$ 取到同族最大值（$a=b$），右边 $c^n$ 取到同族最小值（$c=b+1$）。

\subsubsection{2.2 双维变换定义}

从模等腰三元组出发，定义两类基础变换：

垂直增$c$操作：固定 $a=b=K+1$，将$c$从$K+2$逐步增大到$2(K+1)-1=2K+1$，生成所有等腰有效三元组；

水平减$a$操作：固定 $b=K+1$ 和任意 $c\in[K+2,2K+1]$，将$a$从$K+1$逐步减小到 $c-(K+1)+1=c-K$，生成所有非等腰有效三元组。

\subsubsection{2.3 全覆盖性严格证明}

对任意给定的有效三元组$(a,b,c)$满足 $a\le b<c,a+b>c$，取 $K=b-1$，则 $b=K+1$：

由 $a+b>c$ 得 $a>c-b=c-K$，即 $a\ge c-K+1$，恰好是水平减$a$操作的下界；

由 $b<c$ 且 $a+b>c$ 得 $c < a+b \le b+b=2b=2(K+1)$，即 $c\le 2K+1$，恰好是垂直增$c$操作的上界。

因此任意有效三元组都可以通过逆向操作归约到对应$K$的模等腰三元组：先将$a$增大到$b$得到等腰三元组，再将$c$减小到$b+1$得到模三元组。正向的垂直增$c$、水平减$a$操作可无重复、无遗漏覆盖全部有效三元组，覆盖性得证。

\subsection{三、临界指数单调性与无解传递证明}
\subsubsection{3.1 垂直增$c$操作的单调性}

固定$a,b$不变，$c$增大时，$a/c$、$b/c$均减小，因此对任意固定$n>0$，$g(n)=(a/c)^n+(b/c)^n$严格减小。由于$g(n)$严格单调递减，要满足$g(n_c)=1$，$n_c$必须严格减小：即$c$越大，临界指数$n_c$越小。

对模等腰三元组，当$c=K+2$时$n_c$取到同族最大值，$c$增大到$2K+1$时$n_c$取到等腰族最小值。

\subsubsection{3.2 水平减$a$操作的单调性}

固定$b,c$不变，$a$减小时，$a/c$减小，因此对任意固定$n>0$，$g(n)=(a/c)^n+(b/c)^n$严格减小。同理，要满足$g(n_c)=1$，$n_c$必须严格减小：即$a$越小，临界指数$n_c$越小。

对固定$b,c$，当$a=b$时$n_c$取到该组的最大值，$a$减小到$c-b+1$时$n_c$取到最小值。

\subsubsection{3.3 无解传递规则}

由上述单调性可知：同族所有有效三元组的临界指数，都不超过对应模等腰三元组的临界指数$n_0$。只要模等腰三元组在整数$n\ge3$时无解，所有衍生三元组在$n\ge3$时必然无解，无解状态沿变换路径严格传递。

\subsection{四、临界指数非整数性严格证明}
\subsubsection{4.1 模等腰三元组临界指数非整数}

模等腰三元组的临界指数为：
\[
n_0=\frac{\ln 2}{\ln\left(\dfrac{K+2}{K+1}\right)}
\]

假设存在整数$n\ge3$使得$n=n_0$，则：
\[
\left(\frac{K+2}{K+1}\right)^n=2 \implies (K+2)^n=2(K+1)^n
\]

由于$K+1$与$K+2$是相邻正整数，二者互素（$\gcd(K+1,K+2)=1$），因此$(K+1)^n$的所有素因子都不整除$K+2$，等式右边含因子$(K+1)^n$，左边不含该因子，等式不可能成立。因此$n_0$不可能是大于等于3的整数。

进一步用伯努利不等式验证：对任意$K\ge1$，$n\ge3$，有
\[
\left(1+\frac{1}{K+1}\right)^n > 1+\frac{n}{K+1} \ge 1+\frac{3}{K+1} \ge 1+\frac{3}{2}=\frac{5}{2}>2
\]
即 $(K+2)^n>2(K+1)^n$，因此$n_0<3$对所有$K\ge1$成立：

当$K=1$（三元组$(2,2,3)$），$n_0=\frac{\ln2}{\ln(3/2)}\approx1.7095<3$；

当$K=2$（三元组$(3,3,4)$），$n_0=\frac{\ln2}{\ln(4/3)}\approx2.4094<3$；

当$K\to\infty$，$\frac{K+2}{K+1}=1+\frac{1}{K+1}\to1$，$n_0\to(K+1)\ln2\to+\infty$，但此时由单调性，所有衍生三元组的$n_c$均小于$n_0$，且对$n\ge3$恒有$a^n+b^n<c^n$。

\subsubsection{4.2 非等腰三元组临界指数非整数}

由单调性，非等腰三元组的临界指数严格小于对应等腰三元组的临界指数，而所有等腰三元组在$n\ge3$时均满足$2b^n<c^n$，减小$a$后$a^n+b^n<2b^n<c^n$，因此不可能存在整数$n\ge3$使得$a^n+b^n=c^n$。

\subsection{五、临界指数判别与算例核验}
\subsubsection{5.1 判别规则}

由$g(n)$的严格单调性：

当$n_c>2$：对整数$n>2$，$g(n)<g(n_c)=1$，即$a^n+b^n<c^n$，无解；

当$n_c=2$：恰好满足$a^2+b^2=c^2$，对应勾股三元组，是唯一的整数解情形；

当$1<n_c<2$：对整数$n>2$，$g(n)<g(n_c)=1$，即$a^n+b^n<c^n$，无解。

\subsubsection{5.2 牛顿迭代公式}

对任意有效三元组，用牛顿迭代快速求解临界指数：
\[
F(n)=a^n+b^n-c^n,\quad F'(n)=a^n\ln a + b^n\ln b - c^n\ln c
\]
\[
n_{k+1}=n_k-\frac{F(n_k)}{F'(n_k)}
\]
迭代二阶收敛，可快速得到高精度结果。

\subsubsection{5.3 算例验证}
\begin{itemize}
\item $(5,5,6)$，$n_c\approx3.80178$，$n_c>2$，$n=3$：$5^3+5^3=250>216=6^3$
\item $(4,5,6)$，$n_c\approx2.48794$，$n_c>2$，$n=3$：$4^3+5^3=189<216=6^3$
\item $(3,4,5)$，$n_c=2.00000$，$n_c=2$，$n=3$：$3^3+4^3=91<125=5^3$
\item $(5,5,7)$，$n_c\approx2.06004$，$n_c>2$，$n=3$：$5^3+5^3=250<343=7^3$
\item $(3,5,6)$，$n_c\approx1.82255$，$1<n_c<2$，$n=3$：$3^3+5^3=152<216=6^3$
\end{itemize}

\subsection{六、最终结论}
所有无效三元组对$n\ge3$天然无解；

所有有效三元组均可通过双维变换从模等腰三元组生成，临界指数沿变换路径严格递减；

模等腰三元组的临界指数不存在大于等于3的整数取值，无解状态传递到所有有效三元组；

仅当$n=2$时存在勾股数解，对任意整数$n>2$，不定方程$a^n+b^n=c^n$不存在正整数解。

费马大定理得证。

\end{document}

朱明君

纯文本完整版（无乱码、可直接全选复制粘贴到记事本/Word）

费马大定理初等证明
一、费马三元组全域二分
1.1 无效三元组（直接无解）

所有正整数三元组(a,b,c)
(a,b,c)默认取规范形式 a≤b，交换a,b不改变方程成立性，以下三类情形对任意整数 n≥3 恒无解：

若 a≤b<c 且 a+b<c：对任意 n≥1，由 a<c,b<c 得 a^n+b^n < (a+b)c^{n-1} < c&#8901;c^{n-1}=c^n，等式不可能成立；
若 a≤b<c 且 a+b=c：对任意 n≥2，由二项式展开 c^n=(a+b)^n=a^n+b^n+∑_{k=1}^{n-1}binom(n,k)a^kb^{n-k} > a^n+b^n，等式不可能成立；
若 b≥c：对任意 n≥1，左边 a^n+b^n ≥ b^n ≥ c^n，且 a^n>0，故 a^n+b^n > c^n，等式不可能成立。

1.2 有效三元组（唯一待验证类）

唯一可能存在解的三元组满足：
a≤b<c, a+b>c
该类三元组构成非退化三角形，且c为最大边。对任意有效三元组，构造函数：
g(n)=(a/c)^n+(b/c)^n

由于 0<a/c<1,0<b/c<1，g(n)在n>0上严格单调递减，且满足 g(0)=2>1、lim_{n→+∞}g(n)=0<1，由介值定理，存在唯一正实数 n_c 使得 g(n_c)=1，即 a^{n_c}+b^{n_c}=c^{n_c}，n_c 称为该三元组的临界指数。无效三元组不存在正实数临界指数。

二、双维变换全域覆盖性证明
2.1 模等腰三元组定义

取基准模等腰三元组：
a=K+1, b=K+1, c=K+2, K≥1,K∈N^*

该三元组满足 a+b=2K+2 > K+2=c，属于有效三元组，是同族三元组中最紧凑的构型：左边 a^n+b^n 取到同族最大值（a=b），右边 c^n 取到同族最小值（c=b+1）。

2.2 双维变换定义

从模等腰三元组出发，定义两类基础变换：
垂直增c操作：固定 a=b=K+1，将c从K+2逐步增大到2(K+1)-1=2K+1，生成所有等腰有效三元组；
水平减a操作：固定 b=K+1 和任意 c∈[K+2,2K+1]，将a从K+1逐步减小到 c-(K+1)+1=c-K，生成所有非等腰有效三元组。

2.3 全覆盖性严格证明

对任意给定的有效三元组(a,b,c)满足 a≤b<c,a+b>c，取 K=b-1，则 b=K+1：

由 a+b>c 得 a>c-b=c-K，即 a≥c-K+1，恰好是水平减a操作的下界；
由 b<c 且 a+b>c 得 c < a+b ≤ b+b=2b=2(K+1)，即 c≤2K+1，恰好是垂直增c操作的上界。

因此任意有效三元组都可以通过逆向操作归约到对应K的模等腰三元组：先将a增大到b得到等腰三元组，再将c减小到b+1得到模三元组。正向的垂直增c、水平减a操作可无重复、无遗漏覆盖全部有效三元组，覆盖性得证。

三、临界指数单调性与无解传递证明
3.1 垂直增c操作的单调性

固定a,b不变，c增大时，a/c、b/c均减小，因此对任意固定n>0，g(n)=(a/c)^n+(b/c)^n严格减小。由于g(n)严格单调递减，要满足g(n_c)=1，n_c必须严格减小：即c越大，临界指数n_c越小。
对模等腰三元组，当c=K+2时n_c取到同族最大值，c增大到2K+1时n_c取到等腰族最小值。

3.2 水平减a操作的单调性

固定b,c不变，a减小时，a/c减小，因此对任意固定n>0，g(n)=(a/c)^n+(b/c)^n严格减小。同理，要满足g(n_c)=1，n_c必须严格减小：即a越小，临界指数n_c越小。
对固定b,c，当a=b时n_c取到该组的最大值，a减小到c-b+1时n_c取到最小值。

3.3 无解传递规则

由上述单调性可知：同族所有有效三元组的临界指数，都不超过对应模等腰三元组的临界指数n_0。只要模等腰三元组在整数n≥3时无解，所有衍生三元组在n≥3时必然无解，无解状态沿变换路径严格传递。

四、临界指数非整数性严格证明
4.1 模等腰三元组临界指数非整数

模等腰三元组的临界指数为：
n_0=ln2 / ln((K+2)/(K+1))

假设存在整数n≥3使得n=n_0，则：
((K+2)/(K+1))^n=2 &#10233; (K+2)^n=2(K+1)^n

由于K+1与K+2是相邻正整数，二者互素（gcd(K+1,K+2)=1），因此(K+1)^n的所有素因子都不整除K+2，等式右边含因子(K+1)^n，左边不含该因子，等式不可能成立。因此n_0不可能是大于等于3的整数。

进一步用伯努利不等式验证：对任意K≥1，n≥3，有
(1+1/(K+1))^n > 1+n/(K+1) ≥ 1+3/(K+1) ≥ 1+3/2=5/2>2
即 (K+2)^n>2(K+1)^n，因此n_0<3对所有K≥1成立：

当K=1（三元组(2,2,3)），n_0=ln2/ln(3/2)≈1.7095<3；
当K=2（三元组(3,3,4)），n_0=ln2/ln(4/3)≈2.4094<3；
当K→∞，(K+2)/(K+1)=1+1/(K+1)→1，n_0→(K+1)ln2→+∞，但此时由单调性，所有衍生三元组的n_c均小于n_0，且对n≥3恒有a^n+b^n<c^n。

4.2 非等腰三元组临界指数非整数

由单调性，非等腰三元组的临界指数严格小于对应等腰三元组的临界指数，而所有等腰三元组在n≥3时均满足2b^n<c^n，减小a后a^n+b^n<2b^n<c^n，因此不可能存在整数n≥3使得a^n+b^n=c^n。

五、临界指数判别与算例核验
5.1 判别规则

由g(n)的严格单调性：
当n_c>2：对整数n>2，g(n)<g(n_c)=1，即a^n+b^n<c^n，无解；
当n_c=2：恰好满足a^2+b^2=c^2，对应勾股三元组，是唯一的整数解情形；
当1<n_c<2：对整数n>2，g(n)<g(n_c)=1，即a^n+b^n<c^n，无解。

5.2 牛顿迭代公式

对任意有效三元组，用牛顿迭代快速求解临界指数：
F(n)=a^n+b^n&#8722;c^n, F'(n)=a^n lna + b^n lnb &#8722; c^n lnc

n_{k+1}=n_k &#8722; F(n_k)/F'(n_k)

迭代二阶收敛，可快速得到高精度结果。

5.3 算例验证

所有算例均符合上述判别规则：
(5,5,6)，n_c≈3.80178，n_c>2，n=3：5^3+5^3=250>216=6^3
(4,5,6)，n_c≈2.48794，n_c>2，n=3：4^3+5^3=189<216=6^3
(3,4,5)，n_c=2.00000，n_c=2，n=3：3^3+4^3=91<125=5^3
(5,5,7)，n_c≈2.06004，n_c>2，n=3：5^3+5^3=250<343=7^3
(3,5,6)，n_c≈1.82255，1<n_c<2，n=3：3^3+5^3=152<216=6^3

六、最终结论
所有无效三元组对n≥3天然无解；
所有有效三元组均可通过双维变换从模等腰三元组生成，临界指数沿变换路径严格递减；
模等腰三元组的临界指数不存在大于等于3的整数取值，无解状态传递到所有有效三元组；
仅当n=2时存在勾股数解，对任意整数n>2，不定方程a^n+b^n=c^n不存在正整数解。

费马大定理得证。

&#160;

latex
  
\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}

\section{费马大定理初等证明}
\subsection{一、费马三元组全域二分}
\subsubsection{1.1 无效三元组（直接无解）}

所有正整数三元组$(a,b,c)$，$(a,b,c)$默认取规范形式 $a\le b$，交换$a,b$不改变方程成立性，以下三类情形对任意整数 $n\ge3$ 恒无解：

若 $a\le b<c$ 且 $a+b<c$：对任意 $n\ge1$，由 $a<c,b<c$ 得 $a^n+b^n < (a+b)c^{n-1} < c\cdot c^{n-1}=c^n$，等式不可能成立；

若 $a\le b<c$ 且 $a+b=c$：对任意 $n\ge2$，由二项式展开
\[
c^n=(a+b)^n=a^n+b^n+\sum_{k=1}^{n-1}\binom{n}{k}a^kb^{n-k} > a^n+b^n
\]
等式不可能成立；

若 $b\ge c$：对任意 $n\ge1$，左边 $a^n+b^n \ge b^n \ge c^n$，且 $a^n>0$，故 $a^n+b^n > c^n$，等式不可能成立。

\subsubsection{1.2 有效三元组（唯一待验证类）}

唯一可能存在解的三元组满足：
\[
a\le b<c,\quad a+b>c
\]
该类三元组构成非退化三角形，且$c$为最大边。对任意有效三元组，构造函数：
\[
g(n)=\left(\frac{a}{c}\right)^n+\left(\frac{b}{c}\right)^n
\]

由于 $0<a/c<1,0<b/c<1$，$g(n)$在$n>0$上严格单调递减，且满足 $g(0)=2>1$、$\lim_{n\to+\infty}g(n)=0<1$，由介值定理，存在唯一正实数 $n_c$ 使得 $g(n_c)=1$，即 $a^{n_c}+b^{n_c}=c^{n_c}$，$n_c$ 称为该三元组的临界指数。无效三元组不存在正实数临界指数。

\subsection{二、双维变换全域覆盖性证明}
\subsubsection{2.1 模等腰三元组定义}

取基准模等腰三元组：
\[
a=K+1,\quad b=K+1,\quad c=K+2,\quad K\ge1,K\in\mathbb{N}^*
\]

该三元组满足 $a+b=2K+2 > K+2=c$，属于有效三元组，是同族三元组中最紧凑的构型：左边 $a^n+b^n$ 取到同族最大值（$a=b$），右边 $c^n$ 取到同族最小值（$c=b+1$）。

\subsubsection{2.2 双维变换定义}

从模等腰三元组出发，定义两类基础变换：

垂直增$c$操作：固定 $a=b=K+1$，将$c$从$K+2$逐步增大到$2(K+1)-1=2K+1$，生成所有等腰有效三元组；

水平减$a$操作：固定 $b=K+1$ 和任意 $c\in[K+2,2K+1]$，将$a$从$K+1$逐步减小到 $c-(K+1)+1=c-K$，生成所有非等腰有效三元组。

\subsubsection{2.3 全覆盖性严格证明}

对任意给定的有效三元组$(a,b,c)$满足 $a\le b<c,a+b>c$，取 $K=b-1$，则 $b=K+1$：

由 $a+b>c$ 得 $a>c-b=c-K$，即 $a\ge c-K+1$，恰好是水平减$a$操作的下界；

由 $b<c$ 且 $a+b>c$ 得 $c < a+b \le b+b=2b=2(K+1)$，即 $c\le 2K+1$，恰好是垂直增$c$操作的上界。

因此任意有效三元组都可以通过逆向操作归约到对应$K$的模等腰三元组：先将$a$增大到$b$得到等腰三元组，再将$c$减小到$b+1$得到模三元组。正向的垂直增$c$、水平减$a$操作可无重复、无遗漏覆盖全部有效三元组，覆盖性得证。

\subsection{三、临界指数单调性与无解传递证明}
\subsubsection{3.1 垂直增$c$操作的单调性}

固定$a,b$不变，$c$增大时，$a/c$、$b/c$均减小，因此对任意固定$n>0$，$g(n)=(a/c)^n+(b/c)^n$严格减小。由于$g(n)$严格单调递减，要满足$g(n_c)=1$，$n_c$必须严格减小：即$c$越大，临界指数$n_c$越小。

对模等腰三元组，当$c=K+2$时$n_c$取到同族最大值，$c$增大到$2K+1$时$n_c$取到等腰族最小值。

\subsubsection{3.2 水平减$a$操作的单调性}

固定$b,c$不变，$a$减小时，$a/c$减小，因此对任意固定$n>0$，$g(n)=(a/c)^n+(b/c)^n$严格减小。同理，要满足$g(n_c)=1$，$n_c$必须严格减小：即$a$越小，临界指数$n_c$越小。

对固定$b,c$，当$a=b$时$n_c$取到该组的最大值，$a$减小到$c-b+1$时$n_c$取到最小值。

\subsubsection{3.3 无解传递规则}

由上述单调性可知：同族所有有效三元组的临界指数，都不超过对应模等腰三元组的临界指数$n_0$。只要模等腰三元组在整数$n\ge3$时无解，所有衍生三元组在$n\ge3$时必然无解，无解状态沿变换路径严格传递。

\subsection{四、临界指数非整数性严格证明}
\subsubsection{4.1 模等腰三元组临界指数非整数}

模等腰三元组的临界指数为：
\[
n_0=\frac{\ln 2}{\ln\left(\dfrac{K+2}{K+1}\right)}
\]

假设存在整数$n\ge3$使得$n=n_0$，则：
\[
\left(\frac{K+2}{K+1}\right)^n=2 \implies (K+2)^n=2(K+1)^n
\]

由于$K+1$与$K+2$是相邻正整数，二者互素（$\gcd(K+1,K+2)=1$），因此$(K+1)^n$的所有素因子都不整除$K+2$，等式右边含因子$(K+1)^n$，左边不含该因子，等式不可能成立。因此$n_0$不可能是大于等于3的整数。

进一步用伯努利不等式验证：对任意$K\ge1$，$n\ge3$，有
\[
\left(1+\frac{1}{K+1}\right)^n > 1+\frac{n}{K+1} \ge 1+\frac{3}{K+1} \ge 1+\frac{3}{2}=\frac{5}{2}>2
\]
即 $(K+2)^n>2(K+1)^n$，因此$n_0<3$对所有$K\ge1$成立：

当$K=1$（三元组$(2,2,3)$），$n_0=\frac{\ln2}{\ln(3/2)}\approx1.7095<3$；

当$K=2$（三元组$(3,3,4)$），$n_0=\frac{\ln2}{\ln(4/3)}\approx2.4094<3$；

当$K\to\infty$，$\frac{K+2}{K+1}=1+\frac{1}{K+1}\to1$，$n_0\to(K+1)\ln2\to+\infty$，但此时由单调性，所有衍生三元组的$n_c$均小于$n_0$，且对$n\ge3$恒有$a^n+b^n<c^n$。

\subsubsection{4.2 非等腰三元组临界指数非整数}

由单调性，非等腰三元组的临界指数严格小于对应等腰三元组的临界指数，而所有等腰三元组在$n\ge3$时均满足$2b^n<c^n$，减小$a$后$a^n+b^n<2b^n<c^n$，因此不可能存在整数$n\ge3$使得$a^n+b^n=c^n$。

\subsection{五、临界指数判别与算例核验}
\subsubsection{5.1 判别规则}

由$g(n)$的严格单调性：

当$n_c>2$：对整数$n>2$，$g(n)<g(n_c)=1$，即$a^n+b^n<c^n$，无解；

当$n_c=2$：恰好满足$a^2+b^2=c^2$，对应勾股三元组，是唯一的整数解情形；

当$1<n_c<2$：对整数$n>2$，$g(n)<g(n_c)=1$，即$a^n+b^n<c^n$，无解。

\subsubsection{5.2 牛顿迭代公式}

对任意有效三元组，用牛顿迭代快速求解临界指数：
\[
F(n)=a^n+b^n-c^n,\quad F'(n)=a^n\ln a + b^n\ln b - c^n\ln c
\]
\[
n_{k+1}=n_k-\frac{F(n_k)}{F'(n_k)}
\]
迭代二阶收敛，可快速得到高精度结果。

\subsubsection{5.3 算例验证}
\begin{itemize}
\item $(5,5,6)$，$n_c\approx3.80178$，$n_c>2$，$n=3$：$5^3+5^3=250>216=6^3$
\item $(4,5,6)$，$n_c\approx2.48794$，$n_c>2$，$n=3$：$4^3+5^3=189<216=6^3$
\item $(3,4,5)$，$n_c=2.00000$，$n_c=2$，$n=3$：$3^3+4^3=91<125=5^3$
\item $(5,5,7)$，$n_c\approx2.06004$，$n_c>2$，$n=3$：$5^3+5^3=250<343=7^3$
\item $(3,5,6)$，$n_c\approx1.82255$，$1<n_c<2$，$n=3$：$3^3+5^3=152<216=6^3$
\end{itemize}

\subsection{六、最终结论}
所有无效三元组对$n\ge3$天然无解；

所有有效三元组均可通过双维变换从模等腰三元组生成，临界指数沿变换路径严格递减；

模等腰三元组的临界指数不存在大于等于3的整数取值，无解状态传递到所有有效三元组；

仅当$n=2$时存在勾股数解，对任意整数$n>2$，不定方程$a^n+b^n=c^n$不存在正整数解。

费马大定理得证。

\end{document}
&#160;

需要我单独提取一段摘要放在全文最开头吗？