左下角梦境中几个字已经消失。
他已经回到了现实。
实际上现实中已经过了10分钟，对应着梦境中的半个小时。
但是他的思绪还陷在刚才的习题中。
这道题是冉老师给他的私货，所以并没有答案。
至少在他去向冉冰清求助之前她不会告诉自己答案。
而这个时间她也不会给他太久，否则他就根本不配称为冉老师的得意门生。
之前给的题目，都是当天做完，第二天给冉老师。
到目前为止他还没有失手过。
这一次也不想失手，既然冉老师把题目给他，就证明她相信自己有解答的能力。
这么说来，解题知识范围不会超过高中。
他也准备自学大学课程来着，可惜被语文和英语拖住了后腿。
伊诚想到这里，倒头就睡。
不能浪费现实中的时间。
过了三十分钟。
伊诚从床上坐了起来。
完蛋。
两分钟睡眠法不起作用了。（这是美军在二战时为了让飞行员能快速入睡快速作战发明的一种睡眠方法，具体的就不在这里写了，免得有水字数的嫌疑。）
不管怎么放松和冥想，大脑里面那道题目依然转啊转转啊转。
大脑太兴奋了无法入睡，真的很难受。
不得已，伊诚只好爬起来，利用现实中的时间解题。
他小心翼翼地拉开椅子，瞥了瞥被围布围起来的女神，尽量动作轻盈不要吵到她。
然后他打开了手机手电筒，挂到头顶上，同时把光调得尽可能暗一些。
不知道过去多久，伊诚依然没抓住那只该死的猛兽，从而陷入了焦虑之中。
伊诚首先想到的是作差比较法。
但是这个计算量比较庞大，同时在这个式子中出现了两个变量。
得想办法找到之间的联系才行……
“咦？高斯函数。”
一道声音响起，把伊诚吓得几乎从椅子上跳了起来。
手中的铅笔顺势飞了出去。
他把手机照过来——
不知道什么时候，蓝冰出现在他的旁边。
她正抱着双手，凝视着他放在桌子上的纸片。
“你居然知道高斯函数？”伊诚弯腰把笔捡起来，用一种不可思议的眼神看着她。
果然不会数学的女神不是好女神是吗？
对了，她现在已经是lv2的女神了，所以懂一些数学知识是正常的。
“当然啊。高斯可是被誉为世界三大数学家之一的高斯啊。”
数学界三大数学家——
阿基米德、牛顿与高斯。
其他两个以后再说，高斯有多牛逼呢？
举一个简单的例子
高斯在10岁的时候，就已经超越了他的数学老师。
当时数学老师布特纳出了一道非常经典的题1+2+3……一直加到100，求和。
高斯很快就算出了答案是5050
他是这样算的，1+100101，2+99101……一共有50组这样的数。
50x1015050。
这个算法现在在小学课本中，被叫做高斯算法。
之后这个人开启了一路开挂的人生，他19岁的时候，就发现了正十七边形的尺规作图法，解决了自欧几里德以来悬而未决的一个难题。
同年就发表并证明了二次互反律。
……
说高斯是我们最早接触的三伟之一，一点都不过分。
“这不挺简单的吗？”
蓝冰说着，用手托起下巴。
“接下来只要证明这个函数在区间内单调递增不就可以了吗？”
咦？
伊诚疑惑地侧着头。
这个家伙居然一针见血说中要害。
看来女神有点水平啊。
“但是说得容易，这个式子不好证明啊。”伊诚砸吧着嘴唇。
他就是卡在这里了。
“不难啊，挺容易的。”
蓝冰说着说，抱着双手看向伊诚。
“你既然知道高斯，那么一定也知道跟他并列为三大数学家的另外两个吧？”
“当然了，阿基米德、牛顿。”伊诚如数家珍一般，“阿基米德有两个很有名的故事，杠杆原理和浮力原理，他有一句话是，只要给我一个支点……”
“停，重点是后面那个。”
“牛顿？”伊诚眼中结了一层迷雾，回忆着牛顿的丰功伟绩。
牛顿三定律？
万有引力？
《光学》？
金本位？
微积分？
“噢，微积分？！”伊诚突然恍然大悟般看向蓝冰。
“嗯，对了。”蓝冰开心的笑了起来，“微积分。准确来说，是积分的双子——
起源于另外一个赫赫有名的人物费马提出的差分。
后来被发展成熟，现在我们叫做微商。”
这个微商可不是说你在朋友圈做生意的那个微商。
它有另外一个被人更为熟知的名字——
求导。
经过蓝冰的提醒，伊诚再回头去看的时候，才发现躲藏在草丛中的哪里是只猛兽，明明是一只小猫。
证明函数在某个区间内单调递增，除了比较笨的作差比较法之外，其实最简便的就是求导。
这样一来就容易很多了。
伊诚提起笔，一路势如破竹。
fnn3+2n2+n
求导得到
……
然后，该函数在连续正整数区间内只有唯一一个实根。
命题得证。
伊诚总算松了口气，靠在椅背上。
明天可以给冉老师交差了。
女神还是有两把刷子的，看来这个系统没白拿。
“对了，一般这种题目后面还会有第二问，第二问会更难一些。这道题没有吗？”
蓝冰奇怪地说到。
伊诚将卡片翻转过来，果然在后面还有一行娟秀的小字——
2证明该方程的所有正实数解中，没有一个是有理数。
真棒。
伊诚突然觉得浑身又充满了电。