第244章 「至此，證明完成。」
肖宿獨自一人站在偌大的講台中央，黑暗中，數萬雙眼睛直直的盯著他。
此刻，所有的光都聚在了這個少年身上。
「大家好，我是肖宿。」
沒有多餘的寒暄，沒有過渡，肖宿直接開始了。
他把話筒調了調高度，往預先準備的小黑板那邊走了兩步，拿起了一支粉筆。
「哥德巴赫猜想。」
他的聲音很清晰，在安靜的大廳里甚至出現了回聲。
「任何一個大於2的偶數，都可以寫成兩個素數之和。」
他抬手執筆，在黑板上緩緩落下這行定義。
頭頂巨幕實時同步畫面，將少年清峻利落的字跡清晰的投射出來，在場的每一個人，都能看得一清二楚。
「這大概是數學史上最容易被理解、也最難被證明的命題。
一個人只要知道了什麼是偶數和素數，就能明白這個猜想在說什麼。
可是，自從1742年哥德巴赫在給歐拉的信里寫下這個猜想開始，兩百八十多年過去了，一代又一代的數學家為它耗盡了畢生心血，卻始終沒有人能夠走到最後一步。」
「但今天，我想我們可以給它劃上一個句號了。」
這話一出，原本安靜的人群幾乎同時倒吸了一口涼氣。
太狂妄了。
可肖宿只是在表述一個事實而已。
「證明哥德巴赫猜想，核心是要解決素數的分布規律問題。
也就是說，我們要搞清楚素數在自然數裡到底是怎麼排列的。
它有沒有一個隱藏的規律，讓我們可以確信，任何一個足夠大的偶數，都一定能拆成兩個素數。」
他在黑板上畫了一條橫線，代表自然數，然後在上面零零散散地點了幾個點，代表素數。
「素數在自然數中的分布，看起來是隨機的，2、3、5、7、11、13……
你沒有辦法用一個簡單的公式預測下一個素數會出現在哪裡。
但是，當數字大到一定程度，素數的分布會呈現出一種大尺度的統計規律。
這就是素數定理告訴我們的：不超過x的素數個數，大約是x除以ln x。」
他在黑板上寫下了素數定理的近似表達式：π(x) ~ x/log x。
「這個規律很重要，但它不夠精確。
要證明哥德巴赫猜想，我們需要的不是『大約』，而是『一定』。
我們需要一個工具，能夠在自然數裡把素數從合數中精確地篩出來，並且，還要保證篩完之後，剩下的素數足夠多，多到能覆蓋所有的偶數。」
「這個工具，就是篩法。」
「篩法的思路很簡單。
如果你想找出一定範圍內所有的素數，你可以先去掉所有能被2整除的數，再去掉所有能被3整除的數，以此類推。
篩到最後，剩下的就是素數。」
他轉過身，在黑板上寫下一個求和式。
「用數學語言表達，篩法的核心是對莫比烏斯函數μ(d)的求和。
對任意給定的整數集合A，篩函數S(A, z)表示A中所有素因子都大於z的元素個數。
用勒讓德篩法，我們可以寫出S(A, z)等於∑_{d|P(z)} μ(d)·|A_d|，其中P(z)是所有不超過z的素數的乘積，A_d是A中能被d整除的子集。」
粉筆在黑板上快速移動。
「但問題在於，這個求和式里的誤差項，當z增大的時候會迅速失控。
布朗在1920年提出了一個巧妙的修正，不直接用μ(d)，而是用一對精心選取的上下界序列來逼近μ(d)。
塞爾伯格進一步改進了這個方法，用二次型優化來極小化誤差。
陳景潤先生把這個技術推到了極致，證明了每個充分大的偶數都可以寫成一個素數與一個不超過兩個素因子的數之和。」
「但是，奇偶性問題始終是篩法邁不過去的坎。」
台下，黃建亞微微點了點頭。
他研究了一輩子解析數論，太清楚陳景潤那道坎有多難跨越了。
「奇偶性問題的本質是什麼？
用篩法估計一個集合中素數的個數時，篩法無法區分一個數有奇數個素因子還是有偶數個素因子。
換句話說，如果一個數恰好是兩個不同素數的乘積，篩法會把它和真正的素數混在一起。
這個混淆，在哥德巴赫猜想這種需要精確區分『1+1』的問題上，是致命的。」
「所以，如果只用篩法，這個問題是無解的。」
肖宿頓了頓，拿起粉筆，在黑板的另一邊畫了一個圓。
「而另一個工具，圓法，走的是完全不同的路徑。」
「圓法的核心思想是把離散的加法問題轉化為連續空間裡的積分。
設R(n)為將偶數n寫成兩個素數之和的表法個數，那麼根據圓法的基本恆等式，R(n)可以表示為∫_0^1 S(α)^2·e(-nα) dα，其中S(α)是指數和∑_{p≤n} e(pα)，e(x)是e^{2πi x}。」
他在黑板上寫下這個積分表達式。
「這個積分的巧妙之處在於，當α接近有理數a/q，也就是所謂的『主弧』區域時，S(α)的行為可以用素數定理來精確估計。
而當α遠離有理數，也就是『余弧』區域時，S(α)的貢獻很小。
如果我們能證明主弧上的積分主項足夠大，而余弧上的積分小到完全可以忽略，那麼哥德巴赫猜想就成立了。」
「維諾格拉多夫用這個方法證明了三素數定理，即每個充分大的奇數都可以寫成三個素數之和。
但他的方法在偶數的情形下就失效了，因為偶數的哥德巴赫問題涉及的是兩個素數的和，主項和餘項的競爭遠比三素數的情形更加激烈。
所以餘項估計的精度，必須控制到小o級別，而傳統的方法在這個精度下會直接崩潰。」
他在圓的兩端分別寫下了「篩法」和「圓法」兩個詞。
「篩法擅長細節，但缺乏整體視野。
圓法擅長整體，但細節上不夠精確。
這兩種方法，各自都很強大，但各自又都有致命的短板。」
「長期以來，數學家們一直在想，能不能把兩者結合起來？
用圓法的整體框架來控制大方向，用篩法的精細技巧來處理局部細節。」
他在「篩法」和「圓法」之間畫了一條弧線。
「但這條路，走不通。」
台下有人輕輕「啊」了一聲。
肖宿繼續說道：「因為篩法使用的是莫比烏斯卷積的語言，而圓法使用的是指數和積分的語言。
它們之間沒有自然的翻譯器。」
「那麼，有沒有可能，為這兩套語言造一個翻譯器？」
台下，德利涅瞬間坐直了身體。
舒爾茨的眉心輕輕一跳。
他們知道，重點來了。
肖宿拿起粉筆，在小黑板中央寫下了一段簡短的定義。
「在研究孿生素數猜想的過程中，我發現了一個有趣的現象。
那就是當我把顧辛流型中關於弗洛爾同調的不變量計算，以某種特定的方式展開時，展開項的結構，和圓法中某個積分核在鞍點附近的漸近展開，形式上一模一樣。」
他又在黑板上寫下了兩行式子。
左邊是弗洛爾同調的展開項：∑_{k} C_k·(log N)^{-k}。
右邊是圓法積分核在鞍點附近的漸近展開：∑_{k} D_k·(log N)^{-k}。
「這不是巧合。
這說明篩法和圓法之間，存在某種更深層的對應關係。」
「既然展開的形式一樣，那展開之前的結構，是不是也一樣？
如果把篩法的求和項，通過某種變換映射到圓法的工作空間裡，這個映射能不能是一個對偶變換？」
他在黑板上寫下一行字：對偶變換T。
「具體來說就是，如果我定義一個變換T，它把篩法中的莫比烏斯卷積轉化為複平面上的圍道積分，那麼C_k和D_k之間滿足D_k = T(C_k)。」
「這個變換T，就是我稱之為傅立葉-米庫辛變換的東西。
它把篩法在整數域上的運算，映射為圓法在複平面單位圓上的運算。
反過來，它的逆變換T^{-1}，把圓法的指數和積分，映射回了篩法的篩函數中。」
他的粉筆在黑板上飛快移動，寫下變換的定義。
「T的具體定義應該是：對於篩函數F(s)，其傅立葉-米庫辛變換Ḟ(z) = ∑_{n} F(n)·n^{-z}，這是一個在複平面上定義的狄利克雷級數。
這個級數在Re(z) ＞ 1時收斂，並且可以亞純延拓到整個複平面。
它的極點分布恰好對應素數分布的關鍵信息。」
台下，陶哲軒從筆記本上抬起頭來，眼睛灼灼的盯著台上的少年。
德利涅低聲對舒爾茨說了一句什麼，舒爾茨點了點頭，目光始終沒有離開黑板。
「有了這個變換，篩法和圓法就不再是兩套互不兼容的語言了。
在變換T的作用下，篩法的誤差項被重新分配到了圓法的積分路徑上。
而圓法的積分路徑，是可以自由選擇的。」
「這就是分層篩法和鞍點圓法的核心。」
他在黑板上畫了一條蜿蜒的曲線。
「分層篩法，把素數按照對數尺度分成多層。
每一層只處理特定尺度的信息。
具體來說，對於不超過N的素數，我按(log n)的大小區間把它分成J層，第j層的素數p滿足2^{j} ≤ log p ＜ 2^{j+1}。
在每一層內部，篩函數的誤差可以獨立控制，不同層之間的誤差不會交叉污染。」
「然後，每一層的篩分結果通過傅立葉-米庫辛變換映射到複平面上，變成一個圍道積分。
這個圍道積分的路徑不是固定的，我可以選擇它。
如果我把積分路徑選在最速下降曲線上，也就是鞍點附近梯度最陡的方向，那麼積分的主項就由鞍點處的貢獻決定，餘項隨著參數N的增大會以指數速度衰減。」
他在黑板上寫下鞍點積分的估計式。
「鞍點由方程d/dz(log Ḟ(z) - z·log N) = 0確定。
在最速下降路徑上，積分的主項貢獻是(2π/|Ḟ″(z₀)|)^{1/2}·Ḟ(z₀)·N^{z₀}·(1 + O(1/log N))，而餘項被控制在O(N^{Re(z₀)}·exp(-c·(log N)^{1/2}))的量級，這個量級遠遠小於主項。」
「現在，篩法的精度和圓法的靈活性，通過傅立葉-米庫辛變換連接在了一起。
篩法提供分層精度，圓法提供全局估計，對偶變換彌合了兩者的語言隔閡。
最終，哥德巴赫問題的表法個數R(n)可以表示為一個主項加上一個可控的餘項。」
他在黑板上寫下最終的表達式。
R(n) = (n)·n/(log n)^2 + O(n/(log n)^3)，其中(n)是奇異級數，定義為∏_{p|n}(1 - 1/(p-1)^2)·∏_{p∤n}(1 + 1/(p-1)^2)，對所有素數p取乘積。
這個奇異級數可以具體計算，並且對偶數n，它嚴格大於一個絕對正常數。
寫完，他手裡的粉筆也快要用完了。
「把表法個數R(n)的下界估計出來之後，問題最後歸結為：證明一個幾何不變量不等於零。
這個幾何不變量，來源於弗洛爾同調群里的某個拓撲指標。
確切地說，我在顧辛流型上構造了一個與素數分布對應的拉格朗日子流形，計算它的弗洛爾同調群，發現它的秩恰好等於奇異級數(n)在一個特定極限下的取值。」
「而弗洛爾同調群的這個拓撲指標，我已經在去年關於孿生素數猜想的論文裡證明過了，它不可能為零。」
他轉過身，用僅存的一點粉筆在黑板上寫下了最後一行。
「綜上，對任意大於2的偶數n，R(n) ≥ C·n/(log n)^2 ＞ 0，其中C是可具體計算的正常數。
哥德巴赫猜想成立。」
筆落，最後一點粉筆也用盡了，他拍了拍手，轉過身來，直面台下的上萬人。
聚光燈落在他清瘦的身影上，把他的影子投在了寫滿公式的黑板上。
「至此，證明完成。」
此刻，所有的光都聚在了這個少年身上。
「大家好，我是肖宿。」
沒有多餘的寒暄，沒有過渡，肖宿直接開始了。
他把話筒調了調高度，往預先準備的小黑板那邊走了兩步，拿起了一支粉筆。
「哥德巴赫猜想。」
他的聲音很清晰，在安靜的大廳里甚至出現了回聲。
「任何一個大於2的偶數，都可以寫成兩個素數之和。」
他抬手執筆，在黑板上緩緩落下這行定義。
頭頂巨幕實時同步畫面，將少年清峻利落的字跡清晰的投射出來，在場的每一個人，都能看得一清二楚。
「這大概是數學史上最容易被理解、也最難被證明的命題。
一個人只要知道了什麼是偶數和素數，就能明白這個猜想在說什麼。
可是，自從1742年哥德巴赫在給歐拉的信里寫下這個猜想開始，兩百八十多年過去了，一代又一代的數學家為它耗盡了畢生心血，卻始終沒有人能夠走到最後一步。」
「但今天，我想我們可以給它劃上一個句號了。」
這話一出，原本安靜的人群幾乎同時倒吸了一口涼氣。
太狂妄了。
可肖宿只是在表述一個事實而已。
「證明哥德巴赫猜想，核心是要解決素數的分布規律問題。
也就是說，我們要搞清楚素數在自然數裡到底是怎麼排列的。
它有沒有一個隱藏的規律，讓我們可以確信，任何一個足夠大的偶數，都一定能拆成兩個素數。」
他在黑板上畫了一條橫線，代表自然數，然後在上面零零散散地點了幾個點，代表素數。
「素數在自然數中的分布，看起來是隨機的，2、3、5、7、11、13……
你沒有辦法用一個簡單的公式預測下一個素數會出現在哪裡。
但是，當數字大到一定程度，素數的分布會呈現出一種大尺度的統計規律。
這就是素數定理告訴我們的：不超過x的素數個數，大約是x除以ln x。」
他在黑板上寫下了素數定理的近似表達式：π(x) ~ x/log x。
「這個規律很重要，但它不夠精確。
要證明哥德巴赫猜想，我們需要的不是『大約』，而是『一定』。
我們需要一個工具，能夠在自然數裡把素數從合數中精確地篩出來，並且，還要保證篩完之後，剩下的素數足夠多，多到能覆蓋所有的偶數。」
「這個工具，就是篩法。」
「篩法的思路很簡單。
如果你想找出一定範圍內所有的素數，你可以先去掉所有能被2整除的數，再去掉所有能被3整除的數，以此類推。
篩到最後，剩下的就是素數。」
他轉過身，在黑板上寫下一個求和式。
「用數學語言表達，篩法的核心是對莫比烏斯函數μ(d)的求和。
對任意給定的整數集合A，篩函數S(A, z)表示A中所有素因子都大於z的元素個數。
用勒讓德篩法，我們可以寫出S(A, z)等於∑_{d|P(z)} μ(d)·|A_d|，其中P(z)是所有不超過z的素數的乘積，A_d是A中能被d整除的子集。」
粉筆在黑板上快速移動。
「但問題在於，這個求和式里的誤差項，當z增大的時候會迅速失控。
布朗在1920年提出了一個巧妙的修正，不直接用μ(d)，而是用一對精心選取的上下界序列來逼近μ(d)。
塞爾伯格進一步改進了這個方法，用二次型優化來極小化誤差。
陳景潤先生把這個技術推到了極致，證明了每個充分大的偶數都可以寫成一個素數與一個不超過兩個素因子的數之和。」
「但是，奇偶性問題始終是篩法邁不過去的坎。」
台下，黃建亞微微點了點頭。
他研究了一輩子解析數論，太清楚陳景潤那道坎有多難跨越了。
「奇偶性問題的本質是什麼？
用篩法估計一個集合中素數的個數時，篩法無法區分一個數有奇數個素因子還是有偶數個素因子。
換句話說，如果一個數恰好是兩個不同素數的乘積，篩法會把它和真正的素數混在一起。
這個混淆，在哥德巴赫猜想這種需要精確區分『1+1』的問題上，是致命的。」
「所以，如果只用篩法，這個問題是無解的。」
肖宿頓了頓，拿起粉筆，在黑板的另一邊畫了一個圓。
「而另一個工具，圓法，走的是完全不同的路徑。」
「圓法的核心思想是把離散的加法問題轉化為連續空間裡的積分。
設R(n)為將偶數n寫成兩個素數之和的表法個數，那麼根據圓法的基本恆等式，R(n)可以表示為∫_0^1 S(α)^2·e(-nα) dα，其中S(α)是指數和∑_{p≤n} e(pα)，e(x)是e^{2πi x}。」
他在黑板上寫下這個積分表達式。
「這個積分的巧妙之處在於，當α接近有理數a/q，也就是所謂的『主弧』區域時，S(α)的行為可以用素數定理來精確估計。
而當α遠離有理數，也就是『余弧』區域時，S(α)的貢獻很小。
如果我們能證明主弧上的積分主項足夠大，而余弧上的積分小到完全可以忽略，那麼哥德巴赫猜想就成立了。」
「維諾格拉多夫用這個方法證明了三素數定理，即每個充分大的奇數都可以寫成三個素數之和。
但他的方法在偶數的情形下就失效了，因為偶數的哥德巴赫問題涉及的是兩個素數的和，主項和餘項的競爭遠比三素數的情形更加激烈。
所以餘項估計的精度，必須控制到小o級別，而傳統的方法在這個精度下會直接崩潰。」
他在圓的兩端分別寫下了「篩法」和「圓法」兩個詞。
「篩法擅長細節，但缺乏整體視野。
圓法擅長整體，但細節上不夠精確。
這兩種方法，各自都很強大，但各自又都有致命的短板。」
「長期以來，數學家們一直在想，能不能把兩者結合起來？
用圓法的整體框架來控制大方向，用篩法的精細技巧來處理局部細節。」
他在「篩法」和「圓法」之間畫了一條弧線。
「但這條路，走不通。」
台下有人輕輕「啊」了一聲。
肖宿繼續說道：「因為篩法使用的是莫比烏斯卷積的語言，而圓法使用的是指數和積分的語言。
它們之間沒有自然的翻譯器。」
「那麼，有沒有可能，為這兩套語言造一個翻譯器？」
台下，德利涅瞬間坐直了身體。
舒爾茨的眉心輕輕一跳。
他們知道，重點來了。
肖宿拿起粉筆，在小黑板中央寫下了一段簡短的定義。
「在研究孿生素數猜想的過程中，我發現了一個有趣的現象。
那就是當我把顧辛流型中關於弗洛爾同調的不變量計算，以某種特定的方式展開時，展開項的結構，和圓法中某個積分核在鞍點附近的漸近展開，形式上一模一樣。」
他又在黑板上寫下了兩行式子。
左邊是弗洛爾同調的展開項：∑_{k} C_k·(log N)^{-k}。
右邊是圓法積分核在鞍點附近的漸近展開：∑_{k} D_k·(log N)^{-k}。
「這不是巧合。
這說明篩法和圓法之間，存在某種更深層的對應關係。」
「既然展開的形式一樣，那展開之前的結構，是不是也一樣？
如果把篩法的求和項，通過某種變換映射到圓法的工作空間裡，這個映射能不能是一個對偶變換？」
他在黑板上寫下一行字：對偶變換T。
「具體來說就是，如果我定義一個變換T，它把篩法中的莫比烏斯卷積轉化為複平面上的圍道積分，那麼C_k和D_k之間滿足D_k = T(C_k)。」
「這個變換T，就是我稱之為傅立葉-米庫辛變換的東西。
它把篩法在整數域上的運算，映射為圓法在複平面單位圓上的運算。
反過來，它的逆變換T^{-1}，把圓法的指數和積分，映射回了篩法的篩函數中。」
他的粉筆在黑板上飛快移動，寫下變換的定義。
「T的具體定義應該是：對於篩函數F(s)，其傅立葉-米庫辛變換Ḟ(z) = ∑_{n} F(n)·n^{-z}，這是一個在複平面上定義的狄利克雷級數。
這個級數在Re(z) ＞ 1時收斂，並且可以亞純延拓到整個複平面。
它的極點分布恰好對應素數分布的關鍵信息。」
台下，陶哲軒從筆記本上抬起頭來，眼睛灼灼的盯著台上的少年。
德利涅低聲對舒爾茨說了一句什麼，舒爾茨點了點頭，目光始終沒有離開黑板。
「有了這個變換，篩法和圓法就不再是兩套互不兼容的語言了。
在變換T的作用下，篩法的誤差項被重新分配到了圓法的積分路徑上。
而圓法的積分路徑，是可以自由選擇的。」
「這就是分層篩法和鞍點圓法的核心。」
他在黑板上畫了一條蜿蜒的曲線。
「分層篩法，把素數按照對數尺度分成多層。
每一層只處理特定尺度的信息。
具體來說，對於不超過N的素數，我按(log n)的大小區間把它分成J層，第j層的素數p滿足2^{j} ≤ log p ＜ 2^{j+1}。
在每一層內部，篩函數的誤差可以獨立控制，不同層之間的誤差不會交叉污染。」
「然後，每一層的篩分結果通過傅立葉-米庫辛變換映射到複平面上，變成一個圍道積分。
這個圍道積分的路徑不是固定的，我可以選擇它。
如果我把積分路徑選在最速下降曲線上，也就是鞍點附近梯度最陡的方向，那麼積分的主項就由鞍點處的貢獻決定，餘項隨著參數N的增大會以指數速度衰減。」
他在黑板上寫下鞍點積分的估計式。
「鞍點由方程d/dz(log Ḟ(z) - z·log N) = 0確定。
在最速下降路徑上，積分的主項貢獻是(2π/|Ḟ″(z₀)|)^{1/2}·Ḟ(z₀)·N^{z₀}·(1 + O(1/log N))，而餘項被控制在O(N^{Re(z₀)}·exp(-c·(log N)^{1/2}))的量級，這個量級遠遠小於主項。」
「現在，篩法的精度和圓法的靈活性，通過傅立葉-米庫辛變換連接在了一起。
篩法提供分層精度，圓法提供全局估計，對偶變換彌合了兩者的語言隔閡。
最終，哥德巴赫問題的表法個數R(n)可以表示為一個主項加上一個可控的餘項。」
他在黑板上寫下最終的表達式。
R(n) = (n)·n/(log n)^2 + O(n/(log n)^3)，其中(n)是奇異級數，定義為∏_{p|n}(1 - 1/(p-1)^2)·∏_{p∤n}(1 + 1/(p-1)^2)，對所有素數p取乘積。
這個奇異級數可以具體計算，並且對偶數n，它嚴格大於一個絕對正常數。
寫完，他手裡的粉筆也快要用完了。
「把表法個數R(n)的下界估計出來之後，問題最後歸結為：證明一個幾何不變量不等於零。
這個幾何不變量，來源於弗洛爾同調群里的某個拓撲指標。
確切地說，我在顧辛流型上構造了一個與素數分布對應的拉格朗日子流形，計算它的弗洛爾同調群，發現它的秩恰好等於奇異級數(n)在一個特定極限下的取值。」
「而弗洛爾同調群的這個拓撲指標，我已經在去年關於孿生素數猜想的論文裡證明過了，它不可能為零。」
他轉過身，用僅存的一點粉筆在黑板上寫下了最後一行。
「綜上，對任意大於2的偶數n，R(n) ≥ C·n/(log n)^2 ＞ 0，其中C是可具體計算的正常數。
哥德巴赫猜想成立。」
筆落，最後一點粉筆也用盡了，他拍了拍手，轉過身來，直面台下的上萬人。
聚光燈落在他清瘦的身影上，把他的影子投在了寫滿公式的黑板上。
「至此，證明完成。」