但时间紧迫,众人的视线只是在剑桥大学的队伍上停留了几秒时间,便匆匆接着自己的埋头苦算。
“呃,那我接着说。”程诺接着说道,“我第二个想出的办法是利用素数的分布进行求证。”
“法国数学家阿达马和比利时数学家瓦莱-普森于1896年证明的素数定理中指出,N以内的素数个数π(N)的渐近分布为π(N)~N/ln(N),N/ln(N)随N趋于无穷……”
“……由上,可得知对任意正整数n≥2,至少存在一个素数p使得nlt;plt;2n。”程诺边说,一旁那位队友便在纸上唰唰的记着,双眼中满是掩饰不住的兴奋之色。
本以为程诺能提出一个新方向的证明方法,已经是实属难得,可未曾料想,程诺一口气直接提出了两个。
但程诺让两人的惊讶还在继续。
程诺瞥见记录的那位队友已经记完,清了清嗓子,开口道,“再说第三个。”
“还有?”队友诧异出声。
“当然还有。”程诺笑呵呵地说道,望着揉着手腕的队友,“这才哪到哪!”
“第三种,利用代数数论的知识证明。利用代数数论手段证明素数有无穷多个的出发点之一是利用所谓的欧拉φ函数。”
“对任一正整数n,欧拉φ函数的取值φ(n)定义为:φ(n):=不大于n且与n互素的正整数的个数。对任一素数p,φ(p)=p-1,这个是因为1,...,p-1这p-1个不大于p的正整数显然都跟p互素。”
“然后,对两个不同的素数p1和p2,φ(p1p2)=(p1-1)(p2-1),这是因为……”
第四百四十五章 九个方向
“这是因为,从1到p1p2这p1p2个正整数中,p1,2p1,...,p2p1这p2个正整数跟p1p2有共同素因子p1;p2,2p2,...,p1p2这p1个正整数跟p1p2有共同素因子p2;其余全都跟p1p2互素。”
“由此,可以得到φ(p1p2)为p1p2-p2-p1,上述的推理可以无穷重复,进而表明素数有无穷多个。”
仅仅不到四五分钟的时间,程诺已经不停歇的说出三个利用新方向的证明法,让两位队友不禁大开眼界。
要这三个证明法都仅仅是欧里几得证明法的变种的话,两位顶多会认为程诺对欧里几得证明法研究颇深而已,倒升不起任何崇拜之意。
但三个证明法全部都不同于欧里几得那种整数乘起来再做点加减法的证明,而是另辟蹊径,分别利用“互素序列”、“素数分布”、“代数数论”三个完全不同的方向进行拓展。
程诺说出的三个证明法都不算太过复杂,甚至还可以说是简单的过分。
但越简单,越让两人吃惊不已。
对于一个命题的证明过程,无论是哪个数学家,都希望当然是越简单越好。
别看许多高大上的数学定理的证明过程都是无比复杂,但那群数学家们也不愿意这样啊!
还不是因为找不到更加简单的证明方法。
越简单,就越容易让人理解。但对于数学家的要求越高。
同一个定理,一个能用一页论文将其证明的数学家,比之要用五页论文才能将其证明的数学家,学术水平至少要高上一倍。
也因此,两人现在看待程诺的眼神,宛若是看待一只怪物。
这家伙……真的只是一个研究生?
本以为程诺的实力只是和他们两人在伯仲之间而已。如今感觉,就程诺现在表现出来的实力,在他们学校担任副教授都够格了吧!
“有水吗,有点口渴了。”在两人还是思索之际,程诺哑着嗓子问道。
“哦哦,我这里有水。”一人急忙将背包里的一瓶矿泉水递了过去。
“谢了。”
程诺咕咚咕咚喝了半瓶,等嗓子里那种不适感过去,道,“之前说到哪了,哦,我讲完第三个证明法了,下面说第四个。”
程诺忘了一眼在那握笔准备记录的队友道,“如果累了的话,可以让他帮你。”
说完,程诺便接着上面开始讲。
“第四个,利用解析数论的证明,这个方法和我上面用代数数论的证明方法有异曲同工之妙,你们都知道,欧拉乘积公式是:Σnn-s=Πp(1-p-s)-1(sgt;1),左侧经解析延拓后,可变为解析数论中极重要的函数:黎曼ζ函数ζ(s)。”
“对于s=1,欧拉乘积公式的左侧是被称为调和级数的发散级数……”
程诺清了清嗓子,继续说,“上面这几个都是和数论有关的,下面我再说几个其他领域方向的证明方法。”
在两人瞠目结舌下,程诺娓娓说道,“第五个,可以利用组合证明的方法。证明的思路是这样的:任何正整数N都可写成N=rs2的形式,其中r是不能被任何大于1的平方数整除的正整数,s2则是所有平方数因子的乘积。假如素数只有n个,则在r的素数分解中……”
“呃,程诺,你能不能再讲一遍。”负责记录的那位学生挠挠头,略显尴尬地说道,“我刚才光顾得愣神,忘了记录了。”
程诺无奈的耸耸肩,“好吧,我再说一遍,这次你们可要认真听。”
篝火的火光映在程诺侧脸上,显得光辉无比。
程诺座下两位博士生宛若乖宝宝般齐齐点头,一副学生虚心受教的姿态。
“……第六个,利用拓扑的方法证明。”
两人顿时疑窦丛生。
--