第一百六十五章 复杂的数学归纳法

第一百六十五章 复杂的数学归纳法 (第2/2页)

只有这样，顾律才能保证，在六个月的任务时限结束前，解决极小模型纲领第二问题。
　　
　　顾律在电脑上操作一番后，对高师兄说道，“高师兄，新方案我通过邮件发给你了，你检查一下，有没有问题。”
　　
　　高师兄打开邮箱中顾律发来的文件，粗略的游览一遍。
　　
　　接着，高师兄露出一副古怪的表情，“顾师弟，你这证明方案……”
　　
　　“很奇怪是吧。”顾律为高师兄补充了后半句，不在意的笑笑，“其实在我制定这个方案的时候，也是这种感觉。”
　　
　　“但事实，它就是对的！”顾律嘴角上扬，语气自信。
　　
　　顾律提出的新方案，说简单也简单，说复杂也复杂。
　　
　　其核心只有五个字：数学归纳法！
　　
　　数学归纳法，没有人会陌生。
　　
　　众所周知，数学归纳法是我们在高中就接触的一种证明方法，可以说是最基础的证明法之一。
　　
　　但顾律的方案可不是我们高中学的最普通的数学归纳法。
　　
　　而是……史诗级加强难度的数学归纳法！
　　
　　为了证明高维代数簇flip操作在有限次后终止这个主定理，需要证明六个看似毫无联系的辅助定理。
　　
　　我们将这六个定理分别命名为：A、B、C、D、E、F！
　　
　　这六个辅助定理的证明需要用数学归纳法进行互推。
　　
　　例如小于等于n-1维的定理D，小于等于n维的定理B以及小于等于n维的定理C可推出小于等于n维的定理D。
　　
　　小于等于n维的定理A，小于等于n维的定理B，可以推出小于等于n维的定理C。
　　
　　小于等于n维的定理C，小于等于n维的定理D，可以推出小于等于n维的定理E。
　　
　　共需要六个数学归纳的互推表达。
　　
　　对外行人士来说，肯定光看着都头大，但对于数学家来说，是相当容易理解的。
　　
　　所以高师兄才露出如此怪异的表情。
　　
　　因为在他从事数学行业的这十年中，像顾律这种利用数学归纳法进行定理互推，进而证明主要定理的证明方式，讲实话，他还从来没有见过。
　　
　　闻所未闻，见所未见。
　　
　　刷新了高师兄这位数学家对于数学的认知。
　　
　　“这，真的可行吗？”高师兄还是半信半疑的态度。
　　
　　因为顾律呈现在他面前的，是一个全新的，数学界从未出现过的一个东西。
　　
　　顾律笑着开口，“可行不可行，研究一下不就知道了吗。”
　　
　　新事物，总需要有人去尝试。
　　
　　而顾律和高师兄这次就充当那个先行者的角色，或者说，那第一个吃螃蟹的人。
　　
　　…………
　　
　　半个月后。
　　
　　高师兄语气激动的开口，“顾师弟，我们，我们……成功了？”
　　
　　顾律笑着点点头，“还没有完全成功，刚只是完成了前两步而已。不过说明了一点，那就是我们的证明思路是正确的！之后只需要按照步骤走就行了。”
　　
　　高师兄重重点头，面色涨红，“说实话，我的没想到我们这一次会这么顺利。还要多亏顾师弟你的那个新方案啊！”
　　
　　顾律哈哈一笑，“作为第一个吃螃蟹的人，我们显然，是成功的。”
　　
　　。m.