第八十七章(第3/7 页)

很可惜，秋元沙树先生的证明依旧存在bug，期待你的证明可以带来一个新的里程碑。”

就算形势所迫，他们答应了下来，将这个证明发布会的主场交给明夏，心下到底也是不爽的，便说了这样的话，通过所谓“说话的艺术”，表面上是对她接下来的证明寄予了期待，但实质上也是暗施压力。如果，明夏的证明也存在逻辑bug，被找出来了，估计也会被说上几句令人膈应的“失望”、“遗憾”、“可惜”。

当然，明夏既然确认自己证明出来了，就不可能给他们这个嘲笑的机会。

走上台，明夏用英语用英语开始了陈述，将之前秋元沙树投在屏幕上的证明思路重新打开，翻到大概4/5的位置，拿着红色的指示灯在那个式子下面划了划，开口：“非常抱歉，之前，我在io上的证明思路出现了错误。回去后，我思考了很久，终于想到，事实上，在这一步的时候，我不应该写f的关系式，而应该联结前面的式子13和式子21，学习拉特马赫证明7+7、瑞尼证明1＋c的方法……”

纤白的手举着黑色的话筒，看起来娇娇小小的华国女生，远道而来到日本，站在偌大的报告厅里台子上，当着众多来自世界各国的数学家的面，面容镇定，用流畅的英语，说出了足以令整个数学界为之震荡的对“哥德巴赫猜想”的证明。

台下，各国数学家都将椅子扶手里的那块板取了出来，打开，拿出笔和草稿本，跟着明夏的思路，眼睛发亮地计算着。

明夏在io上提出的“伪命题思想”，和间接论证中的“反证法”有些许相似，但又不一样，因为并不是通过相反的假设去逆推，而是通过举例一个相关的命题，通过对这个命题的讨论，一点点延伸到证明本身，对于“哥德巴赫猜想”的证明来说，是非常新颖的一个思路。

而且，她现在的证明，也是一环扣一环，在大家看过io上的证明后，都以为她会往这个思路走，却没想她在最后一个环节大扭转，直接把自己前面的思路推翻，再联结其他式子，才写了顺着思路完全想不到的角度的最后一个环节。

那些式子就像是下午茶的马卡龙、沉沉夜幕的繁星、和暖拂面的轻柔春风……将数学的美展示得一览无余，也令人震撼。

将自己的证明说完，明夏拿着话筒，开口：“谢谢大家的聆听，以上，就是我对哥德巴赫猜想的证明，如果有质疑或者疑惑，随时欢迎大家提问。”

台上，明夏的证明讲得有多落落大方、思路严谨，开成大学的校方脸