不行。这方面知识太简单,很难有什么高深的见解。

    那非线性发展方程和无穷维动力系统?

    这个也不行,偏微分方程目前还不是自己深研的领域。

    ……

    思绪纷飞的程诺,无奈的睁开眼,他叹口气。

    还是没有思路啊?

    他扭扭脖子,随手拿起桌上那本《近代数论综述》,随缘的随便翻到一页。

    书页的标题:bertrand假设。

    程诺目光从头开始浏览。

    bertrand假设,其内容是:对任意自然数n≥2,至少存在一个素数使得nltlt2n。

    是1845年由法国数学家joseh bertrand作为一个假设提出的。bertrand对3000000以内的情形进行了验证。1850年,俄国数学家afnuty chebyshev(1821-1894)给出了该假设的第一个严格证明。因此bertrand假设有时也被称为chebyshev定理。

    用了两个小时的时间,程诺才把chebyshev给出的具体证明过程看完,然后眉头紧紧皱起。

    复杂,实在是太复杂了!

    chebyshev的证明过程,除了复杂二字,程诺再也找不出其他任何的评价。

    那一堆堆的公式字符看的程诺这个早就习惯的人都有些头皮发麻。

    就在程诺收拾心情,准备往后翻页时,手中的动作突然停住,脑海里,似乎想到了什么……

    第三百四十八章 彼得尔

    灵感,总是来的这么猝不及防!

    程诺嘴角微微一勾,将书页翻回原本那一页。

    既然chebyshev(切比雪夫)给出的bertrand假设的证明过程如此复杂,那么,自己就挑战一下,看看是否能够用更加简便的数学语言证明bertrand假设吧。

    顺便,来验证一下,这一年的深入钻研,自己的能力究竟到了何种地步。

    bertrand假设的简单证明方法。

    光是这个论文题目,就足以被称得上是一区水平的论文。当然,前提是程诺真的能够探索出来那条简单的解法。

    就如程诺之前所假设过的。数学界每一个猜想或者假设的证明过程都是由起点走到终点的过程,有的路线曲折,有的路线笔直。

    而或许,切比雪夫发现的是那条比较曲折的路线,而程诺,则需要在前人的基础上,开辟出一条更加简捷的道路。

    但这却比单独证明bertrand假设要简单。

    毕竟是站在巨人的肩膀上看待问题,有了切比雪夫这位“开荒者”提出的证明方案,程诺或多或少的也能从中汲取到什么,并进行独到的理解。

    想到就做!

    程诺不是那么犹豫不决的人。反正时间充裕,容得程诺在发现“此路不通”后,重新寻找另一个论文方向。

    想要提出更加简便的方案,首先要把前人提出的证明思路吃透。

    他没有火急火燎的直接开始自己的钻研,而是低下头,从头到尾的阅读书中关bertrand假设的那十几页内容。

    两个小时后,程诺合上书。

    闭着眼回味了几秒,他从书包中掏出一摞空白的草稿纸,拿起桌面上的黑色碳素笔,聚精会神的开始了自己的推演:

    想要证明bertrand假设,就必须证明几个辅助命题。

    引理一:【引理1:设n为一自然数,为一素数,则能整除n!的的最高幂次为:s=Σi≥1floor(ni)(式中floor(x)为不大于x的最大整数)】

    这里,需要将从1到n的所有(n个)自然数排列在一条直线上,在每个数字上叠放一列si个记号,显然记号的总数是s。

    关系式s=Σ1≤i≤n si表示的是先计算各列的记号数(即si)再求和,由此得到的关系,便是引理1。

    引理二:【设n为自然数,为素数,则Π≤n lt4n】

    用数学归纳法。n=1和n=2时引理显然成立。假设引理对nltn成立(ngt2),我们来证明n=n的情形。

    如果n为偶数,则Π≤n =Π≤n-1 ,引理显然成立。

    如果n为奇数,设n=2+1(≥1)。注意到所有+1lt≤2+1的素数都是组合数(2+1)!!(+1)!的因子,另一方面组合数(2+1)!!(+1)!在二项式展开(1+1)2+1中出现两次,因而(2+1)!!(+1)!≤(1+1)2+12=4

    如此,便能……

    程诺思路顺畅,几乎没费多大功夫,便用自己的方法将这两个辅助命题证明出来。

    当然,这不过是才走完第一步而已。

    按照切比雪夫的思路,后面还需要通过这两个定理引入到bertrand假设的证明步骤中去。

    切比雪夫用的方法是硬凑,没错,就是硬凑!

    通过公式间的不断转换,将bertrand假设的成立的某一个,或者某几个充要条件,转换为引理一或者引理二的形式,在进行化简整合求解。

    当然,程诺肯定不能这么做。