什么是abc猜想?
如果d是abc的不同素数因子的乘积,这个猜想本质上是说d通常比C小不了多少,换句话说,如果A和B的因子中有一些素数的高次幂,那么C通常不能被素数的高次幂整除。
数论中的Abc猜想(又称奥斯特勒-马斯尔猜想?由约瑟夫·奥斯特勒和大卫·马斯尔在1985年首次提出,数学家望月新一在2012年声称证明了这个猜想。数学家用三个相关的正整数A,B,C(满足a+b = c)来宣告这个猜想(因此得名abc猜想)。
Abc猜想之所以出名,是因为它带来了一些关于数论的有趣结论,很多著名的猜想和定理都是在abc猜想之后马上出来的。数学家戈德菲尔德认为abc猜想是“丢番图分析中最重要的未解决问题”。
Lucien Szpiro(法国数学家,因其在数论、算术代数几何和交换代数方面的贡献而闻名)在2007年试图克服这个猜想,但后来被证明是错误的。
2012年8月,日本京都大学数学家望月信一(Shinichi Mochizuki)发表了4篇预印稿,介绍了他的跨宇宙teichüller理论,并声称包括abc猜想在内的几个著名猜想都可以用该理论证明。
他的论文发表在数学期刊上供参考,很多人开始学习他的理论。许多数学家对他的文章持怀疑态度。正是因为他奇怪而隐晦的证明,我们才知道,要解决这个猜想,可能是一条漫长而孤独的路。不变的是,当我们试图证明它的对错时,数学水平就会提高,最终会找到解决abc猜想的方法。