这是一个相当冷门的数学公式,在现在数学学术研究中几乎很难用到。
没想到,魏院长会突发想,用它作为证明bertrnd 假设的另一切入点,果然不愧为曾经的华国数学界的大牛。只不过,结果似乎并不完美。
用了十多分钟的时间,程诺看完了整篇论文。
当然,这指的不是程诺读完了文件那完整34页的内容。
和程诺提交的毕业论文一样,真正算是真材实料的,只有那五六页的内容罢了。
读完之后,程诺对魏院长的证明思路也算是了解。
首先,他设 fn为满足 fn1fn2 fn1n2,且Σnfn∓mp;lt;的函数n1、均为自然数,则可顺利推导出:ΣnfnΠp[1fpfp2fp3...]。
得出上面那一串的推导定理后,算是完成了证明的第一步。
下面,由于Σnfn∓mp;lt;,因此 1fpfp2fp3...绝对收敛。考虑连乘积中 p ∓mp;lt; n 的部分有限乘积………利用 fn的乘积性质可得:Πp∓mp;lt;n[1fpfp2fp3...]Σ''fn。
第三步,由于 1fpfp2fp3... 1fpfp2fp3...[1fp]1……
第四步,……
…………
最后一步,由2n!n!n!Πp2n3 psp。将连乘分解为 p 2n 及2n ∓mp;lt; p 2n3 两部分……由此,得证bertrnd 假设成立。
一步接一步,逻辑严密。
思路清,但似乎却在常理之中。
读完第一遍,程诺并未找出论文中存在的任何瑕疵。
程诺眉头轻皱一下。
果然,事情没有那么简单。
程诺没有时间再去通读检查一遍,他先是排除了论文中逻辑推导简单的部分,直接忽略不看。
如果那个逻辑错误真的出现在那种低级的逻辑推导步骤上,魏院长根本不可能还将其当做程诺的论文答辩题目。
因为,那样太丢人。
论文中存在庞大运算量和缜密推导步骤的地方一共五处。
程诺逐一排查。
“第一处,euler 乘积公式右端求和和普通有限积的推理,首先,将等式右端所有含有因子 2 的 fn项都消去,然后……”
“第二处,素数的分布以及二步精确,……”
…………
“第四处,fn的性质的代入,f2Σnfn f2f4f6...”
忽然,看到这一部分内容的程诺,目光陡然一凝。
他盯着一行公式,左瞧瞧,右瞅瞅,然后嘴角浮现一抹淡淡的笑容。
我,找找到你了!
程诺拿起碳素笔,在草稿纸上写写画画一阵后,随后重重的在论文的那行公式下划了一条横线。
横线上的公式:Πp[1fp]Σnfn f1 1,2n!n!n!Πp2n psp,ΣnfnΠp[1fp]1
就是这里,没错了。
第三个公式和前两个公式只见的逻辑关系,存在一种习惯性的错误。
这三个公式,也算是整篇论文证明过程中几个核心公式之一,也因此,公式的错误,导致整篇论文成为一篇费稿。
程诺此时的心情无比好。
因为他不仅找到了魏院长要求的那处逻辑错误,并且,脑海里已经计算出合理纠正方案!
抬头一看,四位老师面前的答辩席上没人。
程诺拿起论文,昂首阔步的走上讲台。
然后,在四位老师微微错愕的目光中,淡淡一笑,“老师,我已经搞定了!”</br>