“我确定。”欧叶无坚定。
“下面由努曼伯格教授、汉克斯教授提问。”弗拉蒙特教授不再发问，他低头在答辩记录纸写写画画。
努曼伯格教授长着一张圆脸，秃顶，笑眯眯像是个白人版的弥勒佛，他问到：“欧，关于引理1，我并不是太明白你取5≤n≤30且n≠6的依据是什么？”
“嗯。”欧叶早有准备，她切换ppt到39页，这页引人注目的重点是方程11：2k+1x±2kk+1y√-2kk+1=±1±√-2kk+1z
“给定正整数k，无z≥3的正整数解。”欧叶说到。
“ok，我暂时没有问题了。”努曼伯格教授低头记录，应该是在给欧叶打分。
第二个问题一问一答不过一分钟，但旁听的沈知道这个问题绝没有看去那么简单。
如果x，y，z是方程11的正整数解，根据前提定义可知1+√-2kk+1与1-√-2kk+1形成卢卡斯偶数。
由方程11可得一个新方程，即欧叶论的方程12，可以验证uz1+√-2kk+1，1-√-2kk+1没有本原素因子。
再由bhv定理可得，不存在z≥3的正整数解x，y，z，回到前提定义，若使得unα，β不具有本原素除子，则n须取5≤n≤30且n≠6。
逻辑挺绕的，欧叶的回答“给定正整数k，无z≥3的正整数解”属于一锤定音的小结性质，她心明白这个逻辑，才能用一句话总结由这个逻辑推导出的核心结论。
让欧叶长篇大论的讲出全套推导逻辑，那她得讲一整天。
内容未完，下一页继续阅读