第一百六十五章 複雜的數學歸納法

次日。

當高師兄再次在視頻中見到顧律時,不由嚇了一跳。

“顧……顧師弟,你沒事吧?”高師兄見顧律頂着兩個大大的黑眼圈,不由開口問道。

“師兄,我沒事。”顧律不在意的擺擺手。

熬夜通宵而已,顧律又不是沒有過。

兩三瓶腎寶就可以撐下來了。

“真沒事?”高師兄還是有些擔心。

顧律擺手笑笑,“真沒事!”

“行吧。”高師兄雖然擔憂顧律,但遠隔千山萬里,也無法做些什麼。

高師兄擡頭,視線和顧律對視上,“既然如此,我們按照計劃,來商討一下新的證明計劃吧。”

“之前那個證明方案我們弄了一週。但這次制定新方案可能需要的時間恐怕還會再長些。半個月吧,我們爭取用半個月的時間,再製定一套證明方案。”

高師兄握緊雙拳,幹勁十足。

顧律平靜的目光望着高師兄,平緩的語氣,“高師兄,不用了。”

“嗯?”高師兄突然一愣,接着似乎是想到了什麼,急忙開口說道,“顧師弟,你千萬不要放棄啊!我們目前的進度遠比預期的要快許多,只是現在稍微遇到了一點小困難而已。一旦放棄的話,前面的努力可全都前功盡棄了啊!”

高師兄語氣焦急。

他以爲顧律是承受不了昨天的打擊,決定放棄極小模型綱領第二問題的研究!

那損失可就太大了啊!

所以高師兄急忙勸阻顧律,希望他能改變想法。

顧律嘴角含笑,笑望着一臉焦急的高師兄,“師兄,我可沒說過,要放棄極小模型綱領第二問題的研究。”

“嗯,那顧師弟……你的意思是?”高師兄有點懵逼。

“證明高維代數簇flip操作中終止性的第二套方案,我已經做出來了。”顧律的語氣很平淡,像是在敘述一件再也平常不過的事情。

沉默,長久的沉默……

高師兄直接楞在原地,嘴巴保持張開的姿勢,表情幾十秒沒有動過。

“顧師弟,你是說,你已經把新的證明方案做出來了?”許久之後,高師兄擰着眉頭,向顧律確認道。

顧律點頭,“沒錯,已經做出來了。”

“可是……”

可是,這特麼才一天時間啊!

高師兄覺得自己的認知在一點點崩塌。

因爲顧律的表現,越來越不在高師兄的認知範圍內了。

上一次顧律的逆天表現依舊曆歷在目,這一次,顧律再次將之前的場景重演。

同樣是一個人,用一天時間,完成預計兩個人用半個月時間搞定的任務。

而且這一次任務的難度,比上次還要高許多。

上一次,顧律只是將原本需要通過複雜計算才能得出結果的一套公式,通過引入抽象-K簇這個概念,將步驟進行簡化而已。

而這次,顧律是從無到有,在極短時間內,重新制定一套全新的證明方案。

無論是難度,亦或是複雜程度,後者都要比前者高一些。

其實,高師兄還不知道的一點是。

顧律在制定新方案的時候,不僅僅是要讓證明方案具有可行性,並且,還需要新方案的證明步驟要比原方案簡單。

只有這樣,顧律才能保證,在六個月的任務時限結束前,解決極小模型綱領第二問題。

顧律在電腦上操作一番後,對高師兄說道,“高師兄,新方案我通過郵件發給你了,你檢查一下,有沒有問題。”

高師兄打開郵箱中顧律發來的文件,粗略的遊覽一遍。

接着,高師兄露出一副古怪的表情,“顧師弟,你這證明方案……”

“很奇怪是吧。”顧律爲高師兄補充了後半句,不在意的笑笑,“其實在我制定這個方案的時候,也是這種感覺。”

“但事實,它就是對的!”顧律嘴角上揚,語氣自信。

顧律提出的新方案,說簡單也簡單,說複雜也複雜。

其核心只有五個字:數學歸納法!

數學歸納法,沒有人會陌生。

衆所周知,數學歸納法是我們在高中就接觸的一種證明方法,可以說是最基礎的證明法之一。

但顧律的方案可不是我們高中學的最普通的數學歸納法。

而是……史詩級加強難度的數學歸納法!

爲了證明高維代數簇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。

共需要六個數學歸納的互推表達。

Www▪ ттκan▪ ℃O

對外行人士來說,肯定光看着都頭大,但對於數學家來說,是相當容易理解的。

所以高師兄才露出如此怪異的表情。

因爲在他從事數學行業的這十年中,像顧律這種利用數學歸納法進行定理互推,進而證明主要定理的證明方式,講實話,他還從來沒有見過。

聞所未聞,見所未見。

刷新了高師兄這位數學家對於數學的認知。

“這,真的可行嗎?”高師兄還是半信半疑的態度。

因爲顧律呈現在他面前的,是一個全新的,數學界從未出現過的一個東西。

顧律笑着開口,“可行不可行,研究一下不就知道了嗎。”

新事物,總需要有人去嘗試。

而顧律和高師兄這次就充當那個先行者的角色,或者說,那第一個吃螃蟹的人。

…………

半個月後。

高師兄語氣激動的開口,“顧師弟,我們,我們……成功了?”

顧律笑着點點頭,“還沒有完全成功,剛只是完成了前兩步而已。不過說明了一點,那就是我們的證明思路是正確的!之後只需要按照步驟走就行了。”

高師兄重重點頭,面色漲紅,“說實話,我的沒想到我們這一次會這麼順利。還要多虧顧師弟你的那個新方案啊!”

顧律哈哈一笑,“作爲第一個吃螃蟹的人,我們顯然,是成功的。”

第三百六十八章 一邊倒的支持第一百一十九章 高考放榜 (爲盟主“Joywong421”加更!)第五百五十二章 研究進行時第一百四十三章 顧……顧老師!第六百四十三章 黑心老闆第一百六十九章 望井新一第三百九十七章 第三代半導體技術的未來第六百六十八章 出營第四百三十四章 心痛第一百六十八章 真香第三百二十八章 有約第六十章 選題委員會(第一更!)第五章 合影第三百四十六章 裝逼犯第七百四十七章 溫主任第三百五十一章 博士生學生第四十二章 石油泄漏事故第三百二十一章 雞肋的商品第六百零八章 股份獎勵第一百四十八章 高數第二十二章 老師,你忘記撕答案了!第八十六章 勸人學醫第三百零八章 送別宴第一百四十七章 講課第二百二十四章 大型分手現場第二百七十五章 復環猜想第四百五十九章 人員抵達第五百七十二章 IBM量子計算中心第七百五十六章 仉局長親臨第三百八十七章 人情交換?第四百一十九章 更換着陸點第三百三十六章 試衣間第一百七十三章 實變函數第五十四章 顧老師,請你坐下!第三百八十六章 搞定了第九十四章 決勝二十一點第四百四十章 半導體量子芯片第二百五十六章 原稿第二百一十八章 天才戰第四百五十八章 你贏了!第七百二十二章 顧教授,永遠滴神!第五百一十五章 女人緣第七百四十八章 不太好意思第四十七章 教練名單第二百三十七章 指導第七章 十五種解法!第五百七十二章 IBM量子計算中心第二百六十一章 頂級高校的橄欖枝第七十六章 拜訪(求推薦!)第八十七章 任務完成第五百五十一章 艾亮病了第二十八章 去一邊涼快去第四百七十章 半導體量子芯片項目組第三百二十章 爆肝藥劑第三百七十六章 客座教授第一百一十五章 我去年也是這樣想的第五百四十八章 呃……還真有!第三百九十九章 假粉絲!第三百零五章 我有經驗第一百七十五章 沉迷其中第五百三十六章 雙喜臨門第四百八十章 失敗的實驗記錄第一百五十章 時老師第五十五章 CMO(求推薦!!)第二百六十八章 計量單位第二百八十六章 證畢!第五百二十七章 滿分人數:九人!第二百八十章 靜觀其變第五百一十章 顧大爺第二百九十三章 研讀班第三百五十一章 博士生學生第三百二十八章 有約第三百四十五章 絕望的望井新一第二百七十二章 分組會議第三百八十七章 人情交換?第三百一十九章 系統升級第一百九十九章 爆肝吧!第三百三十四章 黑名單第六百五十一章 確定關係第二百四十八章 邀請報告人第五十二章 邏輯推理題第二百九十六章 接機第四十五章 人世間最悲傷的事第二百六十章 頒獎典禮第四百五十二章 菲爾茲獎的暢想第六百二十七章 榮譽稱號第二百七十七章 解析數論分會場第八十七章 任務完成第九十四章 決勝二十一點第二百零八章 玩點刺激的遊戲第七百一十三章 普林斯頓的榮譽校友第三百六十六章 宣戰!顧律VS康斯坦丁第二百五十七章 我想成爲你的人第三百九十六章 俺也一樣第一百二十七章 愛才之心第七百一十八章 駐足巔峰第三百五十九章 我不要你覺得,我要我覺得!第一百三十章 我是一個數學家!第九十七章 歐皇第六百零九章 認購
第三百六十八章 一邊倒的支持第一百一十九章 高考放榜 (爲盟主“Joywong421”加更!)第五百五十二章 研究進行時第一百四十三章 顧……顧老師!第六百四十三章 黑心老闆第一百六十九章 望井新一第三百九十七章 第三代半導體技術的未來第六百六十八章 出營第四百三十四章 心痛第一百六十八章 真香第三百二十八章 有約第六十章 選題委員會(第一更!)第五章 合影第三百四十六章 裝逼犯第七百四十七章 溫主任第三百五十一章 博士生學生第四十二章 石油泄漏事故第三百二十一章 雞肋的商品第六百零八章 股份獎勵第一百四十八章 高數第二十二章 老師,你忘記撕答案了!第八十六章 勸人學醫第三百零八章 送別宴第一百四十七章 講課第二百二十四章 大型分手現場第二百七十五章 復環猜想第四百五十九章 人員抵達第五百七十二章 IBM量子計算中心第七百五十六章 仉局長親臨第三百八十七章 人情交換?第四百一十九章 更換着陸點第三百三十六章 試衣間第一百七十三章 實變函數第五十四章 顧老師,請你坐下!第三百八十六章 搞定了第九十四章 決勝二十一點第四百四十章 半導體量子芯片第二百五十六章 原稿第二百一十八章 天才戰第四百五十八章 你贏了!第七百二十二章 顧教授,永遠滴神!第五百一十五章 女人緣第七百四十八章 不太好意思第四十七章 教練名單第二百三十七章 指導第七章 十五種解法!第五百七十二章 IBM量子計算中心第二百六十一章 頂級高校的橄欖枝第七十六章 拜訪(求推薦!)第八十七章 任務完成第五百五十一章 艾亮病了第二十八章 去一邊涼快去第四百七十章 半導體量子芯片項目組第三百二十章 爆肝藥劑第三百七十六章 客座教授第一百一十五章 我去年也是這樣想的第五百四十八章 呃……還真有!第三百九十九章 假粉絲!第三百零五章 我有經驗第一百七十五章 沉迷其中第五百三十六章 雙喜臨門第四百八十章 失敗的實驗記錄第一百五十章 時老師第五十五章 CMO(求推薦!!)第二百六十八章 計量單位第二百八十六章 證畢!第五百二十七章 滿分人數:九人!第二百八十章 靜觀其變第五百一十章 顧大爺第二百九十三章 研讀班第三百五十一章 博士生學生第三百二十八章 有約第三百四十五章 絕望的望井新一第二百七十二章 分組會議第三百八十七章 人情交換?第三百一十九章 系統升級第一百九十九章 爆肝吧!第三百三十四章 黑名單第六百五十一章 確定關係第二百四十八章 邀請報告人第五十二章 邏輯推理題第二百九十六章 接機第四十五章 人世間最悲傷的事第二百六十章 頒獎典禮第四百五十二章 菲爾茲獎的暢想第六百二十七章 榮譽稱號第二百七十七章 解析數論分會場第八十七章 任務完成第九十四章 決勝二十一點第二百零八章 玩點刺激的遊戲第七百一十三章 普林斯頓的榮譽校友第三百六十六章 宣戰!顧律VS康斯坦丁第二百五十七章 我想成爲你的人第三百九十六章 俺也一樣第一百二十七章 愛才之心第七百一十八章 駐足巔峰第三百五十九章 我不要你覺得,我要我覺得!第一百三十章 我是一個數學家!第九十七章 歐皇第六百零九章 認購