··········

数学家们把abc的质因数乘积记作rad(abc)。今天用严谨的数学语言来表述，代入定理1、定理2：我们可以确信得到，对于任何e>0，只存在有限个互质正整数的三元组(a， b， c)，bsp;= a + b，使得：bsp;> rad(abc)1+e。

由此，abc猜想，得到证明。

完成最后的证明二字，盯着手下刚刚崭新写下的手稿，似乎有数字和符号在吴桐的眼眸里凝成了愈发的深邃光，她手下并没有停止动作，而是具现出了一张草稿纸，继续往下书写着，上空倒影切换成吴桐新书写的内容，是从数论到代数几何的跨越。

从属于数的间隙中，吴桐窥见了一直都有在学习的代数中，窥见了一丝阿贝尔簇的算术性质与解析性质之间的联系。

由此延伸到，世界七大难题，全称贝赫和斯维纳通-戴尔猜想的bsd猜想。

给定一个整体域上的阿贝尔簇，猜想它的莫代尔群的秩等于它的l函数在1处的零点阶数，且它的l函数在1处的泰勒展开的首项系数与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。

前半部分通常称为弱bsd猜想，弱bsd猜想已经被解开。sd猜想的陈述依赖于莫代尔定理：整体域上的阿贝尔簇的有理点形成一个有限生成交换群。精确的部分依赖于沙群的有限性猜想。

对于解析秩为0的情形，coates，wiles，kolyvagin，rubin，skinner，urban等人证明了弱bsd猜想，并且精确的bsd猜想在2以外均成立。

对于解析秩为1的情形，gross，zagier等人证明了弱bsd猜想，并且精确的bsd猜想在2和导子以外均成立

现在唯一剩下的难题就