慕依雪提出的新方案，說簡單也簡單，說復(fù)雜也復(fù)雜。

其核心只有五個字：數(shù)學(xué)歸納法！

數(shù)學(xué)歸納法，沒有人會陌生。

眾所周知，數(shù)學(xué)歸納法是我們在高中就接觸的一種證明方法，可以說是最基礎(chǔ)的證明法之一。

但慕依雪的方案可不是我們高中學(xué)的最普通的數(shù)學(xué)歸納法。

而是……史詩級加強難度的數(shù)學(xué)歸納法！

為了證明高維代數(shù)簇flip操作在有限次后終止這個主定理，需要證明六個看似毫無聯(lián)系的輔助定理。

我們將這六個定理分別命名為：A、B、C、D、E、F！

這六個輔助定理的證明需要用數(shù)學(xué)歸納法進(jìn)行互推。

例如小于等于n-1維的定理D，小于等于n維的定理B以及小于等于n維的定理C可推出小于等于n維的定理D。

小于等于n維的定理A，小于等于n維的定理B，可以推出小于等于n維的定理C。

小于等于n維的定理C，小于等于n維的定理D，可以推出小于等于n維的定理E。

共需要六個數(shù)學(xué)歸納的互推表達(dá)。

對外行人士來說，肯定光看著都頭大，但對于數(shù)學(xué)家來說，是相當(dāng)容易理解的。

秋高氣爽，燕京的天氣中帶著微微的涼意。

慕依雪外面套了件風(fēng)衣，踩著從路邊樹上簌簌落下的樹葉，來到授課教室。

目前大一學(xué)年的上半學(xué)期已然過半，數(shù)學(xué)系的同學(xué)們也漸漸適應(yīng)了大學(xué)生活的節(jié)奏。

對于燕大的同學(xué)們來說，大學(xué)生活未必會比高中輕松多少。

燕大匯聚了來自全國各地的優(yōu)秀學(xué)子，同時，意味著競爭更加殘酷激烈。

沒人敢輕易懈怠。

所以圖書館，便成了他們宿舍和教室最常去的地方。

熬夜到深夜十二點，漸漸變?yōu)橐环N常態(tài)。

凌晨五點多的燕大夜景，他們時常可以觀賞到。

清晨未名湖畔，總是被一群背單詞的學(xué)生們占據(jù)。

甚至連校園的長椅上，靜謐的咖啡館中，都能見到一對對情侶一人抱著一本書讀的畫面。

在燕大，學(xué)習(xí)氛圍濃郁的可怕。

恐怕就是隨便讓一個過來，在這種氛圍的感染下，都會恨不得當(dāng)場拿出一本書讀個痛快。

四年的大學(xué)生涯，有許多度過的方式。

而燕大的學(xué)子們，選擇用學(xué)習(xí)來充實自己。

因為……學(xué)習(xí)使他們快樂！

在他們眼中，學(xué)習(xí)并非是一種枯燥乏味的事情。

而是，就像升級打怪一樣。

有一種一步步升級和突破自我的爽感。

尤其是時不時的考試和競賽，更讓他們從學(xué)習(xí)中獲得了一種成就感。

用慕依雪同學(xué)的原話來說，就是他這輩子感觸到的最美妙的一種感覺。

這種感覺，這他沉迷。

十天后

我可以十分負(fù)責(zé)任的宣布，極小模型綱領(lǐng)的第二問題，被我成功解決了！”慕依雪的聲音逐漸高昂起來。

叮！

慕依雪腦海中傳來叮的一聲脆響，這是任務(wù)完成的提示聲。

今天是12月4號，任務(wù)截止的時間是12月9號，提前了五天完成任務(wù)。

還有一點。

也是慕依雪早就注意到的。

既然系統(tǒng)認(rèn)定任務(wù)完成，那就從另一種角度可以說明，慕依雪給出的有關(guān)極小模型綱領(lǐng)第二問題的推導(dǎo)過程是正確無誤的。

有了這個機(jī)制，在一定程度上，系統(tǒng)可以為她提供一個糾錯的功能。

因為一旦慕依雪的推導(dǎo)過程是錯誤的，那么系統(tǒng)并不會顯示任務(wù)完成。

雖然系統(tǒng)不能指出慕依雪具體錯誤的地方，但起碼，可以避免直接將錯誤的推導(dǎo)步驟撰寫成論文，投稿發(fā)表。

打開系統(tǒng)面板，慕依雪視線直接落在最下方的支線任務(wù)上。

【支線任務(wù)：解決極小模型綱領(lǐng)第二問題（已完成）

任務(wù)時限：六個月

任務(wù)獎勵：推理論證+5可領(lǐng)取）】

點擊領(lǐng)取，慕依雪感覺一股暖流鉆入大腦中，思維瞬間變得清明許多。

解決極小模型綱領(lǐng)第二問題，這可是一個具有極高分量的研究成果。

尤其是在雙有理幾何的極小模型方向，稱之為里程碑式的成果都不為過。

有這樣的研究成果問世，是讓慕依雪登上國際舞臺的一個契機(jī)。

甚至說不準(zhǔn)，還能國際數(shù)學(xué)界的邊緣位置，占據(jù)一席之地。