欧叶并不是第一个想到运用群论+椭圆曲线的方法去证明bsd猜想的人。
早就有人这么做了，只不过没有成功。
计算机屏幕上显示：
l（e，1）≠0→r（e）=0，sha（e）＜∞……r（e）=1，sha（e）＜∞→ords=1l（e，1）=1……
sha（e）表示椭圆曲线e的shafarevich-tate群的阶数，这个群十分神秘，包括此群的提出者沙法列维奇、约翰-泰特在内，数学家们连这个群是不是有限群都没整明白。
当然了，如果你先承认bsd猜想，那么shafarevich-tate群则必然是有限群。
赵天、小云、曾寒三人非常激动，计算机验算结果很有信服力的显示：基于欧叶算法，shafarevich-tate群是有限群！
这无疑是证明bsd猜想的一个有力证据，是一个重要的前置步骤！
“这是我们的一小步，这是人类的一大步！”
“叶子姐牛批！”
“啊哈哈哈，真的牛批！”
内容未完，下一页继续阅读