从费马大定理谈起(十):x^3+y^3=z^3+w^3
By 苏剑林 | 2014-10-10 | 24103位读者 |在正式开始数学之前,我们不妨先说一个关于印度著名数学天才——拉马努金的轶事。拉马努金病重,哈代前往探望。哈代说:“我乘出租车来,车牌号码是1729,这数真没趣,希望不是不祥之兆。”拉马努金答道:“不,那是个有趣得很的数。可以用两个立方之和来表达而且有两种表达方式的数之中,1729是最小的。”(即$1729 = 1^3+12^3 = 9^3+10^3$,后来这类数称为的士数。)利特尔伍德回应这宗轶闻说:“每个整数都是拉马努金的朋友。”(来自维基百科)
从这则轶事中,我们发现,确实存在的某些整数,可以表示为两种不同的立方和,换句话说,不定方程:
$$x^3+y^3=z^3+w^3$$
存在$(x,y,z,w)$两两不等的整数解(正负均可)。借助艾森斯坦整数,我们可以求出通解的表达式来。这里得出的通解,比教科书上现有的通解更为复杂,但是能够由整数参数得到所有的整数解。(存在简化版的公式,也能够得到所有的整数解,但是为了得到某些整数解,需要一个分数形式的参数,这对于如何产生所有整数解会存在疑问。)
首先将两端分别在艾森斯坦整数内分解
$$(x+y)(x+y\omega)(x+y\omega^2)=(z+w)(z+w\omega)(z+w\omega^2)$$
将$x+y\omega$记为$\xi$,将$z+w\omega$记为$\eta$,我们得到
$$\xi\bar{\xi}\left(\omega\xi+\omega^2\bar{\xi}\right)=\eta\bar{\eta}\left(\omega\eta+\omega^2\bar{\eta}\right)$$
稍加分析就知道,$\xi$在艾森斯坦整数环中一定是个合数,不妨设
$$\xi=\alpha\beta$$
那么上式左端变为
$$\alpha\beta\bar{\alpha}\bar{\beta}\left(\omega\alpha\beta+\omega^2\bar{\alpha}\bar{\beta}\right)$$
要注意括号里边的数一定是个实数,因此一般地,可以设($\lambda$是个实数)
$$\omega\alpha\beta+\omega^2\bar{\alpha}\bar{\beta}=\lambda\gamma\bar{\gamma}$$
那么等式左边就是
$$\alpha\beta\bar{\alpha}\bar{\beta}\left(\lambda\gamma\bar{\gamma}\right)$$
根据右边的特征,它也应该是跟左边类似,因此右边各数只能是左边各因数的一个重排,不失一般性,一个重排为:
$$\alpha\gamma\bar{\alpha}\bar{\gamma}\left(\lambda\beta\bar{\beta}\right)$$
也就是说
$$\left\{\begin{aligned}&\eta=\alpha\gamma\\
&\bar{\eta}=\bar{\alpha}\bar{\gamma}\\
&\omega\eta+\omega^2\bar{\eta}=\lambda\beta\bar{\beta}\end{aligned}\right.$$
结合已知的
$$\left\{\begin{aligned}&\xi=\alpha\beta\\
&\bar{\xi}=\bar{\alpha}\bar{\beta}\\
&\omega\xi+\omega^2\bar{\xi}=\lambda\gamma\bar{\gamma}\end{aligned}\right.$$
留意到有
$$\left\{\begin{aligned}&\omega\alpha\gamma+\omega^2\bar{\alpha}\bar{\gamma}=\lambda\beta\bar{\beta}\\
&\omega\alpha\beta+\omega^2\bar{\alpha}\bar{\beta}=\lambda\gamma\bar{\gamma}\end{aligned}\right.$$
关键的一步来了,我们要倒过来,把它们看成是关于$\alpha,\bar{\alpha}$的方程组,那只不过是二元一次线性方程组!解出来得到
$$\alpha=\lambda\omega^2\frac{\beta\bar{\beta}^2-\gamma\bar{\gamma}^2}{\gamma\bar{\beta}-\beta\bar{\gamma}}$$
如此一来,我们便完成了解的构造:给定参数$\lambda,\beta,\gamma$,就可以算出$\alpha$,然后根据
$$\xi=\alpha\beta,\quad\eta=\alpha\gamma$$
可以求出$\xi,\eta$,继而求出$x,y,z,w$。细心的读者会留意到:$\lambda$是个实数,$\beta,\gamma$是艾森斯坦整数,从实数来看,它们两个都带有两个自由参数,因此我们得到的是五个自由参数的解!未知数只有四个,参数却有五个,原则上来说参数存在冗余。但是为了从整数参数中得到所有整数解,却又不得不这样子取,实在奇妙。
设$\beta=a+b\omega,\,\gamma=c+d\omega$,借助Mathematica可以导出($\lambda$属于平凡参数,遂没写出)
$$\left\{\begin{aligned}x&=\frac{a^3 (c+d)-3 a^2 b c+3 a b^2 c+b^3 (d-2 c)-(c^2-c d+d^2)^2}{3 b c-3 a d}\\[2ex]
y&=\frac{a^3 (c-2 d)+3 a^2 b d-3 a b^2 d+b^3 (c+d)-(c^2-c d+d^2)^2}{3 a d-3 b c}\\[2ex]
z&=\frac{a^4-2 a^3 b+3 a^2 b^2-a (2 b^3+c^3+d^3)+b (b^3+2 c^3-3 c^2 d+3 c d^2-d^3)}{3 a d-3 b c}\\[2ex]
w&=\frac{-a^4+2 a^3 b-3 a^2 b^2+a (2 b^3+c^3-3 c^2 d+3 c d^2-2 d^3)+b (-b^3+c^3+d^3)}{3 a d-3 b c}
\end{aligned}\right.$$
一个复杂的参数解~~
其中$a=-1,b=-2,c=3,d=3$时,给出$x=9,y=-12,z=1,w=-10$,也就是$1^3+12^3=9^3+10^3$,这是最小的整数解。
也许有兴趣的读者会想试试$x^4+y^4=z^4+w^4$的解。的确,这道方程也存在两两不等的整数解,然而,它远比三次方的困难,到目前为止,我们甚至都不知道它任意一个形式的通解。
转载到请包括本文地址:https://kexue.fm/archives/2972
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Oct. 10, 2014). 《从费马大定理谈起(十):x^3+y^3=z^3+w^3 》[Blog post]. Retrieved from https://kexue.fm/archives/2972
@online{kexuefm-2972,
title={从费马大定理谈起(十):x^3+y^3=z^3+w^3},
author={苏剑林},
year={2014},
month={Oct},
url={\url{https://kexue.fm/archives/2972}},
}
最近评论