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