其实在地球位面,被称之为汤姆猜想的费马大定理早就得到了证明,只是证明步骤远远不如费马自己所说的那般“美妙”。而且有趣的是,作为一个代数定理,其证明步骤却是大量地引入了几何理论。当然,也因为如此而诞生了“代数几何”这个交叉学科。
在这个位面上,虽然也诞生了乔安娜女士的“理想素数理论”,并借此将汤姆猜想推进了许多。不过孙平打算从最基本的地方开始证明起,他直接用了欧拉的“无限下降法”和“唯一因子分解定理”,这是所有有关费马大定理证明的基本步骤,时至今日也是被人们所采用。
当孙平在书写这个过程的时候,在场的数学家都有些皱眉,因为这些理论过于古老和简单,对于汤姆猜想的贡献其实让人觉得怀疑。可是孙平在电子屏上证明了七、八屏之后,根据唯一因子分解定理却推断出了“理想素数理论”,这让不少美国数学家惊呆了眼睛。因为乔安娜女士是利用她自创的一套理论证明了该理论,也因为如此该理论的真实性一直被人诟病。而如今孙平利用唯一因子分解定理推论出了理想素数理论,不仅证明了孙平有能力将汤姆猜想证明出来,更帮助美国数学学会将他们引以为傲的“理想素数理论”不牢的基础给弄坚固了。
看到美国数学家们一脸便秘的模样,高教授颇有兴致地对自己的几个学生说:“你们以前总说我爱宠着你们孙师兄,但你们也要看看孙师兄在数学上的天赋!数学是一门需要灵感的科学,连我都没想到能从唯一因子分解定理里推论出‘理想素数理论”来。啧啧,整个美国数学界都要感谢你们的孙师兄,他将美国数学界最引以为傲的珍宝给彻底保护起来了。不过这后面该怎么继续证明,就要看你孙师兄的想象力了。”
高教授的表情也变得凝重起来,乔安娜的“理想素数理论”近乎做到了极限,再往下真的就是要靠数学家那一闪而过的灵感了。不过高教授倒是不着急,横竖以后提及“理想素数理论”都绕不开孙平的名字了。
就在大家惊叹于孙平从理论上证明了“理想素数理论”的时候,孙平忽然在证明过程中宕开一笔。试证明任一不可约、有理系数的二元多项式,当它的亏格大于或等于2时,最多只有有限个解。数学家们看到这个问题的时候,纷纷皱眉思考起来。
很快就有人发现这是个非常具有前瞻性的理论,但是因为没有证明步骤,所以很多人都认为这可能是孙平的一个猜想。不少人在证明某些猜想的时候,会忽然灵感大发而提出自己的猜想。有几个数学家开始在构思对这个猜想的证明,但很快就被庞大的计算量给吓到了。可是孙平并没有打算从纯代数领域解决这个问题,转而使用解析几何的理论开始证明起来。
不过让数学家郁闷的是,虽然孙平用代数几何曲线图阐释了这个猜想,当他却没有证明,反倒是又提出一个猜想。孙平认为“有理数域上的椭圆曲线都是模曲线”,同时根据这个猜想又提出一个反证汤姆猜想的命题。
假定“费马大定理”不成立,即存在一组非零整数a、b、c使得a^nb^n=c^n(n>2),那么用这组数构造出的形如y^2=x(xa^n)x(x-b^n)的椭圆曲线,不可能是模曲线。于是同样一个问题就推断出了两个截然相反的猜想。到这里的时候,很多数学家都露出了惊喜的神色,因为孙平的证明已经将汤姆猜想简化成了a和b的双选题,只要b不能证明,那么a必然成立,那就等于汤姆猜想得到了最终证明。
看到这里,高教授从衣兜里掏出了速效救心丸,吞了一粒。然后吩咐身边的学生,“看看有哪些教授最近在江南省,让他们赶紧到这里来!顺便问问这个学校的人,孙平的证明步骤可以同步到震旦国数学学会和震旦国科学院数学物理学部么?这些东西太重要了,我们需要同步验算下。我觉得,如果不出意外的话,汤姆猜想今天就会被证明出来!”
高教授吩咐下去之后,学生们纷纷行动起来。刚好有两个教授正在别的大学做访问。收到高教授的消息之后,立刻驱车往江南东方学园赶。而此时学会和学部都同步接收到了孙平的证明过程,看着屏幕上的公式和图形,几个老教授都被惊了。“理想素数理论”终于得到了数学理论基础的证实,终结了有关这个理论长达几十年的争执;同时将几何理论引入到汤姆猜想的证明步骤里,这简直是太天才的灵感了!几位老教授手心里都激动得出了汗,他们一边吩咐自己手下的研究生加紧验算过程,而他们也一边猜测孙平的继续证明过程。
此时孙平已经证明了一个多小时,他忽然开口道:“能帮我送一壶茶过来么?最好还给我根香蕉。”
孙平话音一落,立刻就有人忙碌了起来。不到几分钟,一串香蕉和一壶茶就放在了孙平的身边。送东西的人小心翼翼地送了过去就赶紧走开了,因为刚刚无数数学家在威胁他,如果他打断了孙平的灵感,他们这群数学家就敢当场在这里将他埋了。对于数学家来说,几十年的积累固然重要,当那一瞬间的灵感就是很多数学家一辈子可遇不可求的事儿。
孙平给自己倒了杯茶,然后一边吃着香蕉一边进行运算。虽然孙平的心算能力超强,但他并不打算炫技,而是中规中矩地用电脑自带的计算器进行运算。好在阶梯教室里提供的电脑计算器是