090章 不用了 (第2/2页)

原本还有郝甜。
　　
　　郝甜的感情已经被卖掉了。
　　
　　系统：“……等价交换成功，结余11289点。”
　　
　　夏路一觉睡到天亮，睡的很沉。
　　
　　醒来之后，夏路立即购买【冰雹猜想的核心要领】。
　　
　　“这……这是，这难道就是核心要领？”
　　
　　夏路花了一万个点数购买的【冰雹猜想的核心要领】，转化为A4纸的篇幅，大概只有四页。
　　
　　这份核心要领是高度浓缩的精华，夏路还需要做很多事情，才能真正消化这份要领。
　　
　　接下来的一段日子，夏路闭门不出，在他租的房子里研究冰雹猜想。
　　
　　系统里买的这份【冰雹猜想的核心要领】，对夏路来说是方向性的指引。
　　
　　他现在十分确信，冰雹猜想是成立的！
　　
　　但夏路不能把【冰雹猜想的核心要领】完全照抄下来公开发表。
　　
　　这份要领需要扩展、丰满，从而形成一篇别人可以看懂的论文。
　　
　　论文最终的篇幅，至少会在三十页以上吧。
　　
　　6月底到7月初，夏路忘记了尘世间的其他俗务，他一门心思钻研他的冰雹猜想核心要领。
　　
　　“假设一个奇数如果经过3x+1运算法而不回到黑洞数1，则必有另外一个奇数。”
　　
　　“如果证明没有除1之外的黑洞数，任一奇数按照3x+1法则运算，必穷尽其他所有的奇数，或归属这样一类（4k-1）/3的奇数，从而最终落入黑洞数1。”
　　
　　……
　　
　　夏路沉浸在他的数字世界里，他越演算越兴奋，他感觉自己快要抵达人生巅峰了。
　　
　　设x属于奇数，k1、k2、……ki属于N。
　　
　　所以，求其x的解为2k1+k2+……ki-1+3*2k1+ki-2+……
　　
　　那么，x经过i步计算后，并没有x奇数存在！
　　
　　“哈哈哈！离胜利越来越近了！”
　　
　　夏路夜以继日的奋战，废寝忘食的他此时心中只有冰雹猜想。
　　
　　女朋友什么的，走就走了吧。
　　
　　同学什么的，卖就卖了吧。
　　
　　现在的我只有一个心愿，在全球范围内首证冰雹猜想。
　　
　　“3x+1必然唯一，故而，当x=(43k-2-1)/3，这类奇数直接归1。自身可直接归1之外，其他奇数按照3x+1法则运算，必经过x=(43k-1-1)/3而归1。”
　　
　　“所以，任一正整数，经过3x+1法则运算，都能得到1并且是唯一。”
　　
　　“也就是说，冰雹猜想被我证明了！”
　　
　　经过数周的演算，夏路终于证明了冰雹猜想。
　　
　　实际上他所做的工作，是将系统里买的四页要领，按照他的个人理解，转化为了一份适合大多数人审阅的证明方案。
　　
　　接下来，夏路要做的是将他的手稿方案写成一份标准的论文。
　　
　　这个时候已经放暑假了。
　　
　　“是哦，放暑假了，还是先回家一趟吧。”
　　
　　夏路带上他的手稿和笔记本电脑，离开教工宿舍，坐地铁回家。
　　
　　夏路的父母知道夏路在江城大学租了套房子。儿子有女朋友了，租房子可以理解。
　　
　　“夏路回来了。”崔敏红买了很多菜，她说到：“你和郝甜都放假了吧，要不明天请郝甜来我们家吃饭？”
　　
　　“不用了，她不会来的。”夏路摇摇头道。