四块黑板,此中有将近两块黑板已经快被顾律所写的公式占满。
只见顾律微微一笑,拉下一块空缺的黑板,一边写一边阐述。
定理二:对于肆意偶数h,都存在无穷多个素数p,使得p+h的素因子的个数不超越2个以及xh(1,2)≥0.67xCx/(logx)^2.】”
∑(m1^2+m2^2+m3^2≤x)1=4π/3*x^1.5+O(x^2/3)!
“是以!”顾律敲敲黑板,划重点,“针对等差素数猜想,我们只能说存在肆意长长度的素数等差数列,而不能说存在无穷长度的等差数列。”
在停止等差素数猜想的研讨时,康斯坦丁一样是有些想当然。
特别是康斯坦丁,能够说看的最为透辟。
但和康斯坦丁猜想的分歧,顾律援引的并非是陈氏定理的详细内容,而是陈院士当年在推导陈氏定理过程中,利用的一些体例和实际。
让世人看到了胜利证明等差素数猜想的但愿。
说到这,顾律握着马克笔,在身后的黑板上写下几个标记。
和明天一样,顾律不借助任何电子设备的帮助,直接在黑板上一步步推导归纳等差素数猜想的证明过程。
集会室内,数台拍照机同时对准顾律,拍摄下顾律证明的全过程。
顾律笑着开口,“上面,我们需求再引入一个公式,与这三个引理相连络。”
“这里,我们引入了一个K值的观点,这个K值,便是指一个完整由素数构成的等差数列中,存在的素数个数。”
即便康斯坦丁对顾律的观感并不好,但亦不得不承认,顾律这个操纵足以被称作是神来之笔。
这是甚么天马行空般的设法!
台下的世人一个个正襟端坐,竖起耳朵,条记本摆在手边,随时筹办记录,恐怕遗漏任何一个细节。
很多数学家望着这个熟谙的公式,瞳孔猛地一缩。
顾律讲了已经有五分钟的时候。
要顾律真的只要这点本领的话,那明天恐怕就到此为止了。
“引理一:假定y≥0,而[logx]表示logx的整数部分,x>1,φ(y)=1/2πi∫(2+i∞,2-i∞)ydw/w(1+w/(logx)^l)^[logx]+1.”
“引理二:令c(α)=e^2πiα,S(α)=∑ane(na),Z=……”
“等差素数猜想的内容,是指存在肆意长度的素数等差数列。”
这个公式是……
这些内容,代数多少范畴的数学家们早就清楚。
思惟的惯性让康斯坦丁重新至尾,都没有考虑过利用陈氏定理尝试一番。
…………
不但是康斯坦丁,集会室内其他看懂的数学家亦是惊呼不已。
陈氏定理能够利用在等差素数猜想的研讨当中吗?
比如说,顾律在构造p1,p2,p3这三个素数时,和陈院士当年的构造体例的确是如出一辙。
“……我们起首命P(1,2)为合适以下前提的的素数p的个数,x――p=p1或x――p=p1p2。此中,p1,p2,p3都是素数。”
“那么,关于等差素数猜想,我们的目标就很明白了。那就是证明由素数构成的等差数列能够肆意长,并且有肆意多组。”
但每一个细节,每一道步调,早就烙印在顾律的脑海里。