已经被扫描成了标准字号,查阅起来倒是并不困难。
????????王通负责的这部分归属于count变量环节,一直以来这都是一个近似项。
????????不过徐云的这份手稿里,却推导出了另一种正值方式。
????????于是很快。
????????王通便拿起笔算了起来。
????????“考察费马数2^(2^n)+1的素因子p,设2模p的阶为d则由于2^(2^n)≡-1(mod??p)”
????????“知d不整除2^n,对①式两边平方2^(2^(n+1))≡1(mod??p),于是d|2^(n+1),于是d=2^(n+1)”
????????“根据已有定理,调和级数是发散的,故会导致矛盾,所以.”
????????“F0F1Fk1=Fk2??对??k≤t??均成立,那么当??k=t+1??时.”
????????读过五道口数学系的同学应该都知道。
????????国内的数学机构虽然天天被人诟病,但他们并不都是吃干饭的。
????????比如丘成桐数学科学中心,经常会负担起验证国内外各种推导结果的任务。
????????例如世人皆知怀尔斯当年的第一版费马证明过程存在问题,却不知道第一个发现这个问题并且发出指正函的其实是南大数学系。
????????只是一般情况下,这些结果大都会被找出bug就是了系。
????????因此对于王通等人而言。
????????复验虽然比较累人,但却并非难如登天。
????????沙沙沙——
????????指尖与演算纸摩擦的声音不断在屋内响起,一项项推导过程逐渐被验证完毕。
????????三个小时后。
????????王通抹了把额头上的汗水,长呼出一口气:
????????“好家伙,总算搞定了。”
????????他并没有压低自己的声音,因为核验小组的每个人都戴着隔音耳罩,双十一特惠价只需咳咳
????????随后他站起身,将演算结果交到了等候在此的郭教
本章未完,请点击下一页继续阅读!