第一百六十五章 复杂的数学归纳法
但顾律的计划可不是我们高中学的最浅显的数学归纳法。
上一次顾律的逆天表示还是历历在目，这一次，顾律再次将之前的场景重演。
因为在他处置数学行业的这十年中，像顾律这类操纵数学归纳法停止定理互推，进而证明首要定理的证明体例，讲实话，他还向来没有见过。
众所周知，数学归纳法是我们在高中就打仗的一种证明体例，能够说是最根本的证明法之一。
这六个帮助定理的证明需求用数学归纳法停止互推。
因为顾律的表示，越来越不在高师兄的认知范围内了。
“嗯？”高师兄俄然一愣，接着仿佛是想到了甚么，仓猝开口说道，“顾师弟，你千万不要放弃啊！我们目前的进度远比预期的要快很多，只是现在略微碰到了一点小困难罢了。一旦放弃的话，前面的尽力可全都前功尽弃了啊！”
两三瓶肾宝便能够撑下来了。
高师兄重重点头，面色涨红，“说实话，我的没想到我们这一次会这么顺利。还要多亏顾师弟你的阿谁新计划啊！”
顾律在电脑上操纵一番后，对高师兄说道，“高师兄，新计划我通过邮件发给你了，你查抄一下，有没有题目。”
其核心只要五个字：数学归纳法！
新事物，总需求有人去尝试。
顾律在制定新计划的时候，不但仅是要让证明计划具有可行性，并且，还需求新计划的证明步调要比原计划简朴。
顾律嘴角含笑，笑望着一脸焦心的高师兄，“师兄，我可没说过，要放弃极小模型纲领第二题目的研讨。”
闻所未闻，见所未见。
“师兄，我没事。”顾律不在乎的摆摆手。
“这，真的可行吗？”高师兄还是半信半疑的态度。
革新了高师兄这位数学家对于数学的认知。
“行吧。”高师兄固然担忧顾律，但远隔千山万里，也没法做些甚么。
熬夜彻夜罢了，顾律又不是没有过。
“很奇特是吧。”顾律为高师兄弥补了后半句，不在乎的笑笑，“其实在我制定这个计划的时候，也是这类感受。”
“顾师弟，你是说，你已经把新的证明计划做出来了？”好久以后，高师兄拧着眉头，向顾律确认道。
因为顾律闪现在他面前的，是一个全新的，数学界从未呈现过的一个东西。
顾律安静的目光望着高师兄，陡峭的语气，“高师兄，不消了。”
“顾……顾师弟，你没事吧？”高师兄见顾律顶着两个大大的黑眼圈，不由开口问道。
“之前阿谁证明计划我们弄了一周。但此次制定新计划能够需求的时候恐怕还会再长些。半个月吧，我们争夺用半个月的时候，再制定一套证明计划。”
不管是难度，亦或是庞大程度，后者都要比前者高一些。
高师兄语气焦心。
接着，高师兄暴露一副古怪的神采，“顾师弟，你这证明计划……”
小于即是n维的定理C，小于即是n维的定理D，能够推出小于即是n维的定理E。
一样是一小我，用一天时候，完成估计两小我用半个月时候搞定的任务。
数学归纳法，没有人会陌生。
而顾律和高师兄此次就充当阿谁先行者的角色，或者说，那第一个吃螃蟹的人。
对内行人士来讲，必定光看着都头大，但对于数学家来讲，是相称轻易了解的。
顾律摆手笑笑，“真没事！”
小于即是n维的定理A，小于即是n维的定理B，能够推出小于即是n维的定理C。
而是……史诗级加强难度的数学归纳法！
顾律哈哈一笑，“作为第一个吃螃蟹的人，我们明显，是胜利的。”
为了证明高维代数簇flip操纵在有限次后停止这个主定理，需求证明六个看似毫无联络的帮助定理。
比方小于即是n-1维的定理D，小于即是n维的定理B以及小于即是n维的定理C可推出小于即是n维的定理D。
高师兄感觉本身的认知在一点点崩塌。
共需求六个数学归纳的互推表达。
第一百六十五章
顾律提出的新计划，说简朴也简朴，说庞大也庞大。
高师兄语气冲动的开口，“顾师弟，我们，我们……胜利了？”
高师兄直接楞在原地，嘴巴保持伸开的姿式，神采几十秒没有动过。
顾律点头，“没错，已经做出来了。”
以是高师兄仓猝劝止顾律，但愿他能窜改设法。
实在，高师兄还不晓得的一点是。
只要如许，顾律才气包管，在六个月的任务时限结束前，处理极小模型纲领第二题目。
…………
当高师兄再次在视频中见到顾律时，不由吓了一跳。
高师兄翻开邮箱中顾律发来的文件，大略的旅游一遍。
他觉得顾律是接受不了明天的打击，决定放弃极小模型纲领第二题目的研讨！
上一次，顾律只是将本来需求通过庞大计算才气得出成果的一套公式，通过引入笼统-K簇这个观点，将步调停止简化罢了。
沉默，悠长的沉默……
“真没事？”高师兄还是有些担忧。
高师兄昂首，视野和顾律对视上，“既然如此，我们遵循打算，来参议一下新的证明打算吧。”
顾律笑着点点头，“还没有完整胜利，刚只是完成了前两步罢了。不过说了然一点，那就是我们的证明思路是精确的！以后只需求遵循步调走就行了。”
高师兄握紧双拳，干劲实足。
“但是……”
并且这一次任务的难度，比前次还要高很多。
但是，这特么才一天时候啊！
我们将这六个定理别离定名为：A、B、C、D、E、F！
顾律笑着开口，“可行不成行，研讨一下不就晓得了吗。”
半个月后。
“但究竟，它就是对的！”顾律嘴角上扬，语气自傲。
那丧失可就太大了啊！
“证明高维代数簇flip操纵中停止性的第二套计划，我已经做出来了。”顾律的语气很平平，像是在论述一件再也平常不过的事情。
而此次，顾律是从无到有，在极短时候内，重新制定一套全新的证明计划。
“嗯，那顾师弟……你的意义是？”高师兄有点懵逼。
以是高师兄才暴露如此奇特的神采。
次日。