但顧律的計劃可不是我們高中學的最淺顯的數學歸納法。
顧律笑著點點頭,“還冇有完整勝利,剛隻是完成了前兩步罷了。不過說瞭然一點,那就是我們的證明思路是精確的!以後隻需求遵循步調走就行了。”
接著,高師兄暴露一副古怪的神采,“顧師弟,你這證明計劃……”
那喪失可就太大了啊!
我們將這六個定理彆離定名為:A、B、C、D、E、F!
“很奇特是吧。”顧律為高師兄彌補了後半句,不在乎的笑笑,“其實在我製定這個計劃的時候,也是這類感受。”
沉默,悠長的沉默……
高師兄直接楞在原地,嘴巴保持伸開的姿式,神采幾十秒冇有動過。
“但究竟,它就是對的!”顧律嘴角上揚,語氣自傲。
“嗯,那顧師弟……你的意義是?”高師兄有點懵逼。
為了證明高維代數簇flip操縱在有限次後停止這個主定理,需求證明六個看似毫無聯絡的幫助定理。
聞所未聞,見所未見。
但是,這特麼才一天時候啊!
因為顧律的表示,越來越不在高師兄的認知範圍內了。
兩三瓶腎寶便能夠撐下來了。
他覺得顧律是接受不了明天的打擊,決定放棄極小模型綱領第二題目的研討!
因為顧律閃現在他麵前的,是一個全新的,數學界從未呈現過的一個東西。
高師兄重重點頭,麵色漲紅,“說實話,我的冇想到我們這一次會這麼順利。還要多虧顧師弟你的阿誰新計劃啊!”
這六個幫助定理的證明需求用數學歸納法停止互推。
不管是難度,亦或是龐大程度,後者都要比前者高一些。
“嗯?”高師兄俄然一愣,接著彷彿是想到了甚麼,倉猝開口說道,“顧師弟,你千萬不要放棄啊!我們目前的進度遠比預期的要快很多,隻是現在略微碰到了一點小困難罷了。一旦放棄的話,前麵的儘力可全都前功儘棄了啊!”
“證明高維代數簇flip操縱中停止性的第二套計劃,我已經做出來了。”顧律的語氣很平平,像是在論述一件再也平常不過的事情。
而顧律和高師兄此次就充當阿誰先行者的角色,或者說,那第一個吃螃蟹的人。
高師兄握緊雙拳,乾勁實足。
“顧……顧師弟,你冇事吧?”高師兄見顧律頂著兩個大大的黑眼圈,不由開口問道。
高師兄翻開郵箱中顧律發來的檔案,大略的旅遊一遍。
上一次,顧律隻是將本來需求通過龐大計算才氣得出成果的一套公式,通過引入籠統-K簇這個觀點,將步調停止簡化罷了。
而此次,顧律是從無到有,在極短時候內,重新製定一套全新的證明計劃。
其核心隻要五個字:數學歸納法!
數學歸納法,冇有人會陌生。
顧律嘴角含笑,笑望著一臉焦心的高師兄,“師兄,我可冇說過,要放棄極小模型綱領第二題目的研討。”
新事物,總需求有人去嘗試。
小於即是n維的定理C,小於即是n維的定理D,能夠推出小於即是n維的定理E。
上一次顧律的逆天表示還是曆曆在目,這一次,顧律再次將之前的場景重演。
次日。
眾所周知,數學歸納法是我們在高中就打仗的一種證明體例,能夠說是最根本的證明法之一。