第509頁
2023-09-22 03:13:33 作者： 鴻塵逍遙
說著，程諾大步邁到台上，對旁邊還在愣神的青年邁倫說道，「有粉筆嗎？」
「哦，有，有。」邁倫短路了幾秒，迷迷糊糊的從一旁遞給程諾一盒粉筆。
為了方便，酒店方面早就在禮堂講台牆面上裝上了四面上下拉動的黑板。
程諾不管拉塞爾和台下二十多位數學家呆滯的眼神，自顧自的唰唰在黑板上寫道：
【設X是Fq上的d維光滑射影簇，則Zata函數Zx（T）是一個有理函數，即Zx（t）∈Q（T），更精確的，Zx（T）可寫成如下有限交錯積的形式：
Zx（T）=∏Pi（T）^（-1）^（i+1）=P1（T）P3（T）……P2d-1（T）/p0（T）P2（T）……P2d（T），其中P0（T）=1-T和P2d（T）=1-q^dT.】
【對於1≤i≤2d-1，Pi（T）∈1+TZ[T]是整係數多項式，並且Pi（T）在C[T]中可分解為∏（1-aijT），aij∈Z.】
……
【Zata函數Zx（T）滿足如下函數方程：Zx（1/q^dT）=€q^dx/2T^xZx（T），其中€=±1和x是X的歐拉示性數，等價的，如果令Zx（T）：=Zx（T）T^x/2和ζ（s）=Zx（q^（-s）），則……】
【……由上可得，對於一般射影非奇異代數簇上的Zata函數，擁有如下三個性質：
①：Zx（T）是有理函數
②：滿足函數方程
③：Zx（T）函數零點擁有某種特定的形式.
證畢！】
唰唰唰唰，用了十多分鐘的時間，程諾將四個黑板全部寫滿。
同時，在結尾，程諾寫下大大的「證畢」二字。
一片寂靜。
整個禮堂陷入一種詭異的安靜氣氛中，落針可聞。
台下二十多位數學家，或複雜，或震撼的眼神，緊緊的盯著程諾。
拉塞爾教授狠狠的咽了一口唾沫，臉上是不知該笑還是該哭的表情。他聲音沙啞的問道，「你是怎麼想到這些的？」
程諾攤手，「自然而然的就想到的啊！這難道還有什麼難度係數？」
拉塞爾教授：「……」
「怎麼，現在相信我說的話是正確的了吧？」程諾問道。
拉塞爾教授：「時間太短，還需要一段時間的驗證。」
程諾揮揮手，「那你們繼續驗證，我先撤了。」
「你不等驗證結果出來？」
「不了。沒必要。」
「唉，等等。」
「還有事？」
「能不能留下你的名字。」
「我叫程諾。」
說完這四個字後，程諾步伐匆匆的從正門離開小禮堂。
那二十多位數學家望著程諾的背影，感覺三觀在這短短的十幾分鐘內盡數被摧毀。
現在連一個酒店的服務生，都這麼恐怖的嗎？隨隨便便就提出一個定理。簡直把他們這一群自詡數學為職業的數學家按在地面上瘋狂摩擦啊！
不過，現在的緊要問題，還是驗證程諾提出的定理是否正確。
從黑板上那嚴謹的證明過程來看，他們感覺，他們很有可能會成為歷史的見證者……
……
當譚微微推開程諾房門時，便見到程諾在往行李箱裡收拾著衣服。
譚微微納悶道，「你這是幹什麼呢？」
程諾不抬頭的回答，「我要跑路了。」
「跑路？」譚微微更加疑惑了，「國際數學家大會還有好幾天才結束呢，你回去幹什麼？」
「唉！」程諾拉上行李箱的拉鏈，一屁股坐在上面，聳肩到，「一不小心搞了個大的，身份應該暴露了。」
譚微微：「搞了個大的？難道是你在別的數學家講座上鬧事了？」
程諾：「差不多是這樣吧，你還記得在飛機上遇到的那個拉塞爾教授吧，我好心去給他捧場了，可是他不地道啊，莫名其妙就把我叫起來問問題。」
譚微微：「然後你就問了？」
程諾：「沒有。他不讓我好過，我也不能讓他舒服啊，所以我就當著所有人的面，懟了他幾句，然後順便證明了一個定理？」
譚微微：「？？？」
順便，證明了一個定理？！！
「對了，你也小心點，千萬別出風頭，我先撤了。」程諾匆匆說完，便提著行李箱消失在譚微微視線中。
酒店樓下。
程諾望著那棟大樓，心中暗暗發誓。
「下一次，我一定堂堂正正的參加這場數學界盛宴！」
第四百零七章 程諾定理
費城，金凱大酒店。
一間不起眼的小禮堂內，二十多位數學家已經保持埋頭奮筆疾書的樣子足足有一個多小時。
除了筆尖紙上划過的沙沙聲，在沒有任何多餘的聲音。
「第一部分正確！」一道壓抑著激動的聲音率先打破寂靜。
「第二部分正確！」
「第三部分正確！」
……
像是在平靜的湖水裡拋入一顆石子，第一道聲音響起後，數道聲音也不分先後的傳來，讓原本寂靜的禮堂瞬間變得喧鬧起來。
直至，最後一道聲音響起。
「程諾定理，推導正確！」拉塞爾感覺是用盡全身的力氣，說出這句話。
他望著台下那二十多位神色和他一樣震撼的數學家，心中五味雜陳。
他甚至有些懷疑，剛才硬是留下程諾的決定，是正確還是錯誤。
因為就在剛剛，在他和其餘二十多位數學家歷經一個多小時齊心合力的驗證下，最終確定，程諾所提出定理的推導過程無誤。