第117章 解决梅森素数
第二天，梁云带着小狸花猫去了一趟宠物医院，给它洗一下身子，顺便打疫苗，同时买一些猫粮、猫砂和买一个猫窝回来。
既然要决定收养小狸花猫，肯定要把养猫该准备的物品全部准备好。
从宠物医院回来后，梁云再给小狸花猫取了一个名字——“咪咪”，然后将它放养在家里，让它熟悉环境。
而他自己则是去上课了。
研究生的课程不是很多，每天也就两三节课而已。
所以在上完课后，梁云有很多空余的时间来研究他的课题——梅森素数问题。
上周一个星期的研究，梅森素数的研究只取得了一丢丢的进展。
素数领域并非是梁云的拿手绝活，所以在解题方面，实在是难以取得进展。
因此，在进行接下来的求解前，他需要好好拓展一下自身的素数知识才行。
在上完课之后，梁云便独自来到了上京大学图书馆，开始了他的素数学习之路。
在自学方面，拥有系统以及贤者光环、智慧光环、天赋光环的加持的梁云可谓是如鱼得水。
素数方面的各种知识，只要梁云认真地去钻研，去探索，最终都会被他所给掌握。
很快，进行了长达一个星期的素数知识补充后，梁云再次开展了对梅森素数问题的求解。
这一次的求解就顺利了许多，梅森素数问题被一步一步的解决，很快他就求得了53个梅森数，已经快要接近如今学界的最高梅森数值了。
不过想要将梅森素数问给解决，光靠求它的梅森数是不行的，必须要把梅森素数的解析式给求出来才行。
只有将梅森素数的无穷数解析式给求出来，才能成功将梅森素数问题给证明。
……
“【若r，N互质，则lim(x→∞)π(x；N，r)/π(x)=1/φ(N)】”
“通过算术级数的素数定理，似乎可以找到两者之间的关系。”
梁云看着稿纸上的式子，心中默默思考，强大的数感，让他想到了（4x 3）。
“似乎，梅森素数都是形如4x 3这样的数？”
比如3，就等于4*0 3，而7，就等于4*1 3，再比如一个大一点的数字，比如欧拉心算出来的2^31-1，其等于，同样可以转换为（4x 3）的形式。
通过稿纸上前面的求解，梁云从中寻找到了梅森素数的规律。
看到这个规律后，梁云眼前一亮。
有了这个关系，他可以将梅森素数套在自己的前面所建造出来的变换结构函数上，就可以进行梅森数的解析了。
说干就干，梁云立马就将这个规律套在了变换结构函数上，开始利用变换结构函数对梅森数进行解析式的求解。
“……嗯，这里算是搞定了，现在可以将4x 3代入之前的关系式中了。”
用了三张稿纸，梁云将套用变换结构函数的梅森素数给求解了一番，有了一定的成果。
只不过，虽然有了4x 3，但是接下来的步骤中依然困难重重，想要真正完成，依然还有些困难。
既然选择梅森素数问题作为毕业论文以及任务一的课题，无论梅森素数多难，他也要将其给解出来的。
……
【对于正整数a，b，我们定义一个关于F2的梅森素数(多项式)为一个形式为1 x^a(x 1)^b的不可约多项式。在这种情况下:最大公约数gcd(a，b)=1并且(a或b是奇数)……
对于S∈F2[x]，表示为:—S由S用x 1代替x得到的多项式:S(x)=S(x 1)……】
“这样就进入到了多项式的领域了。”
求解到这一步，梅森素数的解题总算是进入了阶段性的解题环节。
只要梁云解决了接下来的多项式问题，梅森素数的求解就算取得一个小成功了，而且对后面的求解也会提供帮助。
可以减少他不必要的解题麻烦！
……
代入多项式之后，梁云开始了梅森素数的进一步求解。
随着不断的解锁梅森素数，他很快就得到了下面的式子：
“[4^(1-1) 4^(2-1) 4^(3-1) ...... 4^(n-1)]*6 1……”
从这个式子可以看出，梅森素数在2^P-1平方根以下的素数都以素因子在以前准梅森数中出现了，那这个梅森数没有因子数，它必是梅森素数。
但它的逆定理是不成立的。如果还没有出现在以前的准梅森数中的素数，它也不定是梅森合数的因子数。
因此想要成功求解，必须利用费马小定理，每一个奇素数都会以数因子出现在2^n-1数列中这个定理来求证梅森素数问题才行。
有了方向之后，梁云便在稿纸上进行下一步的求算，利用费马小定理筛选梅森素数的数因子。
根据费马小定理，要筛完2^n-1数列中所有数因子，必需用少于或等于2^n-1平方根以内的所有素数去筛，这样剩下没有筛的就是梅森素数了。
然而，筛选的过程十分的繁琐，因为梅森素数的数因子实在的太多了，在足足花费了十张稿纸后，梁云才顺利将梅森素数给全部筛选出来。
“很好，所有的梅森素数全都筛选出来，那就就可以求解梅森素数问题的最终解析式了。”
这章没有结束^.^，请点击下一页继续阅读！