左下角【夢境中】幾個字已經消失。
他已經回到了現實。
實際上現實中已經過了10分鐘，對應著夢境中的半個小時。
但是他的思緒還陷在剛才的習題中。
這道題是冉老師給他的私貨，所以并沒有答案。
至少在他去向冉冰清求助之前她不會告訴自己答案。
而這個時間她也不會給他太久，否則他就根本不配稱為冉老師的得意門生。
之前給的題目，都是當天做完，第二天給冉老師。
到目前為止他還沒有失手過。
這一次也不想失手，既然冉老師把題目給他，就證明她相信自己有解答的能力。
這么說來，解題知識范圍不會超過高中。
他也準備自學大學課程來著，可惜被語文和英語拖住了后腿。
伊誠想到這里，倒頭就睡。
不能浪費現實中的時間。
過了三十分鐘。
伊誠從床上坐了起來。
完蛋。
兩分鐘睡眠法不起作用了。（這是美軍在二戰時為了讓飛行員能快速入睡快速作戰發明的一種睡眠方法，具體的就不在這里寫了，免得有水字數的嫌疑。）
不管怎么放松和冥想，大腦里面那道題目依然轉啊轉轉啊轉。
大腦太興奮了無法入睡，真的很難受。
不得已，伊誠只好爬起來，利用現實中的時間解題。
他小心翼翼地拉開椅子，瞥了瞥被圍布圍起來的女神，盡量動作輕盈不要吵到她。
然后他打開了手機手電筒，掛到頭頂上，同時把光調得盡可能暗一些。
不知道過去多久，伊誠依然沒抓住那只該死的猛獸，從而陷入了焦慮之中。
伊誠首先想到的是作差比較法。
但是這個計算量比較龐大，同時在這個式子中出現了兩個變量。
得想辦法找到之間的聯系才行……
“咦？高斯函數。”
一道聲音響起，把伊誠嚇得幾乎從椅子上跳了起來。
手中的鉛筆順勢飛了出去。
他把手機照過來——
不知道什么時候，藍冰出現在他的旁邊。
她正抱著雙手，凝視著他放在桌子上的紙片。
“你居然知道高斯函數？”伊誠彎腰把筆撿起來，用一種不可思議的眼神看著她。
果然不會數學的女神不是好女神是嗎？
對了，她現在已經是lv2的女神了，所以懂一些數學知識是正常的。
“當然啊。高斯可是被譽為世界三大數學家之一的高斯啊。”
數學界三大數學家——
阿基米德、牛頓與高斯。
其他兩個以后再說，高斯有多牛逼呢？
舉一個簡單的例子：
高斯在10歲的時候，就已經超越了他的數學老師。
當時數學老師布特納出了一道非常經典的題：1+2+3……一直加到100，求和。
高斯很快就算出了答案是5050.
他是這樣算的，1+100=101，2+99=101……一共有50組這樣的數。
50X101=5050。
這個算法現在在小學課本中，被叫做高斯算法。
之后這個人開啟了一路開掛的人生，他19歲的時候，就發現了正十七邊形的尺規作圖法，解決了自歐幾里德以來懸而未決的一個難題。
同年就發表并證明了二次互反律。
……
說高斯是我們最早接觸的三偉之一，一點都不過分。
“這不挺簡單的嗎？”
藍冰說著，用手托起下巴。
“接下來只要證明這個函數在區間內單調遞增不就可以了嗎？”
咦？
伊誠疑惑地側著頭。
這個家伙居然一針見血說中要害。
看來女神有點水平啊。
“但是說得容易，這個式子不好證明啊。”伊誠砸吧著嘴唇。
他就是卡在這里了。
“不難啊，挺容易的。”
藍冰說著說，抱著雙手看向伊誠。
“你既然知道高斯，那么一定也知道跟他并列為三大數學家的另外兩個吧？”
“當然了，阿基米德、牛頓。”伊誠如數家珍一般，“阿基米德有兩個很有名的故事，杠桿原理和浮力原理，他有一句話是，只要給我一個支點……”
“停，重點是后面那個。”
“牛頓？”伊誠眼中結了一層迷霧，回憶著牛頓的豐功偉績。
牛頓三定律？
萬有引力？
《光學》？
金本位？
微積分？
“噢，微積分？！”伊誠突然恍然大悟般看向藍冰。
“嗯，對了。”藍冰開心的笑了起來，“微積分。準確來說，是積分的雙子——
起源于另外一個赫赫有名的人物費馬提出的差分。
后來被發展成熟，現在我們叫做微商。”
這個微商可不是說你在朋友圈做生意的那個微商。
它有另外一個被人更為熟知的名字——
求導。
經過藍冰的提醒，伊誠再回頭去看的時候，才發現躲藏在草叢中的哪里是只猛獸，明明是一只小貓。
證明函數在某個區間內單調遞增，除了比較笨的作差比較法之外，其實最簡便的就是求導。
這樣一來就容易很多了。
伊誠提起筆，一路勢如破竹。
f(n)=n^3+2mn^2+m^n-m
求導得到：
……
然后，該函數在連續正整數區間內只有唯一一個實根。
命題得證。
伊誠總算松了口氣，靠在椅背上。
明天可以給冉老師交差了。
女神還是有兩把刷子的，看來這個系統沒白拿。
“對了，一般這種題目后面還會有第二問，第二問會更難一些。這道題沒有嗎？”
藍冰奇怪地說到。
伊誠將卡片翻轉過來，果然在后面還有一行娟秀的小字——
【2.證明該方程的所有正實數解中，沒有一個是有理數。】
真棒。
伊誠突然覺得渾身又充滿了電。