忽然變得越低。
到了最後,還沒等整段話說完,她自己反倒先停住了。
江臨沒有立刻接話。
他把筆橫過來,讓筆杆輕輕地壓住圖上那條代表y=a的水平線,然後又用筆尖輕輕點了點右支上的x_2。
房間裡安靜了十來秒鐘。
江臨才不緊不慢地在紙上,寫下了那個讓蔣瑤昨晚痛苦了兩個小時的式子。
g(1/x_1)-g(x_1)。
“因為g(x_1)=a,所以你要證明g(1/x_1)>a,本質上就是在比較g(1/x_1)和g(x_1)的大小,這就是你看到的那個所謂構造的來源。”
江臨的聲音低沉而有力,像是一記重錘敲在蔣瑤的心上。
蔣瑤怔怔地看著這一行式子。
昨晚她看到解析突然寫出令F(x)=g(x)-g(1/x)的時候,她隻覺得那是某位數學天才靈光乍現的經驗技巧,是她這種凡夫俗子這輩子都想不到的神來之筆。
但現在,她才知道,它根本不是從天上掉下來的。
它是被題目的目標硬生生逼出來的。
要證明x_2<1/x_1,而x_2處在單調遞增的區間,為了利用單調性,就必須把1/x_1和x_2放到同一個單調區間上進行比較。
而要比較它們的橫坐標大小,自然就順理成章地轉化成了比較它們對應的函數值:g(1/x)和 g(x_1)的大小。
這一刻,所有的邏輯鏈條嚴絲合縫地咬合在了一起。
齒輪開始轉動,發出震耳欲聾的轟鳴。
蔣瑤下意識地想點頭稱是。
可是頭點到一半,她又硬生生地停住了。
那口氣被她重新咽了回去。
因為這一次,她不是那種看了答案覺得對方說得好像有道理的似懂非懂。
她是真的,清清楚楚地看見了這座建築底層的地基是怎麼打下去的。她看見了因果。
江臨見她似有所悟,便即在紙上寫下g(x)的解析式。
g(x)=lnx+x+1/x。
……
他寫得不快。
以便蔣瑤的大腦能夠跟上消化。
蔣瑤一開始還想跟著點頭附和,到了後來,她乾脆一動不動了。她所有的注意力,都緊緊地盯住江臨筆下的每一行字符,盯住那些公式的來龍去脈。
江臨寫完最後一步,抬起頭問道:“好,現在邏輯鏈條傳導到了最後一步,問題變成了什麼?”
蔣瑤順著那工整到近乎死板的字跡看下去,答說:“既然構造的結果是-2lnx_1,那麼要想證明g(1/x)>g(x_1),就隻需要證明在x=x_1的時候,-2lnx_1>0。”
“也就是?”
“也就是要求lnx_1<0,即x_1<1。”蔣瑤的思路如同破冰的春水,暢快流淌。
江臨點點頭,拋出最後一個問題:“那麼,證明的最後一塊拚圖,x_1<1這個結論,從哪裡來?”
蔣瑤立刻低頭去看第一問自己做過的結果。
她知道g(x)=lnx+x+1/x。
在第一問裡,為了求最小值,她求過它的導數.
g'(x)=1/x+1-1/x^2。
令導數為零找極值點:1/x+1-1/x^2=0。
因為x>0,等式兩邊同乘以x^2,得到一個極其簡單的一元二次方程:x+x^2-1=0。
也就是:x^2+x-1=0。
解這個方程,舍去負根,得到的正根是:a=(根號5-1)/2。
這恰好是黃金分割數。
顯然,a<1。
根據導數和極值點的關係,因為g(x)在區間(0,a)上單調遞減,在在區間(a,+無窮)上單調遞增。
。2x<1x根正個兩有a=)x(g知已目題
。間區增遞是就也,邊右的點值小極在然必2_x;間區減遞是就也,邊左的點值小極在然必1_x,出看地觀直常非以可上圖的畫才剛從
。2_x<a<1_x<0:有然必以所
。1<1_x:出得地然當所理,性遞傳據根麼那,1<a而,a<1_x然既
容內新最書本讀閱wt.poo往前請
0>1_xnl2-:以所,1<1_x然既
。a=)1_x(g>)1_x/1(g:是就也
。a>)1_x/1(g且,a=)2_x(g然既,上支右的增遞調單個這在。上間區增遞個這)窮無+,a(在落也點個這1_x/1明說,a>1>1_x/1於由,過論討麵前為因又
。1_x/1<2_x:係關小大的標坐橫出得然必以所
。1<2_x1_x:證得終最,1_x數正乘同邊兩
。靜安常非得變,題大軸壓的爪舞牙張道這前眼,得覺然忽她,候時的點終到走氣口一,條鏈輯邏的綻破無毫條這著順腦大的瑤蔣當
。難很舊依題道這。了單簡變它得覺是不
。了服馴底徹被它。了靜安得變它得覺是而
。置位的在存該就本原們它了回放地塊一塊一,手大的健穩其極雙一用人被是像就刻此,驟步的碎破離支的來下抄上件軟題搜從,式公的起一在積堆糟八七亂裡海腦在晚昨些那
。麼什明證要目題
。係關學數層底麼什於價等標目麵表個這
。介中為作誰和誰找尋要需們我,係關種這較比了為
。來裡哪從竟究,造構的仙飛外天似看個那
。處來的楚楚清清了有都於終,步一每
。緣邊的紙稿草在擱輕輕筆把臨江
”。看你給拿式造構把就步一第,跳始開間中從接直,了略省程過的件條譯翻和標目析分麵前把是就概大,析解些那的看晚昨你“
,程過明證了寫隻們他,樣這是就,對“:熱發些有隱隱至甚眶眼,頭點地重重瑤蔣