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