第一百六十五章

    次日。

    当高师兄再次在视频中见到顾律时，不由吓了一跳。

    “顾……顾师弟，你没事吧？”高师兄见顾律过，要放弃极小模型纲领第二问题的研究。”

    “嗯，那顾师弟……你的意思是？”高师兄有点懵逼。

    “证明高维代数簇flip操作中终止性的第二套方案，我已经做出来了。”顾律的语气很平淡，像是在叙述一件再也平常不过的事情。

    沉默，长久的沉默……

    高师兄直接楞在原地，嘴巴保持张开的姿势，表情几十秒没有动过。

    “顾师弟，你是说，你已经把新的证明方案做出来了？”许久之后，高师兄拧着眉头，向顾律确认道。

    顾律点头，“没错，已经做出来了。”

    “可是……”

    可是，这特么才一天时间啊！

    高师兄觉得自己的认知在一点点崩塌。

    因为顾律的表现，越来越不在高师兄的认知范围内了。

    上一次顾律的逆天表现依旧历历在目，这一次，顾律再次将之前的场景重演。

    同样是一个人，用一天时间，完成预计两个人用半个月时间搞定的任务。

    而且这一次任务的难度，比上次还要高许多。

    上一次，顾律只是将原本需要通过复杂计算才能得出结果的一套公式，通过引入抽象-k簇这个概念，将步骤进行简化而已。

    而这次，顾律是从无到有，在极短时间内，重新制定一套全新的证明方案。

    无论是难度，亦或是复杂程度，后者都要比前者高一些。

    其实，高师兄还不知道的一点是。

    顾律在制定新方案的时候，不仅仅是要让证明方案具有可行性，并且，还需要新方案的证明步骤要比原方案简单。

    只有这样，顾律才能保证，在六个月的任务时限结束前，解决极小模型纲领第二问题。

    顾律在电脑上操作一番后，对高师兄说道，“高师兄，新方案我通过邮件发给你了，你检查一下，有没有问题。”

    高师兄打开邮箱中顾律发来的文件，粗略的游览一遍。

    接着，高师兄露出一副古怪的表情，“顾师弟，你这证明方案……”

    “很奇怪是吧。”顾律为高师兄补充了后半句，不在意的笑笑，“其实在我制定这个方案的时候，也是这种感觉。”

    “但事实，它就是对的！”顾律嘴角上扬，语气自信。

    顾律提出的新方案，说简单也简单，说复杂也复杂。

    其核心只有五个字：数学归纳法！

    数学归纳法，没有人会陌生。

    众所周知，数学归纳法是我们在高中就接触的一种证明方法，可以说是最基础的证明法之一。

    但顾律的方案可不是我们高中学的最普通的数学归纳法。

    而是……史诗级加强难度的数学归纳法！

    为了证明高维代数簇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。

    共需要六个数学归纳的互推表达。

  

『加入书签，方便阅读』