关于“数学”的对话（107）关于“费马大定律”的科普对话（3）

（接（106））

 

甲：但是，1997年6月，威利斯却以对此问题的证明，而在德国哥庭根大学领取了佛尔夫

斯克尔奖。

乙：那么，这个问题不就已经得到证明了吗？他是怎样证明的呢？

 

甲：说来话长！

1955年日本数学家谷山丰与志村五郎所说：有理数域的所有椭圆曲线能够对应统一的模式， 还只是有关椭圆曲线的一种未经证明的猜想。

1984年德国数学家佛列联系到费马的方程，认为：若费马的方程有整数解，就应能构造出相应的椭圆曲线方程。但是，它的模却非常奇特，很可能不能被统一。

1986年里贝特对此给出了证明。

1994年9月19日威利斯具体论证了谷山丰猜想是正确的，才以此判定费马最后定理是正确的。

乙：怎么这样叠床架屋似的？！究竟证明了什么？！

甲：确实，也并未给出有理数域所有椭圆曲线对应的统一模式的具体形式。

实际上，也并未直接证明：

p大于2，方程x^p+y^p=z^p, 就不可能有整数解。  (1)

乙：那就是说，这个问题还是没有得到完善的证明啊！

（待续）

 

转载本文请联系原作者获取授权，同时请注明本文来自吴中祥科学网博客。
链接地址：https://wap.sciencenet.cn/blog-226-278246.html

上一篇：创建时空可变系多线矢物理学（92）时空可变系多线矢的各种对称性，及其相应的守恒律和守恒量(2) 引言
下一篇：创建时空可变系多线矢物理学（93）时空可变系多线矢的各种对称性，及其相应的守恒律和守恒量(3) 相应推广的Lagrange函数及其由变分得到的运动规律