第四百六十章 程氏复环猜想（第2/2页）

程诺在另一半空白的小黑板上唰唰几个公式。

“这个公式诸位恐怕再也熟悉不过，当初怀尔斯先生在证明费马大定理时，其中便用到这串公式。它的学术名叫做‘弗雷命题’。”

“利用弗雷命题，把其当作桥梁，便可以将谷山志村猜想和程氏复环猜想完美结合起来。加入谷山志村猜想不成立，程氏复环猜想中复数域椭圆的有理点就不可能等于有限域方程解个数加一。反之亦然！”

台下一个头发有些秃顶的数学家恍然道，“也就是说，谷山志村猜想成立则程氏复环猜想成立，程氏复环猜想成立则谷山志村猜想成立？”

程诺一指那个数学家，“没错，就是这样！”

哗~！

台下，第一次哗然出声。

有一些年纪不大的数学家，看向的程诺的目光已经带有满满的钦佩。

布莱克教授头也不抬，拿出一张草稿纸按照程诺讲述的方法迅速计算着，最后颓然发现，事实却是如程诺所出的那样。

谷山志村猜想和程氏复环猜想两者一体，一个成立，另一个一定会成立。

因此，程诺的工作，并非需要两个全部证明，只需要证明其中的一个。

……