第211章 簡化推算過程
第211章 簡化推算過程
210教室。
許青舟聽從丸子頭女生的指揮，把多餘的桌子搬到一旁，又拎著掃把跟著一起打掃。
「為什麼現在才打掃衛生？」
「這裡本來是堆放雜物的。」女生指了指旁邊堆著桌子，無奈地說道：「不過，這次來的人好像比預想的多很多。」
許青舟點了點頭，又聽任楚君嘆息一聲，說：「這些人安排工作實在業餘，海報和指引標識都不清楚，設備這些都是臨時檢查的漏洞百出，太讓人操心了。」
「你有什麼想法？」許青舟笑了笑。
「當然是提前把所有流程都推一遍，工作責任到人當然，最重要的是，考慮到一切可能遇到的變數。」
話匣子打開，女生就洋洋灑灑的說了一大堆。
聽女生說得頭頭是道，許青舟忍不住指出：「所以，你為什麼一個人在這裡幹活？」
「能者多勞，我可是未來要當主席的人，當然得親力親為啦。」
許青舟看著她不說話。
「.」
「好吧，其實是，我們部門的人都已經被老師安排出去了。」
從工作證上看出，這個女生叫任楚君，是學生會的宣傳部副部長。不過，一直有一顆篡位當主席的心。
兩人花費了20分鐘時間，把教室從里里外外都打掃一遍，坐在椅子上休息。
任楚君給許青舟遞了一瓶礦泉水，問道：「學弟，我看你有點眼熟，是哪個部門的？」
許青舟擰開瓶蓋，道：「我不是學生會的。」
「哦？數學社的？」任楚君喝了口水。
許青舟搖頭，喝水潤完嗓子，「準確來說，我不是你們學校的。」
「哦，原來是嗯？咳咳~」
任楚君被嗆得咳了好一會兒，睜大眼睛盯著許青舟，驚呆了：「你你不是我們學校的？」
咚~咚~
一位瘦高中年帶著兩個學生走進來，打量著教室，有點詫異：「小任，你們都打掃完了，速度夠.」
中年的聲音戛然而止，看著許青舟：「許青舟？」
這人正是剛才帶鄧澤爾去接朋友的老師。
「嗯。」許青舟笑著點頭，起身，「鄧澤爾他們到了？」
「到了。」中年回答，腦子沒轉過來。
許青舟轉頭看著任楚君，揚了揚礦泉水：「那我先去忙，這瓶水，就當酬勞了。」
說完，拿著旁邊的文件包，走了。
一個男生表情佩服：「學姐，你居然把大神拉來打掃衛生了！」
「學姐，從今天開始，你就是我的偶像！」
另一個男生也是說道。
「.」
任楚君欲哭無淚，在這一刻，她覺得自己的主席夢好像破碎了。
這頭，許青舟來到隔壁的209，除了鄧澤爾外，還多了三個老外。
「許，我給介紹一下，這位是我的同事斯塔文·傑爾，而這位美麗的女士，是格麗絲·艾海提，來自普林斯頓。」
「你們好。」許青舟說道，這三個人都30左右的樣子。
「其實我知道還有很多人都想來聽你精彩的報告。」鄧澤爾聳了聳肩，說道：「很遺憾，你們夏國的簽證太難辦理了。」
格麗絲說道：「對，和這些人相比，我們是幸運的。」
許青舟笑了笑，邀請大家坐下，這個時候，隔壁的任楚君卻苦著臉走進來。
把嘉賓拉來幹活，雖然說老師沒批評，但估計要被人笑很久。
「你怎麼來了？」許青舟問。
任楚君讓自己打起精神，說道：「老師派我來這裡當工作人員，幫著你打打雜之類的。」
「那麻煩你幫我把這塊黑板擦一下。」見任楚君有些拘謹，許青舟想著讓她做點事，免得不自在。
「好。」
任楚君沒時間糾結，開始幹活。
「許，關於你論文第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個式子，mP\sim 2C_2 \frac{x}{(\ln x)^2，是不是可以被放縮成mP(z)(m，P′.」
許青舟立刻打起精神，認真聽對方的闡述。
這位老先生叫王一元，科學院院士，他首先在夏國將解析數論中的篩法用於哥德巴赫猜想的研究，證明了2＋3，這是夏國學者首次在這一研究領域躍居世界領先地位。
在夏國，乃至在世界上都算得上是泰山北斗。
許青舟也把公式寫下來，驗算一遍，發現整個運算過程的確簡單很多，道謝：「王老，謝謝您的思路。」
老先生搖了搖頭，又繼續低下頭，做著推算。
這個地方許青舟當初就是簡單地過了一道，能推算出自己要的結果，他就沒管了。
他完整地證明孿生素數猜想，但無論是數學還是物理學，每一年都會有日新月異的變化。
就像當初張益唐證明了素數間隔小於七千萬一樣，建立一個框架，數學家們根據這個框架不斷改進他的辦法，成功把7000萬縮小到246。
安德魯·懷爾斯對費馬大定理的證明雖然被譽為數學史上的傑作，但他在原始證明過程複雜且冗長，涉及了深邃的數學理論，如橢圓曲線、模形式和伽羅瓦表示理論等等。
在後續，數學家們減去冗雜，重新排列證明中的引理和定理，使用更高維的代數簇或更複雜的橢圓曲線族來替代原有的橢圓曲線。
除了這些，那些在數學界比較經典的理論同樣也在被改進，比如原始的黎曼函數R(x)是定義在區間[0，1]上的一個特殊函數。
有人證明了黎曼函數在(0，1)內的所有無理數點處連續，在所有有理數點處間斷，但每一點處都存在極限且極限為0。
還有微積分，漫長的時間中，數學家們引入了極限理論來嚴格定義微分和積分，解決了微積分學在誕生初期存在的邏輯不嚴密問題。
(本章完)
210教室。
許青舟聽從丸子頭女生的指揮，把多餘的桌子搬到一旁，又拎著掃把跟著一起打掃。
「為什麼現在才打掃衛生？」
「這裡本來是堆放雜物的。」女生指了指旁邊堆著桌子，無奈地說道：「不過，這次來的人好像比預想的多很多。」
許青舟點了點頭，又聽任楚君嘆息一聲，說：「這些人安排工作實在業餘，海報和指引標識都不清楚，設備這些都是臨時檢查的漏洞百出，太讓人操心了。」
「你有什麼想法？」許青舟笑了笑。
「當然是提前把所有流程都推一遍，工作責任到人當然，最重要的是，考慮到一切可能遇到的變數。」
話匣子打開，女生就洋洋灑灑的說了一大堆。
聽女生說得頭頭是道，許青舟忍不住指出：「所以，你為什麼一個人在這裡幹活？」
「能者多勞，我可是未來要當主席的人，當然得親力親為啦。」
許青舟看著她不說話。
「.」
「好吧，其實是，我們部門的人都已經被老師安排出去了。」
從工作證上看出，這個女生叫任楚君，是學生會的宣傳部副部長。不過，一直有一顆篡位當主席的心。
兩人花費了20分鐘時間，把教室從里里外外都打掃一遍，坐在椅子上休息。
任楚君給許青舟遞了一瓶礦泉水，問道：「學弟，我看你有點眼熟，是哪個部門的？」
許青舟擰開瓶蓋，道：「我不是學生會的。」
「哦？數學社的？」任楚君喝了口水。
許青舟搖頭，喝水潤完嗓子，「準確來說，我不是你們學校的。」
「哦，原來是嗯？咳咳~」
任楚君被嗆得咳了好一會兒，睜大眼睛盯著許青舟，驚呆了：「你你不是我們學校的？」
咚~咚~
一位瘦高中年帶著兩個學生走進來，打量著教室，有點詫異：「小任，你們都打掃完了，速度夠.」
中年的聲音戛然而止，看著許青舟：「許青舟？」
這人正是剛才帶鄧澤爾去接朋友的老師。
「嗯。」許青舟笑著點頭，起身，「鄧澤爾他們到了？」
「到了。」中年回答，腦子沒轉過來。
許青舟轉頭看著任楚君，揚了揚礦泉水：「那我先去忙，這瓶水，就當酬勞了。」
說完，拿著旁邊的文件包，走了。
一個男生表情佩服：「學姐，你居然把大神拉來打掃衛生了！」
「學姐，從今天開始，你就是我的偶像！」
另一個男生也是說道。
「.」
任楚君欲哭無淚，在這一刻，她覺得自己的主席夢好像破碎了。
這頭，許青舟來到隔壁的209，除了鄧澤爾外，還多了三個老外。
「許，我給介紹一下，這位是我的同事斯塔文·傑爾，而這位美麗的女士，是格麗絲·艾海提，來自普林斯頓。」
「你們好。」許青舟說道，這三個人都30左右的樣子。
「其實我知道還有很多人都想來聽你精彩的報告。」鄧澤爾聳了聳肩，說道：「很遺憾，你們夏國的簽證太難辦理了。」
格麗絲說道：「對，和這些人相比，我們是幸運的。」
許青舟笑了笑，邀請大家坐下，這個時候，隔壁的任楚君卻苦著臉走進來。
把嘉賓拉來幹活，雖然說老師沒批評，但估計要被人笑很久。
「你怎麼來了？」許青舟問。
任楚君讓自己打起精神，說道：「老師派我來這裡當工作人員，幫著你打打雜之類的。」
「那麻煩你幫我把這塊黑板擦一下。」見任楚君有些拘謹，許青舟想著讓她做點事，免得不自在。
「好。」
任楚君沒時間糾結，開始幹活。
「許，關於你論文第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個式子，mP\sim 2C_2 \frac{x}{(\ln x)^2，是不是可以被放縮成mP(z)(m，P′.」
許青舟立刻打起精神，認真聽對方的闡述。
這位老先生叫王一元，科學院院士，他首先在夏國將解析數論中的篩法用於哥德巴赫猜想的研究，證明了2＋3，這是夏國學者首次在這一研究領域躍居世界領先地位。
在夏國，乃至在世界上都算得上是泰山北斗。
許青舟也把公式寫下來，驗算一遍，發現整個運算過程的確簡單很多，道謝：「王老，謝謝您的思路。」
老先生搖了搖頭，又繼續低下頭，做著推算。
這個地方許青舟當初就是簡單地過了一道，能推算出自己要的結果，他就沒管了。
他完整地證明孿生素數猜想，但無論是數學還是物理學，每一年都會有日新月異的變化。
就像當初張益唐證明了素數間隔小於七千萬一樣，建立一個框架，數學家們根據這個框架不斷改進他的辦法，成功把7000萬縮小到246。
安德魯·懷爾斯對費馬大定理的證明雖然被譽為數學史上的傑作，但他在原始證明過程複雜且冗長，涉及了深邃的數學理論，如橢圓曲線、模形式和伽羅瓦表示理論等等。
在後續，數學家們減去冗雜，重新排列證明中的引理和定理，使用更高維的代數簇或更複雜的橢圓曲線族來替代原有的橢圓曲線。
除了這些，那些在數學界比較經典的理論同樣也在被改進，比如原始的黎曼函數R(x)是定義在區間[0，1]上的一個特殊函數。
有人證明了黎曼函數在(0，1)內的所有無理數點處連續，在所有有理數點處間斷，但每一點處都存在極限且極限為0。
還有微積分，漫長的時間中，數學家們引入了極限理論來嚴格定義微分和積分，解決了微積分學在誕生初期存在的邏輯不嚴密問題。
(本章完)