第四百六十章 程氏復環猜想（第2/2頁）

程諾在另一半空白的小黑板上唰唰幾個公式。

“這個公式諸位恐怕再也熟悉不過，當初懷爾斯先生在證明費馬大定理時，其中便用到這串公式。它的學術名叫做‘弗雷命題’。”

“利用弗雷命題，把其當作橋梁，便可以將谷山志村猜想和程氏復環猜想完美結合起來。加入谷山志村猜想不成立，程氏復環猜想中復數域橢圓的有理點就不可能等於有限域方程解個數加一。反之亦然！”

台下一個頭發有些禿頂的數學家恍然道，“也就是說，谷山志村猜想成立則程氏復環猜想成立，程氏復環猜想成立則谷山志村猜想成立？”

程諾一指那個數學家，“沒錯，就是這樣！”

嘩~！

台下，第一次嘩然出聲。

有一些年紀不大的數學家，看向的程諾的目光已經帶有滿滿的欽佩。

布萊克教授頭也不擡，拿出一張草稿紙按照程諾講述的方法迅速計算著，最後頹然發現，事實卻是如程諾所出的那樣。

谷山志村猜想和程氏復環猜想兩者一體，一個成立，另一個一定會成立。

因此，程諾的工作，並非需要兩個全部證明，只需要證明其中的一個。

……