我一心科研，你卻想騙我談戀愛？

第211章 簡化推算過程 (第2/2頁)

下一排公式。

兩分鐘過後，斯塔文若有所思，最後眼前亮了亮，評價道：「嗯，這一步做得非常完美。」

任楚君搬了根凳子，在旁邊看著，本來還想多聽聽，長點見識。

可許青舟用的是全英文，那些專業術語很快就讓她聽迷糊了，索性當一個沒感情的工具人。

許青舟示意一下，她就拿著擦子把黑板擦乾淨。

「其實，我的問題是關於克拉梅爾定理的。」格麗絲開口。

「嗯，請講。」

「素數差值間距的函式相鄰疊代表示式這裡，你是如何p n+1 -p n =（pn/n）2 =（nlnpn/n）」

「這裡，需要先證pn+1 -p n =2k」

許青舟一點點給對方解釋。

30分鐘一晃而過，教室裡多了8個人，坐在左側的是一位白髮蒼蒼老先生。

老先生筆尖輕輕點了幾下，「許青舟同學，在第48個式子，p\si 2c_2 \frac{x}{(\ln x)2，是不是可以被放縮成p(z)(，p′」

許青舟立刻打起精神，認真聽對方的闡述。

這位老先生叫王一元，科學院院士，他首先在夏國將解析數論中的篩法用於哥德巴赫猜想的研究，證明了2＋3，這是夏國學者首次在這一研究領域躍居世界領先地位。

在夏國，乃至在世界上都算得上是泰山北斗。

許青舟也把公式寫下來，驗算一遍，發現整個運算過程的確簡單很多，道謝：「王老，謝謝您的思路。」

老先生搖了搖頭，又繼續低下頭，做著推算。

這個地方許青舟當初就是簡單地過了一道，能推算出自己要的結果，他就沒管了。

他完整地證明孿生素數猜想，但無論是數學還是物理學，每一年都會有日新月異的變化。

就像當初張益唐證明了素數間隔小於七千萬一樣，建立一個框架，數學家們根據這個框架不斷改進他的辦法，成功把7000萬縮小到246。

安德魯·懷爾斯對費馬大定理的證明雖然被譽為數學史上的傑作，但他在原始證明過程複雜且冗長，涉及了深邃的數學理論，如橢圓曲線丶模形式和伽羅瓦表示理論等等。

在後續，數學家們減去冗雜，重新排列證明中的引理和定理，使用更高維的代數簇或更復雜的橢圓曲線族來替代原有的橢圓曲線。

除了這些，那些在數學界比較經典的理論同樣也在被改進，比如原始的黎曼函式r(x)是定義在區間[0，1]上的一個特殊函式。

有人證明了黎曼函式在(0，1)內的所有無理數點處連續，在所有有理數點處間斷，但每一點處都存在極限且極限為0。

還有微積分，漫長的時間中，數學家們引入了極限理論來嚴格定義微分和積分，解決了微積分學在誕生初期存在的邏輯不嚴密問題。

(本章完)