以及
log
n_e
的
(1+e)
次幂
所严格控制。这个上界,恰好对应于椭圆曲线模空间上某个
自然线丛
的算术相交数
的有效性估计。”
他停顿了一下,仿佛在脑海中完成了最后一块拼图的拼接,然后轻描淡写地总结道:“因此,max(|a|,
|b|,
|c|)
必然被
k_e
·
rad(abc)^(1+e)
所控制。abc猜想,成立。”
没有欢呼,没有激动,甚至连一丝一毫的得意之色都没有。房间里一片寂静,只有阳光中浮尘缓慢飘落的声音。仿佛他们刚刚证明的,不是一颗数论皇冠上的明珠,而只是一个在构建某个更宏大理论时,顺带验证了的、微不足道的推论。
“一个有趣的应用,”德利涅
陛下像是想起了什么,随手
在笔记的空白处写了几行字,“从这个不等式出发,可以立刻推出
费马大定理。当
n
>
6
时,对于方程