首页 > 我只想当一个安静的学霸 > 370章 暴走
欧叶在第4页不做逗留,直接切到第5页:“这个,卢卡斯偶数,等价。”
欧叶俄然发作,三位辩论官吓了一跳,汉克斯传授的笔不慎掉落空中。
只要z=2的前提满足,代入前面的式子,才气证明方程a^x+b^y=c^z独一整数解(x,y,z)=(2,2,2),即耶斯曼诺维奇猜想的完整证明建立。
制作PPT的要点在于凸起每一页的重点,PPT汇报者在有限时候内须用最精炼的说话表达最激烈的观点。
PPT页码显现有101页,欧叶均匀5秒钟过一页。
欧叶的PPT表达精炼到极致,101页,她5分钟就陈述结束,说话表达气势跟平常近似,只说重点不磨叽。
沈奇惊呆了,瑞安原则甚么鬼?
“是吗?你肯定?”弗拉蒙特传授持续诘问。
弗拉蒙特传授这个题目是个圈套啊……沈奇已将欧叶的打印版论文过了一遍,反向求出un(α,β)的本原素除子是个逻辑圈套,因为un(α,β)不具有本原素除子。
如果(x,y,z)是方程(11)的正整数解,按照前提定义可知1+√-2k(k+1)与1-√-2k(k+1)构成卢卡斯偶数。
逻辑上挺绕的,欧叶的答复“给定正整数k,无z≥3的正整数解”属于一锤定音的小结性子,她心中明白这个逻辑,才气用一句话总结由这个逻辑推导出的核心结论。
林登施特劳斯扭头笑了笑,他的眼神奉告沈奇:我们很宽大,因人而异。
“OK,感谢你的陈述,欧,接下来进入发问环节。”弗拉蒙特传授率先发问,他说到:“你刚才提到了卢卡斯序列,并在论文中定义为un=un(α,β)=α^n-β^n/α-β,此中n为正整数,这个定义没题目,这是前提。那么我要问的是,基于这个定义前提,如何反向求出un(α,β)的本原素除子?”
欧叶手持翻页笔,切换她博士论文的PPT
由方程(11)可得一个新方程,即欧叶论文中的方程(12),能够考证uz(1+√-2k(k+1),1-√-2k(k+1))没有本原素因子。
第二个题目一问一答不过一分钟,但旁听的沈奇晓得这个题目绝没有看上去那么简朴。
欧叶:“好的。”
三位辩论官并未提出任何贰言,就悄悄的看着欧叶缓慢的刷PPT。
“上面由努曼伯格传授、汉克斯传授发问。”弗拉蒙特传授不再发问,他低头在辩论记录纸上写写画画。
再由BHV定理可得,不存在z≥3的正整数解(x,y,z),回到前提定义,若使得un(α,β)不具有本原素除子,则n须取5≤n≤30且n≠6。
弗拉蒙特传授为人峻厉,沈奇为欧叶捏了把汗。
林登施特劳斯传授惊呆了,z必须为2,z只能为2不能取1!欧叶的结论是我确认过的,不会错的!
此问一出,欧叶惊呆了:“……”
这时由汉克斯传授发言:“我来讲几句吧,欧,你证了然不存z≥3,即z要么为1要么为2,你的终究结论是z=2。而我基于瑞安原则计算出z能够取1或2,以是我以为你对耶斯曼诺维奇猜想的证明不建立。”
Power-Point,这是真正的PPT……沈奇从未见过如此简练的PPT汇报,而PPT的精华恰是如此:激烈的观点。
汉克斯传授基于瑞安原则计算出z=2或1,这个结论如果建立,将颠覆欧叶的博士论文,耶斯曼诺维奇猜想还是未能被完整证明,欧叶现在做的事情,和耶斯曼诺维奇本人几十年前的证明事情没有本质辨别。