从费马大定理谈起（九）：n=3 - 科学空间|Scientific Spaces

费马完成了n=4的证明，但是没完成n=3的证明。

）。

我想，正是这样的类似之处，才让当初还没有完成证明的数学家拉梅就自信他从这条路可以完成费马大定理 ... SEARCH MENU 打赏公式天象链接时光博览归档 CATEGORIES 千奇百怪天文探索数学研究物理化学信息时代生物自然图片摄影问题百科生活/情感资源共享 NEWPOSTS 生成扩散模型漫谈（七）：最优扩散方... 生成扩散模型漫谈（六）：一般框架之... 生成扩散模型漫谈（五）：一般框架之... 生成扩散模型漫谈（四）：DDIM... 生成扩散模型漫谈（三）：DDPM... 不成功的尝试：将多标签交叉熵推广到... 生成扩散模型漫谈（二）：DDPM... “维度灾难”之Hubness现象浅析 LadderSide-Tunin... 生成扩散模型漫谈（一）：DDPM... COMMENTS gekan:苏老师你好，这篇文章说起自回归，我一直觉得DDPM实际上是一个... 苏剑林:当$\Deltat\to0$时，$(2),(3)$转化为$... jun:苏老师，您好。

请问\detat趋于0的时候，公式（8）是怎... shomy:收到，多谢苏神！我先学习一下代码的实现，万分感谢！ 苏剑林:每个任务单独一个脚本，原来用什么loss就用什么loss（比如... MF:同问shomy的问题，感谢 shomy:苏神你好，问下多任务预训练的一些细节能否多讲解一下。

比如一些... wzm:我以为是先按真实的0,1label排，再按照预测结果排，然后... 苏剑林:人为调参 苏剑林:恭喜 USERLOGIN 登录 科学空间|ScientificSpaces 登录 打赏公式天象链接时光博览归档 渴望成为一个小飞侠 欢迎订阅 个性邮箱 天象信息 观测ISS LaTeX 关于博主 欢迎访问“科学空间”，这里将与您共同探讨自然科学，回味人生百态；也期待大家的分享～ 千奇百怪Everything天文探索Astronomy数学研究Mathematics物理化学Phy-chem信息时代Big-Data生物自然Biology图片摄影Photograph问题百科Questions生活/情感Life-Feeling资源共享Resources 千奇百怪天文探索数学研究物理化学信息时代生物自然图片摄影问题百科生活/情感资源共享 首页 数学研究从费马大定理谈起（九）：n=3 1 Sep 从费马大定理谈起（九）：n=3 By 苏剑林| 2014-09-01| 18717位读者 | : 现在可以开始$n=3$的证明了。

在实整数范围内n=3的证明看起来相当复杂，而且跟n=4的证明似乎没有相通之处。

然而，如果我们在$\mathbb{Z}[\omega]$中考虑$x^3+y^3+z^3=0$无解的证明，就会跟n=4时有很多类似的地方，而且事实上证明比n=4时简单（要注意在实整数范围内的证明，n=4比n=3简单。

费马完成了n=4的证明，但是没完成n=3的证明。

）。

我想，正是这样的类似之处，才让当初还没有完成证明的数学家拉梅就自信他从这条路可以完成费马大定理的证明。

（不过，这自信却是失败的案例：拉梅的路不能完全走通，而沿着这条路走得更远的当属库默，但即便这样，库默也没有证明费马大定理。

）证明跟$n=4$的第二个证明是类似的。

我们先往方程中添加一个单位数，然后证明无论单位数是什么，方程在$\mathbb{Z}[\omega]$中都无解。

这是一个很妙的技巧，让我们证明了更多的方程无解，但是却用到了更少的步骤。

事实上，存在着只证明$x^3+y^3+z^3=0$无解的证明，但需要非常仔细地分析里边的单位数情况，这是相当麻烦的。

本证明是我参考了Fermatslasttheoremblogspot上的证明，然后结合本系列n=4的第二个证明，简化而来，主要是减少了对单位数的仔细分析。

引理#在这篇文章中，用$\varepsilon_1,\varepsilon_2,\varepsilon_3,\varepsilon$表示$\mathbb{Z}[\omega]$中的单位数，并且记$\xi=1-\omega$。

那么如果方程$\varepsilon_1x^3+\varepsilon_2y^3+\varepsilon_3z^3=0,\,\xi|x,\xi\nmidyz$在$\mathbb{Z}[\omega]$中有解，那么方程可以化为 $$\varepsilonx^3+y^3+z^3=0$$证明很简单，将方程各项都除以$\varepsilon_3$，得到$(\varepsilon_1/\varepsilon_3)x^3+(\varepsilon_2/\varepsilon_3)y^3+z^3=0$，然后考虑模$\xi$。

由于$\xi\nmidyz$，那么$y^3\equiv\pm1(\bmod\,9),z^3\equiv\pm1(\bmod\,9)$，注意$9=\xi^4\omega$，因此考虑模$\xi^3$，则有 $$0\pm(\varepsilon_2/\varepsilon_3)\pm1\equiv0(\bmod\,\xi^3)$$ 因此$\varepsilon_2/\varepsilon_3=\pm1$，将$y^3$前面的-1因子（如果是负号的话）纳入到$y$之中（$(-1)^3=-1$），并且设$\varepsilon_1/\varepsilon_3=\varepsilon$，则有$\varepsilonx^3+y^3+z^3=0$。

证明#好，下面可以开始证明了。

方程$x^3+y^3+z^3=0$在$\mathbb{Z}[\omega]$中无$xyz\neq0$的解。

如果方程$x^3+y^3+z^3=0$在$\mathbb{Z}[\omega]$中有$xyz\neq0$的解，那么必有$\xi|xyz$，否则$\xi\nmidx,\xi\nmidy,\xi\nmidz$，这样子就有 $$\begin{aligned}x^3\equiv\pm1(\bmod\,9)\\ y^3\equiv\pm1(\bmod\,9)\\ z^3\equiv\pm1(\bmod\,9)\end{aligned}$$ 由此得到$\pm1\pm1\pm1(\bmod\,9)$，不管正负号怎么取，都是不能成立的，因此必有$\xi|xyz$。

由于此时$x,y,z$地位均是一样的，不失一般性，设$\xi|x$。

完成这个步骤的目的是表明费马大定理在n=3时，也属于$\varepsilonx^3+y^3+z^3=0,\xi|x$类型的方程，这样就可以进一步进行相应的同余分析。

下面的步骤跟n=4时几乎一样了，甚至更简单。

假如某个$\varepsilonx^3+y^3+z^3=0,\xi|x,\xi\nmidyz$类型的方程有解，那么设$(x,y,z)$是两两互质的、$N(x)$最小的一组解。

同样要注意这里的$N(x)$既要遍历所有的$\varepsilon$（也就是六个单位数），又要遍历在$\varepsilon$固定时的所有的解，最后挑选出$N(x)$最小的解，可能不止一组这样的解，但是只取任意一组就行了。

首先对$x$中$\xi$的次数作一个判断。

由于$-\varepsilonx^3=y^3+z^3$，设$y^3\equive(\bmod\,9),z^3\equivf(\bmod\,9)$，$e,f\in\{-1,1\}$，那么考虑两边模$\xi^3$，就有$e+f\equiv0(\bmod\,\xi^3)$，也就是$e+f=0$，这样一来$y^3+z^3$至少是9的倍数，但是$9=\xi^4\omega$，因此$x$的$\xi$次数至少是2，即$\xi^2|x$。

然后核心部分是分解： $$-\varepsilonx^3=(y+z)(y+z\omega)(y+z\omega^2)$$ 右边的三项有下面的关系 $$\begin{aligned}(y+z)-(y+z\omega)=(1-\omega)z=\xiz\\ (y+z)\omega-(y+z\omega)=(\omega-1)y=-\xiy\\ (y+z\omega)-(y+z\omega^2)=\omega(1-\omega)z=\omega\xiz\\ (y+z\omega)\omega-(y+z\omega^2)=(\omega-1)y=-\xiy \end{aligned}$$ 由于$y,z$互质，因此$y+z$和$y+z\omega$、$y+z\omega$和$y+z\omega^2$最多只有公约数$\xi$，而左边有约数$\xi^6$，所以右边至少有一项有约数$\xi$，一旦其中有一项有了约数$\xi$，另外两项必然也有约数$\xi$，但是三者的公约数最多是$\xi$，因此其中两项的$\xi$的次数只能是1，剩下一项则“包揽”了余下的所有$\xi$的次数（大于等于4）。

然而$y+z,y+z\omega,y+z\omega^2$这三项地位其实是平等的，因为可以在$z$中乘上$\omega$的若干次方，以达到置换。

因此不失一般性，设$\xi^4|y+z$，那么可以设 $$\begin{aligned}x=\xi^2\chi\\ y+z=\xi^4r'\\ y+z\omega=\xis'\\ y+z\omega^2=\xit' \end{aligned}$$ 那么$-\varepsilon\chi^3=r's't'$，$r',s',t'$两两互质，因此它们在相差一个单位数因子的情况之下，都是立方数，也就是立方数的伴随，于是可以设 $$r'=\varepsilon_1r^3,\s'=\varepsilon_2s^3,\t'=\varepsilon_3t^3$$留意到 $$(y+z)+(y+z\omega)\omega+(y+z\omega^2)\omega^2=0$$ 从而得到 $$\varepsilon_1\xi^3r^3+(\varepsilon_2\omega)s^3+(\varepsilon_3\omega^2)t^3=0$$ 其中$\varepsilon_1,\varepsilon_2\omega,\varepsilon_3\omega^2$都是单位数，根据引理，上述方程具有形式 $$\varepsilon'\xi^3r^3+s^3+t^3=0$$ 那么$(\xir,s,t)$就是单位数取$\varepsilon'$时的一组解，而且显然有$N(\xir)1$），因此跟假设矛盾。

所以方程$\varepsilonx^3+y^3+z^3=0,\xi|x,\xi\nmidyz$在$\mathbb{Z}[\omega]$中无解，从而$x^3+y^3+z^3=0$在$\mathbb{Z}[\omega]$中无解。

证毕。

转载到请包括本文地址：https://spaces.ac.cn/archives/2910 更详细的转载事宜请参考：《科学空间FAQ》 如果您还有什么疑惑或建议，欢迎在下方评论区继续讨论。

如果您觉得本文还不错，欢迎分享/打赏本文。

打赏并非要从中获得收益，而是希望知道科学空间获得了多少读者的真心关注。

当然，如果你无视它，也不会影响你的阅读。

再次表示欢迎和感谢！ 打赏 微信打赏 支付宝打赏 因为网站后台对打赏并无记录，因此欢迎在打赏时候备注留言。

你还可以点击这里或在下方评论区留言来告知你的建议或需求。

如果您需要引用本文，请参考： 苏剑林.(Sep.01,2014).《从费马大定理谈起（九）：n=3》[Blogpost].Retrievedfromhttps://spaces.ac.cn/archives/2910 @online{kexuefm-2910,         title={从费马大定理谈起（九）：n=3},         author={苏剑林},         year={2014},         month={Sep},         url={\url{https://spaces.ac.cn/archives/2910}}, } 分类：数学研究  标签：数论,不定方程,费马大定理 抢沙发 你也许还对下面的内容感兴趣 结果恒为整数的多项式 在Python中使用GMP（gmpy2） 从费马大定理谈起（十二）：再谈谈切线法 从费马大定理谈起（十一）：有理点与切割线法 从费马大定理谈起（十）：x^3+y^3=z^3+w^3 从费马大定理谈起（八）：艾森斯坦整数 从费马大定理谈起（七）：费马平方和定理 从费马大定理谈起（六）：n=4（2） 从费马大定理谈起（五）：n=4 从费马大定理谈起（四）：唯一分解整环 发表你的看法 取消回复 你的大名 电子邮箱 个人网站（选填） 1.可以在评论中使用LaTeX代码，点击“预览效果”可即时查看效果，点击这里可以查看更多内容；2.可以通过点击评论楼层编号来引用该楼层。

内容速览 引理 证明 智能搜索 支持整句搜索！网站自动使用结巴分词进行分词，并结合ngrams排序算法给出合理的搜索结果。

热门标签 模型 网站 优化 语言模型 生成模型 转载 概率 attention 天象 深度学习 积分 python 力学 微分方程 节日 几何 无监督 分析 数论 文本生成 矩阵 生活 情感 复数 梯度 随机文章 最小熵原理（六）：词向量的维度应该怎么选择？在bert4keras中使用混合精度和XLA加速训练椭圆内的一根定长弦（化圆法）Linux下的误删大坑与简单的恢复技巧“用户评价”靠谱吗？从费马大定理谈起（三）：高斯整数费曼积分法——积分符号内取微分(2)地球“黑暗”的一小时我的写论文软件组合怎么会这么巧！背后的隐藏信息 最近评论 gekan:苏老师你好，这篇文章说起自回归，我一直觉得DDPM实际上是一个onelayer的自回归flo... 苏剑林:当$\Deltat\to0$时，$(2),(3)$转化为$(1)$；所以同样情况下$(7)... jun:苏老师，您好。

请问\detat趋于0的时候，公式（8）是怎么得到的呢？ shomy:收到，多谢苏神！我先学习一下代码的实现，万分感谢！ 苏剑林:每个任务单独一个脚本，原来用什么loss就用什么loss（比如分类用交叉熵、回归用mse等），... MF:同问shomy的问题，感谢 shomy:苏神你好，问下多任务预训练的一些细节能否多讲解一下。

比如一些loss的设计，另外苏神选择的是... wzm:我以为是先按真实的0,1label排，再按照预测结果排，然后计算秩次差的平方。

我这样理解是不... 苏剑林:人为调参 苏剑林:恭喜 友情链接 宇宙驿站 数学研发 Seatop Xiaoxia 积分表-网络版 丝路博傲 ph4ntasy饭特稀 数学之家 有趣天文奇观 bsky TwistedW godweiyang AI柠檬 王登科-DK博客 瓦特兰蒂斯 maamx ESON 诗三百 枫之羽 Mathor'sblog 孙云增的博客 coding-zuo 博科园 申请链接 本站采用创作共用版权协议，要求署名、非商业用途和保持一致。

转载本站内容必须也遵循“署名-非商业用途-保持一致”的创作共用协议。

©2009-2022ScientificSpaces.Allrightsreserved.Themebylaogui.PoweredbyTypecho.备案号:粤ICP备09093259号-1/2。