第一百六十五章 复杂的数学归纳法[第1页/共2页]
并且这一次任务的难度,比前次还要高很多。
众所周知,数学归纳法是我们在高中就打仗的一种证明体例,能够说是最根本的证明法之一。
革新了高师兄这位数学家对于数学的认知。
而顾律和高师兄此次就充当阿谁先行者的角色,或者说,那第一个吃螃蟹的人。
一样是一小我,用一天时候,完成估计两小我用半个月时候搞定的任务。
“但是……”
共需求六个数学归纳的互推表达。
顾律摆手笑笑,“真没事!”
他觉得顾律是接受不了明天的打击,决定放弃极小模型纲领第二题目的研讨!
顾律哈哈一笑,“作为第一个吃螃蟹的人,我们明显,是胜利的。”
因为在他处置数学行业的这十年中,像顾律这类操纵数学归纳法停止定理互推,进而证明首要定理的证明体例,讲实话,他还向来没有见过。
高师兄重重点头,面色涨红,“说实话,我的没想到我们这一次会这么顺利。还要多亏顾师弟你的阿谁新计划啊!”
上一次,顾律只是将本来需求通过庞大计算才气得出成果的一套公式,通过引入笼统-K簇这个观点,将步调停止简化罢了。
不管是难度,亦或是庞大程度,后者都要比前者高一些。
以是高师兄仓猝劝止顾律,但愿他能窜改设法。
对内行人士来讲,必定光看着都头大,但对于数学家来讲,是相称轻易了解的。
接着,高师兄暴露一副古怪的神采,“顾师弟,你这证明计划……”
新事物,总需求有人去尝试。
熬夜彻夜罢了,顾律又不是没有过。
实在,高师兄还不晓得的一点是。
因为顾律的表示,越来越不在高师兄的认知范围内了。
但顾律的计划可不是我们高中学的最浅显的数学归纳法。
顾律提出的新计划,说简朴也简朴,说庞大也庞大。
而此次,顾律是从无到有,在极短时候内,重新制定一套全新的证明计划。
小于即是n维的定理A,小于即是n维的定理B,能够推出小于即是n维的定理C。
我们将这六个定理别离定名为:A、B、C、D、E、F!
顾律笑着开口,“可行不成行,研讨一下不就晓得了吗。”
“嗯?”高师兄俄然一愣,接着仿佛是想到了甚么,仓猝开口说道,“顾师弟,你千万不要放弃啊!我们目前的进度远比预期的要快很多,只是现在略微碰到了一点小困难罢了。一旦放弃的话,前面的尽力可全都前功尽弃了啊!”
“顾师弟,你是说,你已经把新的证明计划做出来了?”好久以后,高师兄拧着眉头,向顾律确认道。
数学归纳法,没有人会陌生。
顾律安静的目光望着高师兄,陡峭的语气,“高师兄,不消了。”
为了证明高维代数簇flip操纵在有限次后停止这个主定理,需求证明六个看似毫无联络的帮助定理。
“真没事?”高师兄还是有些担忧。
高师兄语气焦心。
小于即是n维的定理C,小于即是n维的定理D,能够推出小于即是n维的定理E。
而是……史诗级加强难度的数学归纳法!
高师兄感觉本身的认知在一点点崩塌。
顾律在电脑上操纵一番后,对高师兄说道,“高师兄,新计划我通过邮件发给你了,你查抄一下,有没有题目。”
…………
这六个帮助定理的证明需求用数学归纳法停止互推。
那丧失可就太大了啊!
两三瓶肾宝便能够撑下来了。
“嗯,那顾师弟……你的意义是?”高师兄有点懵逼。