慕依雪提出的新方案,说简单也简单,说复杂也复杂。
其核心只有五个字:数学归纳法!
数学归纳法,没有人会陌生。
众所周知,数学归纳法是我们在高中就接触的一种证明方法,可以说是最基础的证明法之一。
但慕依雪的方案可不是我们高中学的最普通的数学归纳法。
而是……史诗级加强难度的数学归纳法!
为了证明高维代数簇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。
共需要六个数学归纳的互推表达。
对外行人士来说,肯定光看着都头大,但对于数学家来说,是相当容易理解的。
秋高气爽,燕京的天气中带着微微的凉意。
慕依雪外面套了件风衣,踩着从路边树上簌簌落下的树叶,来到授课教室。
目前大一学年的上半学期已然过半,数学系的同学们也渐渐适应了大学生活的节奏。
对于燕大的同学们来说,大学生活未必会比高中轻松多少。
燕大汇聚了来自全国各地的优秀学子,同时,意味着竞争更加残酷激烈。
没人敢轻易懈怠。
所以图书馆,便成了他们宿舍和教室最常去的地方。
熬夜到深夜十二点,渐渐变为一种常态。
凌晨五点多的燕大夜景,他们时常可以观赏到。
清晨未名湖畔,总是被一群背单词的学生们占据。
甚至连校园的长椅上,静谧的咖啡馆中,都能见到一对对情侣一人抱着一本书读的画面。
在燕大,学习氛围浓郁的可怕。
恐怕就是随便让一个过来,在这种氛围的感染下,都会恨不得当场拿出一本书读个痛快。
... -->>
本章未完,点击下一页继续阅读