格麗絲說道:「對,和這些人相比,我們是幸運的。」
許青舟笑了笑,邀請大家坐下,這個時候,隔壁的任楚君卻苦著臉走進來。
把嘉賓拉來幹活,雖然說老師沒批評,但估計要被人笑很久。
「你怎麼來了?」許青舟問。
任楚君讓自己打起精神,說道:「老師派我來這裡當工作人員,幫著你打打雜之類的。」
「那麻煩你幫我把這塊黑板擦一下。」見任楚君有些拘謹,許青舟想著讓她做點事,免得不自在。
「好。」
任楚君沒時間糾結,開始幹活。
「許,關於你論文第45頁到46頁之間的這個公式,能詳細說說嗎?」
斯塔文已經翻開孿生素數證明的論文,迫不及待地問。
許青舟看了一眼論文,思索幾秒,站起身:「直接計算素數計數函式的值非常沒有效率,所以我用到了素數定理。」
「根據Rosser和Schoenfeld在1962年做的數值研究,可知x≥114514時。」
他一邊說著,一邊在黑板上寫下一排公式。
兩分鐘過後,斯塔文若有所思,最後眼前亮了亮,評價道:「嗯,這一步做得非常完美。」
任楚君搬了根凳子,在旁邊看著,本來還想多聽聽,長點見識。
可許青舟用的是全英文,那些專業術語很快就讓她聽迷糊了,索性當一個沒感情的工具人。
許青舟示意一下,她就拿著擦子把黑板擦乾淨。
「其實,我的問題是關於克拉梅爾定理的。」格麗絲開口。
「嗯,請講。」
「素數差值間距的函式相鄰疊代表達式這裡,你是如何p n+1 -p n =(pn/n)^2 =(nlnpn/n)。」
「這裡,需要先證pn+1 -p n =2k」
許青舟一點點給對方解釋。
30分鐘一晃而過,教室裡多了8個人,坐在左側的是一位白髮蒼蒼老先生。
老先生筆尖輕輕點了幾下,「許青舟同學,在第48個式子,si2C_2 rac{x}{(ln x)^2,是不是可以被放縮成(z)(P′。」
許青舟立刻打起精神,認真聽對方的闡述。
這位老先生叫王一元,科學院院士,他首先在夏國將解析數論中的篩法用於哥德巴赫猜想的研究,證明了2+3,這是夏國學者首次在這一研究領域躍居世界領先地位。
在夏國,乃至在世界上都算得上是泰山北斗。
許青舟也把公式寫下來,驗算一遍,發現整個運算過程的確簡單很多,道謝:「王老,謝謝您的思路。」
。算推著做,頭下低續繼又,頭搖了搖生先老
。了管沒就他,果結的要己自出算推能,道一了過地單簡是就初當舟青許方地個這
。化變的異月新日有會都年一每,學理是還學數是論無但,想猜數素生孿明證地整完他
。642到小萬0007把功,法辦的他進改斷不架框個這據們家學數,架框個一立建,樣一萬千七於小隔間數素了明證唐益張初當像就
。等等論理示表瓦羅伽和式形模。線曲圓橢如,論理學數的邃深了及涉,長冗且雜複程過明證始原在他但,作傑的上史學數為譽被然雖明證的理定大馬費對斯爾懷。魯德安
。線曲圓橢的有原代替來族線曲圓橢的雜復更或簇數代的維高更用使,理定和理引的中明證列排新重,雜冗去減們家學數,續後在
。式函殊特個一的上】1,0【間區在義定是)x(R式函曼黎的始原如比,進改被在也樣同論理的典經較比界學數在些那,些這了除
。0為限極且限極在存都點一每但,斷間點數理有有所在,續連點數理無有所的)1,0(在式函曼黎了明證人有
。題問嚴不輯邏的在存期初生誕在學分積微了決解,分積和分微義定格嚴來論理限極了引們家學數,中間時的長漫,分積微有還
)完章本(








