这个转化过程理解起来其实并不难,只需要将每一个“ABC方程”同一条图像与x轴相交于a、b和原点的椭圆曲线联系起来。而经过了这种变换之后,证明ABC猜想就等价于证明这条构造出来的椭圆曲线的两个量值之间,具备一定的不等关系。
这种将代数问题转化成几何问题的操作,能够让它从单纯的数论问题,变成与几何、微积分和其他领域关联的复核问题,从而让更多的数学工具能够被运用到问题的求解中。
单从这条证明思路来讲,这一套操作其实是非常经典的,当年怀尔斯也正是用了类似的方法,才证明了费马大定理最核心的部分。
然而遗憾的是,虽然证明的思路可圈可点,但当这条思路转化成了一篇长达五百多页的论文之后,一切都变得不那么友好了。
不少人甚至评价,想要完全理解“远阿贝尔几何”以及“宇宙际理论”到底在讲什么东西,恐怕比解决ABC猜想本身还要困难。
著名数论学家卡里加利教授甚至直截了当地表示,这是一场“彻底的灾难”。
在陆舟的印象中,大概是几年前的时候,舒尔茨和他的搭档曾经去过一趟D京,与望月新一就该问题当面展开了讨论,但最后的结果却变成一场双方各执一词的争论。
舒尔茨吐槽其站在了一条永远没有尽头的埃舍尔阶梯上,而望月新一则坚称其“根本什么都不懂”以及“连基本的定义都搞错了”。
至于陆舟……
他的看法和舒尔茨是一样的。
【论文我已经看过了。】
【虽然和之前的版本相比经过了一定的修改,但在我看来仍然存在较大的漏洞。尤其是推论3.12的部分,想弄清楚集合的体积量之间的关系,至少必须得在每个不同的空间中的体积的测量标准之间建立关联,然而在你给出的映射中,“量尺”互相之间却是局部相容的……】
【……综上所述。】
【你的证明是错的。】
……
(注1:望月新一在接受采访时否认过这一点,这只是在数学界比较出名的一个梗,小说剧情切勿当真。)
第1380章 感情牌
编辑完邮件的陆舟一边打了个哈欠,一边随手点击了发送的按钮。
一般情况下,即便并不看好某人的证明,他也不会将话说得太死,而是会用一种委婉地方式告知。但因为急着去休息的缘故,他也就懒得花时间去修饰自己的措辞了。
当然了,虽说这五百多页的论文在他看来并没有成功证明ABC猜想,却也并不意味着这两天的时间都白白浪费掉了。
相比起之前他在京都大学数学系网站上找到的那篇论文来说,这篇经过修订之后的版本在许多细节上进行了优化。
虽然这其中依旧存在不小的问题,但却给他产生了不小的启发。
除了通过将数论问题转化成几何问题的基本思路之外,还有在重新构建一门数学语言时涉及到的诸多问题。
前者他的经验还算是丰富,但后者对他来说却是一件新鲜的事情。
和基于现有的数学语言编译工具不同,这几乎相当于在“发明”的意义上,重新创造一门用来描述abc猜想的数学语言了。
或许正如佩雷尔曼的猜测一样,没准外星人的数学在解决这个问题时会更容易一些。
邮件发送了之后,陆舟随手将自己的灵感记录在了本子上,然后便从椅子上站了起来,打算回家去睡一觉。
然而就在这时,办公室的门口忽然响起了敲门声,紧接着门便被推开了。
看着从外面走进来的学姐,陆舟微微愣了下,惊讶说道。
“你怎么来了?”
“听说我的男朋友已经两天没睡觉了,我立刻从公司那边赶过来了……梦琪呢?”
“她已经回去了。”
目光落在了陆舟那厚厚的眼袋上,陈玉珊有些心疼地叹了口气。
“……答应我,别再怎样透支自己的健康了。”
“只是两天而已,别这么大惊小怪……”陆舟干咳了一声说道,“何况我闭关又不是头一回了。”
“什么叫两天而已!”陈玉珊忍不住吐槽道,“而且我还是第一次知道,你闭关的时候是不睡觉的!”
“我也不是每次都修仙,只是恰好遇上灵感的时候,就想着趁灵感还在,把能做的事情一次做完……”
正说着的时候,陆舟没忍住打了个哈欠,随即有些不好意地笑了笑说道,“何况我这不正打算去休息么,你就别担心了。”
“我要是不来,只怕你明天才想起来自己应该休息一下了,”叹了口气,陈玉珊的视线落在了办公桌上的那叠文件上,“这是……ABC猜想?”
“嗯,望月新一的论文,我看了一遍之后产生了不少有趣的想法,虽然不知道什么时候能够解决掉这个问题,但我感觉距离迷宫的入口已经很接近了。”
看着陆舟脸上兴奋的表情,陈玉珊沉默了一会儿之后,小声说道。
“我听说……解决了ABC猜想之后,你要去一趟火星?”
“……你是听谁说的。”
“我爸。”
果然……
料到了会发生这种事情,陆舟心中叹了口气。
用脚他都能猜到,多半是李局长将这个消息透露给她老爹的。
小贴士:如果觉得52书库不错,记得收藏网址 https://www.52shuku.vip/ 或推荐给朋友哦~拜托啦 (>.<)
传送门:排行榜单 | 好书推荐 | 系统流