“但事实,它就是对的!”顾律嘴角上扬,语气自信。
顾律提出的新方案,说简单也简单,说复杂也复杂。
其核心只有五个字:数学归纳法!
数学归纳法,没有人会陌生。
众所周知,数学归纳法是我们在高中就接触的一种证明方法,可以说是最基础的证明法之一。
但顾律的方案可不是我们高中学的最普通的数学归纳法。
而是……史诗级加强难度的数学归纳法!
为了证明高维代数簇flip操作在有限次后终止这个主定理,需要证明六个看似毫无联系的辅助定理。
我们将这六个定理分别命名为:a、b、、d、e、f!
这六个辅助定理的证明需要用数学归纳法进行互推。
内容未完,下一页继续阅读