转眼间整个教室都快被黑板塞满了。
而此时,也已经到了最关键论证最关键地节点。
假定“戴尔猜想”不成立,即存在一组非零整数AB使得AR次方B的u次方的u次方,那么用这组数构造出的形如的平方hA的u次方)乘以B的u次方)的椭圆曲线,不可能是模曲线。
紧张了。
所有人都紧张了。
辛老,刘老,荣老大气也不敢出,静静地在一旁等待着。
又一个难关来了!
她会怎么解?
姜萍要怎么解决?!
华国的一些数学家眉头紧皱,急的不行。
“哎呀,难点来了!”
“能不能过的了啊。”
“这个该怎么解决?”
忽然,姜萍笔锋一转,另辟蹊径。
同时证明这两个命题!
“妙啊!”
荣老都忍不住叫好了。
两个命题都证明正确,根据反证法就可以知道“戴尔猜想”不成立,这一假定是错误的,从而就证明了“戴尔猜想”的存在!
虽然之前有人证明了,但是姜萍推翻了,现在重证。
而重证的过程是如此的精彩。
“好样的!”
“这一步解决的真精彩”
“关关难过关关过,厉害!”
到这个时候,刘老刘院士也坐不住了,叫辛老,荣老起来。
“走!跟他们一起验算下,这闲着等,太让人心慌了。”
跟着辛老一起来的某研究所所长赶紧开口道,“计算量有些大啊,”
刘老哎了一声,说道:“不用完全验算,咱们简单验证就行了。”
先看个大概,详细的日后再看。
有着三个重量级数学家的加入。
验算进度很快。
刘老:“反曲线正确。”
辛老:“C函数方程正确。”
辛老:“逻辑运算,反推一次,成立”
吴春华老人和淳老也加入了进来。
“自守函数没问题”
“第三曲线成立!”
李世华也加入进来,“辛普森积分过了!”
顾昀一边操作计算机,一边大叫,“龙贝格积分和高斯积分反推成立,过!”
“成立!”
“成立!”
“成立!”