论在证明过程的运用的时候,李树没闲下来,开始利用黑科技系统检索其他数学概念在费马大定理上的运用。
这种飞速的检索过程,比单纯用人脑效率要高不少,不一会儿,李树就想到了两个可以运用的概念——模形式和椭圆曲线
模形式论是数学领域数论范畴,即上一个满足一些泛函方程与增长条件、在上半平面上的(复)解析函数,让李树惊诧的是,模形式也出现在其他领域,例如代数拓扑和弦论。
在试练塔第一层第三关“希尔伯特空间造物”的物质构成理论里,李树自创的“环波论”正好是由弦论发展而来的,李树那是相当的熟悉。
与此同时,希尔伯特模形式,也是模形式的一种形式,和李树所处的试炼塔第三关也有理论共通的地方。
李树随后在黑板上又写下了另外一个方向——模形论。
在高速检索的时候,李树又搜索到了椭圆形曲线。
椭圆曲线是域上亏格为1的光滑射影曲线。对于特征不等于2的域,仿射方程可以写成:y^2=x^3+ax^2+bx+c,复数域上的椭圆曲线为亏格为1的黎曼面,Mordell证明了整体域上的。
在这个概念里,又和李树之前试炼关卡里黎曼空间迷宫产生了关联。
李树突然觉得,在试炼塔里那些高深的数学理论,似乎正在引导自己去证明费马大定理。
李树又在黑板上写下了另一个方向——椭圆形曲线。
在确定了大方向之后,李树和其他高材生一样,开始证明起来。
傍晚的时候,大家再次陷入困局,以伽瓦罗群论、模形论和椭圆形曲线为大方向的证明竟产生了冲突,让证明过程一度停滞。
已经熬了一夜的燕大高材生们在经历了短暂的工作**之后,开始疲劳了。
在高材生们还想要继续的时候,李树对尹安道:“尹院长,要不然咱们先休息吧,我建议给大家放三天假,不再想关于证明,甚至不再想数学的事情,好好的让大家放松一下,疲劳战术不可取。”
李树的建议很快得到了尹安的认可,很会做学生工作的尹安,让学生们在休息的三天里恢复体能,保持活力,停下来或许能柳暗花明。
李树把自己的一部分证明过程留给学生们之后,已经是下午六点,又到了回家的时间。
驱车回家的,他利用超级数据库疯狂检索着有关费马大定理的概念和证明过程。
难以想象,数学