这是一个相当冷门的数学公式,在现在数学学术研究中几乎很难用到。
没想到,魏院长会突发奇想,用它作为证明bertrand假设的另一切入点,果然不愧为曾经的华国数学界的大牛。只不过,结果似乎并不完美。
用了十多分钟的时间,程诺看完了整篇论文。
当然,这指的不是程诺读完了文件那完整34页的内容。
和程诺提交的毕业论文一样,真正算是真材实料的,只有那五六页的内容罢了。
读完之后,程诺对魏院长的证明思路也算是了解。
首先,他设f(n)为满足f(n1)f(n2)=f(n1n2),且Σn|f(n)|lt∞的函数(n1、n2均为自然数),则可顺利推导出:Σnf(n)=Π[1+f()+f(2)+f(3)+]。
得出上面那一串的推导定理后,算是完成了证明的第一步。
下面,由于Σn|f(n)|lt∞,因此1+f()+f(2)+f(3)+绝对收敛。考虑连乘积中ltn的部分(有限乘积)……利用f(n)的乘积性质可得:Πltn[1+f()+f(2)+f(3)+]=Σ'f(n)。
第三步,由于1+f()+f(2)+f(3)+=1+f()+f()2+f()3+=[1-f()]-1……
第四步……
……
最后一步,由(2n)!(n!n!)=Π≤2n3 s()。将连乘分解为≤√2n及√2nlt≤2n3两部分……由此,得证bertrand假设成立。
一步接一步,逻辑严密。
思路清奇,但似乎却在常理之中。
读完第一遍,程诺并未找出论文中存在的任何瑕疵。