第142节(2/4)

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

本章尚未读完,请击一页继续阅读---->>>

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

这份力量，虽然不足以助力悟石碑再一步，但是用来支持吴桐的启赋状态，却是还能再维持一定的时间。

吴桐未从启赋状态脱离，abc猜想的证明，再次为悟石碑即将见底的继续力量充了不少力量积累。

一行行算式，在吴桐笔端凝聚，又再次发作，投映在吴桐周围的动行式，逐渐，细溪汇成河，河奔腾到海。愉悦的突破声，在吴桐耳边奏响，成为胜利的战鼓声。

q（a，b，c）lt;1，而qgt;1之况实属少见，此时这些数的因数中存在着小素数的次幂。

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

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

意识直达推衍空间，全新沉浸研究，是一在度研究学习状态，让她心无旁骛基础上，更多几分燃推衍助力的启赋状态。

c猜想要证明的，就是符合第二形的abc组合，只有有限个。

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

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

接着把abc的质因数都提取来，比如5、16、21的质因数是5、2、3、7，这些质因数相乘的结果为210，这个数比原来的三个数大得多。

对于一般满足a、b、c为互素正整数，a＋b=c的三元组（a，b，c），有clt;rad（abc），此时，

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

（4，127，131）=log（131）/log（rad（4127131））=log（131）/log（2127131）=0.46820...

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

现在唯一剩的难题就是2和导。

所谓互质，即它们的最大公约数是1。因此8＋9=17、5＋16=21是符合条件的一组数字，但是6＋9=15不是。

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

q（3，125，128）=log（128）/log（rad（3125128））=log（128）/log（30）=1.426565...

如果a和b都是小于100的数，在此能找到3044个符合条件的abc组合，其中只有7组满足第二形。而a

又比如5、27、32，它们的质因数是5、3、2，相乘结果为30，就比32小。但第二形极为罕见。

吴桐在群论上玩得娴熟，在数论上更是就几乎无人可及。代数特别是代数簇是她第一次踏足研究重大课题的领

三个互质正整数a、b、c，且c=a＋b。