“……空间测度的不相容性意味着,最终的不等式并没有比较两个真正该比较的量……”
看着已经完全陷入沉思的望月新一,陆舟轻声继续说道,“但是如果改变了证明,就像我在21式中写到的那样,使得空间测度彼此相容。”
舒尔茨笑着说道:“那么,这个不等式又将因此而失去意义。”
陆舟点了下头:“是的,但我建议你不要插嘴比较好。”
耸了耸肩膀,舒尔茨有些无趣的闭上了嘴,看了旁边一言不发的望月新一一眼,便走去一边给自己泡了杯咖啡。
推演进行到了这里,已经没有了悬念。
他承认陆舟分析问题的思路比自己更靠近本质。
甚至于在证伪312推论的时候,他的论证过程已经无限接近于将这个推论给证明,并由此推出abc猜想的最终结果了。
然而,最终还是差了那么“一点”。
也正是那一点,将所有的容错率都逼到了一个无法容身的角落,同时也让这五百多页的论文化作了一摊泡影。
目不转睛地看着白板上的算式,望月新一许久没有说话。
看向了陷入沉默的望月教授,陆舟想了一会儿,若有所思地说道。
“远阿贝尔几何的表述有些独特……光是弄懂这些符号代表着什么就花掉了我不少时间。如果没有表达上的误解,这应该就是你在论文中用‘易证得’或者‘显而易见’代替的论证过程吧。”
望月新一点了下头。
“是的。”
陆舟:“那还有什么疑问吗?”