第86章 懂？(第2/2 頁)

讚賞地點頭。

「可也有問題，即使找到這樣的反例，也只能證明猜想在該特定情況下不成立，而不能證明它在整個範圍內都不成立。」許青舟嘆了口氣，有些無奈。

孟斌這個時候也打完水回來了。

「素數定理表明，當x趨近於無窮大時，小於或等於x的素數個數π(x)約等於\frac{x}{\log x}logxx。」

顧志鍾一邊說思路一邊拿起粉筆，在黑板上面刷刷地寫著。

這一次，他乾脆直接把題目都寫下來，剛好讓大家一起思維發散一下。

答疑室很安靜，只有黑板上傳來沙沙的粉筆書寫聲音。

g(p)=3x(logp)15+(p)

pi+1pi≤g(pi)

(p， q)=(10007， 10009)，間隔為 q- p= 10009 - 10007 = 2

3x(log10007)15≈3x(92103)15≈3x34406≈10322。

10分鐘過去，左側的黑板早就已經寫滿密密麻麻的公式，顧志鍾轉頭看著許青舟幾個人，問道：「這裡都懂吧。」

「懂。」許青舟和蘇科偉兩個人點頭，孟斌思考了一下，也是點頭。

顧志鍾又繼續寫了一大堆公式，緩緩說道：「考慮相鄰素數之間的平均間隔，對於大數x，相鄰素數的平均間隔大致為logx。」

似乎擔心許青舟他們跟不上，他又補充道：「這是從素數定理的漸近表示式中推匯出來的。」

「這裡也基本懂的。」許青舟點頭。

顧教授使用的方式很新穎，先引入素數定理和素數計數函式，同時構造一個上界函式，基於這個函式ζ的函式性質的複雜函式f(p)，它給出了小於p的素數「密集度」的某種度量。

接著構造一個關於p的表示式，使得當q是大於p的最小素數時，有qp≤f(p)。

他倒是有些感嘆，一行歸一行，不愧是沉在數學領域幾十年的老教授，為難了他兩天的東西，只是思考幾分鐘就已經有思路了。

蘇科偉也點點頭，這些步驟雖然晦澀，但他還是跟得上，心中對於身旁這位學弟刮目相看，這才大一，就已經開始研究這種難度的題目。

許青舟和蘇科偉都點頭，就是有點為難孟斌，在上界函式的時候，他就已經有點懵逼，現在更別說了。

此時，臺下，一眾學長學姐同樣一臉茫然。

懂？懂什麼？

(本章完)