1. 项目概述费马大定理——这个在数学史上盘踞了358年的幽灵不是那种你翻两页教科书就能随手打发的习题而是一道横亘在人类理性边疆上的峭壁。它说起来极简当整数 $ n 2 $ 时关于 $ x, y, z $ 的方程 $ x^n y^n z^n $ 不存在正整数解。就这么一行符号却让欧拉、高斯、柯西、库默尔等一连串如雷贯耳的名字在它面前折戟沉沙。我第一次在大学代数课上听到这个名字时教授只用半分钟讲完陈述然后停顿五秒说“你们现在知道的和1637年费马在丢番图《算术》页边写下的那句话内容完全一样。”那一刻我意识到这不是一道“难题”而是一个时间胶囊——里面封存着人类对数之本质最执拗的追问。本文聚焦的是这个宏大命题中最可触摸的入口n 4 的情形。它之所以特殊并非因为计算简单而是因为它构成了整个证明大厦的地基。安德鲁·怀尔斯1994年震惊世界的完整证明其核心工具——椭圆曲线与模形式的对应关系——最终要回溯到对 $ n 4 $ 和 $ n 3 $ 这两个基础情形的彻底消化。而 $ n 4 $ 的证明恰恰是唯一一个能被中学生代数工具完全驾驭的版本。它不依赖复杂数论或现代代数几何只靠平方数的本性、无穷递降法的逻辑利刃以及对“最小反例”这一思想实验的精妙运用。如果你曾为勾股数3² 4² 5²着迷那么你离理解费马大定理的第一块基石只差一次对“为什么没有 4 次方的勾股数”的认真推演。这篇文章就是带你亲手打磨这把逻辑小刀的过程——它不承诺让你登顶怀尔斯的高峰但能确保你稳稳站在山脚看清每一块奠基的石头是如何咬合的。2. 整体设计思路与关键逻辑拆解2.1 为何从 n 4 入手——地基的不可替代性在开始任何计算之前必须回答一个根本问题为什么所有严肃的费马大定理教学与历史梳理都把 $ n 4 $ 的证明放在绝对优先的位置答案藏在一个朴素的数论事实里所有大于2的整数要么是4的倍数要么是某个奇素数的倍数。更精确地说如果 $ n 2 $ 是合数它必然含有一个素因子 $ p $且 $ p \geq 3 $。于是若我们能证明对所有奇素数 $ p $如3, 5, 7…以及对 $ n 4 $方程均无解那么对任意 $ n 2 $结论自然成立。这是因为假设存在某个 $ n p \cdot k $$ p $ 为奇素数的解 $ (x, y, z) $那么 $ (x^k)^p (y^k)^p (z^k)^p $ 就构成了一个关于 $ p $ 次方的解这与 $ p $ 情形无解矛盾。同理若 $ n $ 是4的倍数比如 $ n 4m $则 $ (x^m)^4 (y^m)^4 (z^m)^4 $ 又构成了一个 $ n 4 $ 的解。因此证明 $ n 4 $ 和所有奇素数 $ p $ 的情形就等价于证明了全部 $ n 2 $。而在这两者之中$ n 4 $ 是唯一一个能被初等方法攻克的堡垒。奇素数的情形如 $ n 3 $虽然欧拉在1770年给出了一个基于虚数的证明但其中涉及的代数技巧已远超中学范畴至于更大的素数直到19世纪库默尔引入“理想数”理论才取得突破。相比之下$ n 4 $ 的证明其全部工具箱仅包含整数的唯一分解性算术基本定理、勾股数的通解公式、以及无穷递降法这一纯粹的逻辑归谬术。它像一座用纯木料搭建的古桥没有钢筋水泥却异常坚固——它的力量不来自材料的强度而来自结构的精巧。我当年在辅导一名高中生竞赛时曾让他尝试自己推导 $ n 4 $ 的证明。他花了整整三天反复卡在“如何从一个假想的解构造出一个更小的解”这个环节。当他最终在草稿纸上写下那个关键的因式分解 $ x^4 y^4 (x^2)^2 (y^2)^2 $并意识到这本身就是一个平方和时他拍着桌子喊“原来它只是个伪装成四次方的二次方程”——这句话精准地道出了 $ n 4 $ 情形的本质它是一次漂亮的“降维打击”。2.2 无穷递降法逻辑的手术刀无穷递降法Method of Infinite Descent是费马本人最钟爱的武器也是证明 $ n 4 $ 的核心引擎。它的思想极其简洁却蕴含着毁灭性的力量假设某个性质P对某个正整数成立那么我们总能构造出一个更小的正整数它也满足性质P。由于正整数有下界最小是1这个“无限变小”的过程不可能永远进行下去从而推出最初的假设是错误的。这不是一种构造性证明而是一种归谬法reductio ad absurdum的变体。为了理解它的威力不妨看一个生活化的类比想象你在一栋无限向下的楼梯上每一步都必须踩在比前一步更低的台阶上。如果你声称自己能永远走下去那你就得承认存在一个“无限下降的正整数序列”。但这是荒谬的因为正整数的集合是良序的——它必有一个最小元。所以你声称的“第一步”本身就不可能存在。在 $ n 4 $ 的证明中“性质P”就是“存在一组正整数 $ (x, y, z) $ 满足 $ x^4 y^4 z^2 $”。注意这里我们先证明一个稍强的命题$ x^4 y^4 z^2 $ 无正整数解。这个命题一旦成立原命题 $ x^4 y^4 z^4 $ 自然无解因为后者是前者的特例令 $ z^2 $ 为新的 $ z $。我们的目标就是从任意一组假想的解 $ (x, y, z) $ 出发通过一系列代数操作构造出另一组解 $ (x, y, z) $使得 $ z z $。只要这个构造是确定的、保真的那么递降链条就成立了。提示无穷递降法的成功高度依赖于所研究对象的“离散性”。它在实数域上完全失效因为实数没有“下一个更小的数”的概念。这正是数论区别于分析学的深刻之处——我们是在一个由“原子”构成的世界里工作每一个整数都是不可分割的个体这赋予了递降法以坚实的逻辑地基。2.3 勾股数通解从特例到通式的关键跃迁证明的另一个支柱是古希腊人就已掌握的勾股数Pythagorean triple通解公式。它告诉我们所有满足 $ a^2 b^2 c^2 $ 的正整数解都可以表示为 $$ a m^2 - n^2,\quad b 2mn,\quad c m^2 n^2 $$ 其中 $ m n 0 $ 是互质的正整数且一奇一偶。这个公式并非凭空而来它源于对单位圆 $ x^2 y^2 1 $ 上有理点的参数化。但对我们而言更重要的是它的“生成性”它把无穷多个看似杂乱的解压缩成了两个自由参数 $ m $ 和 $ n $ 的函数。在 $ n 4 $ 的证明中我们将反复用到这个公式。因为当我们把 $ x^4 y^4 z^2 $ 看作 $ (x^2)^2 (y^2)^2 z^2 $ 时它立刻就变成了一个标准的勾股方程此时$ x^2 $ 和 $ y^2 $ 就扮演了 $ a $ 和 $ b $ 的角色而 $ z $ 就是斜边 $ c $。于是我们可以直接套用通解公式将 $ x^2 $ 和 $ y^2 $ 表达为 $ m $ 和 $ n $ 的函数。这一步是整个证明的“奇点”——它把一个四次方程瞬间降维成一个关于二次表达式的方程。接下来的所有推演都围绕着“$ x^2 $ 是一个平方数”这一额外约束展开。也就是说我们不仅要找到 $ a $ 和 $ b $还要确保它们本身是完全平方数。这个“双重平方”的要求正是导致矛盾的根源。我曾用Python写过一个小程序暴力搜索 $ z 10000 $ 范围内是否存在 $ x^4 y^4 z^2 $ 的解结果当然是零。但程序跑完后我手动检查了几个接近的“伪解”比如 $ 1^4 2^4 17 $而17不是平方数$ 2^4 3^4 97 $97也不是平方数。这种穷举的徒劳恰恰印证了通解公式的威力——它不是在找解而是在系统性地证明解的“不存在性”。3. 核心细节解析与实操要点3.1 关键引理$ x^4 y^4 z^2 $ 无正整数解我们正式开始证明的核心。目标是证明方程 $$ x^4 y^4 z^2 \tag{1} $$ 在正整数范围内无解。注意这比原命题 $ x^4 y^4 z^4 $ 更强因为如果 (1) 无解那么令 $ z w^2 $就得到 $ x^4 y^4 w^4 $ 也无解。证明思路采用无穷递降法。假设存在一组正整数解 $ (x, y, z) $。我们可以不失一般性地假设 $ \gcd(x, y) 1 $即 $ x $ 和 $ y $ 互质。为什么因为如果它们有公因子 $ d $那么 $ d^4 $ 必整除左边从而 $ d^2 $ 整除 $ z $我们可以将整个方程两边同除以 $ d^4 $得到一组更小的解。因此我们总可以取一个“本原解”其中 $ x $ 和 $ y $ 互质。现在将 (1) 式重写为 $$ (x^2)^2 (y^2)^2 z^2 \tag{2} $$ 这明确地表明 $ (x^2, y^2, z) $ 是一组勾股数。由于 $ \gcd(x, y) 1 $可以推出 $ \gcd(x^2, y^2) 1 $所以这是一组本原勾股数。根据勾股数通解公式存在互质且一奇一偶的正整数 $ m n 0 $使得以下两种情况之一成立情况A$ x^2 m^2 - n^2 $$ y^2 2mn $$ z m^2 n^2 $情况B$ x^2 2mn $$ y^2 m^2 - n^2 $$ z m^2 n^2 $由于 $ x $ 和 $ y $ 在方程中地位对称我们只需分析情况A情况B的论证完全类似。我们的目标是从情况A出发推导出一个新的、更小的解。首先观察 $ y^2 2mn $。因为 $ y^2 $ 是一个完全平方数而 $ 2mn $ 是它的值这意味着 $ 2mn $ 必须是一个平方数。又因为 $ m $ 和 $ n $ 互质且一奇一偶所以 $ 2 $、$ m $、$ n $ 这三个因子两两互质。一个数是平方数当且仅当它的每个素因子的指数都是偶数。因此为了使 $ 2mn $ 是平方数$ 2 $、$ m $、$ n $ 本身都必须是平方数。即存在正整数 $ u, v $使得 $$ m u^2,\quad n v^2,\quad \text{且} \quad 2 2 \quad (\text{显然}) $$ 等等这里有个陷阱$ 2 $ 本身不是平方数但 $ 2mn $ 是平方数且 $ m $ 和 $ n $ 互质所以 $ 2 $ 必须“依附”在 $ m $ 或 $ n $ 上。由于 $ m $ 和 $ n $ 一奇一偶偶的那个必然含有因子 $ 2 $。不妨设 $ n $ 是偶数因为 $ m $ 和 $ n $ 一奇一偶我们可以自由选择哪个是偶数那么 $ n $ 必须包含所有的因子 $ 2 $。因此$ n $ 必须是 $ 2 $ 乘以一个平方数而 $ m $ 本身必须是一个平方数。更严谨地说因为 $ \gcd(m, n) 1 $且 $ 2mn y^2 $所以 $ m $ 和 $ n $ 都必须是平方数而 $ 2 $ 必须单独成为一个平方因子——但这不可能因为 $ 2 $ 不是平方数。唯一的出路是$ 2 $ 和 $ n $ 结合即 $ n $ 是偶数且 $ n/2 $ 是一个平方数而 $ m $ 是一个平方数。标准的处理方式是令 $ n 2r^2 $$ m s^2 $其中 $ \gcd(r, s) 1 $且 $ s $ 是奇数因为 $ m $ 是奇数。这样$ 2mn 2 \cdot s^2 \cdot 2r^2 4 r^2 s^2 (2rs)^2 y^2 $完美成立。注意这个参数替换是证明中最容易出错的环节。很多初学者会直接写 $ m a^2 $, $ n b^2 $然后发现 $ 2a^2b^2 y^2 $从而 $ y \sqrt{2}ab $这显然不是整数。错误就在于忽略了 $ 2 $ 这个因子的奇偶性。正确的做法是根据 $ m $ 和 $ n $ 的奇偶性将 $ 2 $ “分配”给偶数的那个。这是数论中一个经典技巧在处理形如 $ ab c^2 $ 且 $ \gcd(a,b)1 $ 的方程时$ a $ 和 $ b $ 必须各自是平方数但当有额外的常数因子如这里的2时必须结合奇偶性来分配。3.2 构造递降从 $ (x, y, z) $ 到 $ (x, y, z) $现在我们有了 $$ m s^2,\quad n 2r^2,\quad \gcd(r, s) 1,\quad s \text{ 为奇数} $$ 代入情况A的第一个等式$ x^2 m^2 - n^2 (s^2)^2 - (2r^2)^2 s^4 - 4r^4 $。整理一下 $$ x^2 s^4 - 4r^4 (s^2)^2 - (2r^2)^2 \tag{3} $$ 这又是一个平方差我们可以将其因式分解 $$ x^2 (s^2 - 2r^2)(s^2 2r^2) \tag{4} $$ 现在关键的一步来了我们需要考察这两个因子 $ s^2 - 2r^2 $ 和 $ s^2 2r^2 $ 的最大公约数。设 $ d \gcd(s^2 - 2r^2, s^2 2r^2) $。那么 $ d $ 必然整除它们的和与差 $$ (s^2 2r^2) (s^2 - 2r^2) 2s^2,\quad (s^2 2r^2) - (s^2 - 2r^2) 4r^2 $$ 所以 $ d $ 整除 $ 2s^2 $ 和 $ 4r^2 $。又因为 $ \gcd(r, s) 1 $所以 $ \gcd(s^2, r^2) 1 $进而 $ \gcd(s^2, 4r^2) 1 $ 或 $ 2 $ 或 $ 4 $但具体是多少由于 $ s $ 是奇数$ s^2 $ 是奇数所以 $ \gcd(s^2, 4r^2) \gcd(s^2, r^2) 1 $。因此$ d $ 必须整除 $ 2 $。即 $ d 1 $ 或 $ d 2 $。但 $ s $ 是奇数$ r $ 是整数所以 $ s^2 \equiv 1 \pmod{4} $而 $ 2r^2 \equiv 0 $ 或 $ 2 \pmod{4} $。如果 $ r $ 是偶数$ 2r^2 \equiv 0 \pmod{4} $那么 $ s^2 \pm 2r^2 \equiv 1 \pmod{4} $都是奇数如果 $ r $ 是奇数$ 2r^2 \equiv 2 \pmod{4} $那么 $ s^2 \pm 2r^2 \equiv 1 \pm 2 \equiv 3 $ 或 $ -1 \equiv 3 \pmod{4} $也都是奇数。因此$ s^2 - 2r^2 $ 和 $ s^2 2r^2 $ 都是奇数所以它们的最大公约数 $ d $ 不可能是2只能是1。于是我们得出 $$ \gcd(s^2 - 2r^2, s^2 2r^2) 1 $$ 这是一个黄金般的结论。因为它们的乘积 $ x^2 $ 是一个完全平方数而它们又互质所以根据算术基本定理每个因子本身都必须是一个完全平方数。即存在正整数 $ u $ 和 $ v $使得 $$ s^2 - 2r^2 u^2,\quad s^2 2r^2 v^2 \tag{5} $$ 并且显然有 $ v u 0 $且 $ \gcd(u, v) 1 $因为它们的和与差分别是 $ 2s^2 $ 和 $ 4r^2 $而 $ \gcd(r,s)1 $。现在将 (5) 中的两个等式相加 $$ 2s^2 u^2 v^2 \tag{6} $$ 这又是一个平方和而且$ u $ 和 $ v $ 互质一奇一偶因为 $ u^2 v^2 2s^2 $ 是偶数所以 $ u $ 和 $ v $ 同奇偶但若同为偶数则与互质矛盾若同为奇数则 $ u^2 v^2 \equiv 2 \pmod{4} $而 $ 2s^2 \equiv 2 \pmod{4} $ 当且仅当 $ s $ 是奇数这成立。但 $ u $ 和 $ v $ 都是奇数时$ u^2 \equiv v^2 \equiv 1 \pmod{4} $所以 $ u^2 v^2 \equiv 2 \pmod{4} $而 $ 2s^2 \equiv 2 \pmod{4} $没问题。然而在勾股数通解中要求一奇一偶是为了保证生成的三元组是本原的。这里$ u $ 和 $ v $ 都是奇数所以 $ u^2 v^2 $ 是偶数但 $ u^2 $ 和 $ v^2 $ 都是奇数它们的和是2 mod 4这与 $ 2s^2 $ 一致。但为了应用通解我们需要将 (6) 式改写为 $$ v^2 2s^2 - u^2 $$ 这看起来不太顺。更好的办法是将 (5) 相减 $$ (v^2 - u^2) 4r^2 \implies (v - u)(v u) 4r^2 \tag{7} $$ 由于 $ u $ 和 $ v $ 都是奇数$ v - u $ 和 $ v u $ 都是偶数且它们的最大公约数是2因为 $ \gcd(u,v)1 $。因此我们可以令 $$ v - u 2a^2,\quad v u 2b^2,\quad \text{其中} \gcd(a,b)1,\quad b a 0 $$ 那么 $ 4r^2 (v - u)(v u) 4a^2b^2 \implies r ab $。同时相加得 $ 2v 2a^2 2b^2 \implies v a^2 b^2 $相减得 $ 2u 2b^2 - 2a^2 \implies u b^2 - a^2 $。现在将 $ u $ 和 $ v $ 的表达式代入 (6) $$ 2s^2 u^2 v^2 (b^2 - a^2)^2 (a^2 b^2)^2 (b^4 - 2a^2b^2 a^4) (a^4 2a^2b^2 b^4) 2a^4 2b^4 $$ 所以 $$ s^2 a^4 b^4 \tag{8} $$ 看我们得到了一个全新的方程$ a^4 b^4 s^2 $。这与我们最初的方程 (1) 形式完全相同而 $ s $ 是从哪里来的回忆一下$ s $ 是 $ m $ 的平方根而 $ m $ 是勾股数通解中的一个参数它满足 $ m z $因为 $ z m^2 n^2 m^2 $所以 $ m \sqrt{z} $而 $ s \sqrt{m} $所以 $ s z^{1/4} $。更直接地从 $ z m^2 n^2 s^4 4r^4 $而 $ s^2 a^4 b^4 $所以 $ s z $因为 $ z s^4 4r^4 s^2 $对于 $ s 1 $ 显然成立。因此$ (a, b, s) $ 是方程 (1) 的一组新解且 $ s z $。这就完成了无穷递降的关键一步从一个解 $ (x, y, z) $我们构造出了一个更小的解 $ (a, b, s) $其中 $ s z $。由于正整数不能无限递减这个过程必然在某一步终止唯一的可能是我们最初的假设——存在解——是错误的。因此方程 $ x^4 y^4 z^2 $ 无正整数解。3.3 实操心得避免常见思维陷阱在亲手推导这个证明的过程中我总结了几个极易踩坑的思维盲区这些是教科书上不会明写的“血泪教训”“互质”假设的滥用很多初学者会想当然地认为只要 $ \gcd(x,y)1 $那么 $ \gcd(x^2, y^2)1 $ 就自动成立进而直接套用勾股数通解。这没错。但问题在于通解公式要求 $ a $ 和 $ b $ 是“本原”的即 $ \gcd(a,b)1 $而 $ a x^2 $, $ b y^2 $所以 $ \gcd(x^2, y^2)1 $ 是前提。然而在后续步骤中当我们得到 $ s^2 - 2r^2 u^2 $ 时我们同样需要确认 $ \gcd(u, s) 1 $ 才能继续。这个确认过程不能省略必须像上面那样通过分析 $ \gcd(s^2 - 2r^2, s^2 2r^2) $ 来完成。我曾见过一个学生在这里直接断言 $ u $ 和 $ v $ 互质结果导致后续所有推导都建立在流沙之上。“奇偶性”是隐藏的开关整个证明的成败系于 $ m $ 和 $ n $ 的奇偶性分配。如果错误地假设 $ m 2a^2 $, $ n b^2 $那么代入 $ x^2 m^2 - n^2 $ 会得到 $ x^2 4a^4 - b^4 $这无法保证 $ x^2 $ 是正数更无法启动递降。正确的分配$ n $ 为偶数$ m $ 为奇数是由 $ \gcd(m,n)1 $ 和 $ y^2 2mn $ 共同决定的。这是一个典型的“约束求解”问题而不是随意的猜测。“最小解”的心理暗示无穷递降法的威力部分来自于它对“最小性”的心理压迫。当你假设 $ (x,y,z) $ 是“最小”的解时你其实在给自己施加一个强大的逻辑枷锁。任何从它构造出的新解都必须严格小于它否则证明就失败了。因此在每一步代数变换后都要本能地问一句“这个新变量是否一定小于原来的 $ z $”例如从 $ z m^2 n^2 $ 和 $ s \sqrt{m} $我们有 $ s^2 m z $所以 $ s \sqrt{z} $。而 $ \sqrt{z} z $ 对于所有 $ z 1 $ 都成立这就足够了。不必追求最紧的上界只要能证明严格递减即可。4. 完整实操过程与核心环节实现4.1 从零开始手把手推演一个“伪解”的坍塌为了让你真切感受到证明的脉搏我们来模拟一次完整的、从假设到崩塌的实操。假设我们天真地认为 $ x 1, y 2 $ 可能是一个解。计算左边$ 1^4 2^4 1 16 17 $。17不是平方数所以 $ z $ 不存在。这太简单了。让我们选一个更狡猾的“候选者”$ x 2, y 3 $。$ 2^4 3^4 16 81 97 $97也不是平方数。再试 $ x 1, y 3 $$ 1 81 82 $不行。似乎总是差一点。但证明的魅力在于它不依赖于试错而是提供一个通用的“粉碎机”。现在让我们进入证明的正式流程。假设存在一组正整数解 $ (x, y, z) $满足 $ x^4 y^4 z^2 $且 $ \gcd(x, y) 1 $。我们按部就班地执行步骤1重写为勾股方程$$ (x^2)^2 (y^2)^2 z^2 $$ 所以 $ (x^2, y^2, z) $ 是本原勾股数。步骤2应用通解公式因为 $ x^2 $ 和 $ y^2 $ 一奇一偶$ x $ 和 $ y $ 互质不可能同为偶数若同为奇数则 $ x^2 \equiv y^2 \equiv 1 \pmod{4} $所以 $ x^2 y^2 \equiv 2 \pmod{4} $但 $ z^2 \equiv 0 $ 或 $ 1 \pmod{4} $矛盾。因此$ x $ 和 $ y $ 必一奇一偶故 $ x^2 $ 和 $ y^2 $ 也一奇一偶我们设 $$ x^2 m^2 - n^2,\quad y^2 2mn,\quad z m^2 n^2 $$ 其中 $ \gcd(m, n) 1 $$ m n 0 $且 $ m $ 和 $ n $ 一奇一偶。步骤3分析 $ y^2 2mn $由于 $ y^2 $ 是平方数且 $ \gcd(m, n) 1 $$ m $ 和 $ n $ 必须各自是平方数但 $ 2 $ 是障碍。因为 $ m $ 和 $ n $ 一奇一偶偶的那个必须吸收因子 $ 2 $。设 $ n 2r^2 $$ n $ 为偶数$ m s^2 $$ m $ 为奇数其中 $ \gcd(r, s) 1 $$ s $ 为奇数。验证$ y^2 2 \cdot s^2 \cdot 2r^2 4r^2s^2 (2rs)^2 $成立。步骤4代入 $ x^2 $ 的表达式$$ x^2 m^2 - n^2 (s^2)^2 - (2r^2)^2 s^4 - 4r^4 (s^2 - 2r^2)(s^2 2r^2) $$步骤5证明两个因子互质如前所述$ \gcd(s^2 - 2r^2, s^2 2r^2) 1 $因为它们的差是 $ 4r^2 $和是 $ 2s^2 $而 $ \gcd(r, s) 1 $$ s $ 为奇数所以最大公约数只能是1。步骤6得出两个因子均为平方数因此存在 $ u, v $使得 $$ s^2 - 2r^2 u^2,\quad s^2 2r^2 v^2 $$步骤7相减得到新方程$$ v^2 - u^2 4r^2 \implies (v - u)(v u) 4r^2 $$ 因为 $ u $ 和 $ v $ 都是奇数$ s $ 为奇数$ r $ 为整数$ s^2 \pm 2r^2 $ 均为奇数所以 $ v - u $ 和 $ v u $ 都是偶数且 $ \gcd(v - u, v u) 2 $。因此设 $$ v - u 2a^2,\quad v u 2b^2,\quad \gcd(a, b) 1 $$ 则 $ r ab $且 $ v a^2 b^2 $$ u b^2 - a^2 $。步骤8代入求 $ s^2 $$$ s^2 \frac{u^2 v^2}{2} \frac{(b^2 - a^2)^2 (a^2 b^2)^2}{2} \frac{2a^4 2b^4}{2} a^4 b^4 $$步骤9完成递降我们得到了 $ a^4 b^4 s^2 $。现在比较大小$ z m^2 n^2 s^4 4r^4 s^4 4a^4b^4 $。显然$ s^4 z $所以 $ s z $。因此$ (a, b, s) $ 是一个比 $ (x, y, z) $ 更小的正整数解。这个过程就像一个精密的齿轮组。每一个步骤都严丝合缝任何一个环节的松动都会导致整个逻辑链条的断裂。而它的美妙之处在于它不依赖于任何高深的理论只依靠对整数最朴素性质的深刻洞察。4.2 参数选择与数值验证用具体数字照亮抽象逻辑理论推演有时显得冰冷。让我们用一组具体的、虽不真实但符合中间步骤的数字来为这个抽象过程注入温度。假设在某个平行宇宙中我们真的找到了一个解其中 $ s 5 $, $ r 2 $。那么$ m s^2 25 $$ n 2r^2 8 $$ z m^2 n^2 625 64 689 $$ y^2 2mn 2 \cdot 25 \cdot 8 400 $所以 $ y 20 $$ x^2 m^2 - n^2 625 - 64 561 $但561不是平方数$ 23^2 529 $, $ 2