【第49章 六分鐘搞定兩道解答題，監考老師感覺幾十年數學白學了！】
------------------------------------------
……
【第一題（45分）】
【設n為正整數，a₁,a₂,…,a_n為實數，滿足∑_{i=1}^n a_i = 0且∑_{i=1}^n a_i² = 1。證明：對任意實數x，有∑_{i=1}^n (a_i - x)² ≥ n/(n-1)。】
江辰看完題乾，腦子裡瞬間跳出三種解法。
解法一：直接用柯西不等式 均值不等式，三步搞定。
解法二：轉化成二次函式最值問題，用判彆式。
解法三：用拉格朗日乘數法（雖然超綱，但簡潔）。
他選了第一種，提筆就寫。
“由條件∑a_i=0，∑a_i²=1，則∑(a_i-x)²=∑a_i² - 2x∑a_i nx² = 1 nx²。”
“需證1 nx² ≥ n/(n-1)，即nx² ≥ 1/(n-1)。”
“由柯西不等式：(∑a_i²)(∑1²) ≥ (∑a_i)²，即n≥0，恒成立。但需另尋不等式……”
“考慮∑(a_i - ā)² = ∑a_i² - nā² = 1，其中ā=0，故∑a_i²=1已給出。”
“實際上，直接由∑(a_i-x)² = ∑a_i² - 2x∑a_i nx² = 1 nx²，當x=0時取最小值1，而需證1 ≥ n/(n-1)？不對，當n＞1時1 ＜ n/(n-1)，故需調整思路……”
江辰停筆，重新看題。
哦，看錯了。
不是證∑(a_i-x)² ≥ n/(n-1)，而是要證∑(a_i-x)² ≥ n/(n-1)對任意x成立。
那更簡單了。
“設f(x)=∑(a_i-x)² = nx² - 2(∑a_i)x ∑a_i² = nx² 1（因為∑a_i=0）。”
“這是關於x的二次函式，開口向上，最小值為1（當x=0時）。”
“需證f(x) ≥ n/(n-1)對任意x成立，即證最小值1 ≥ n/(n-1)？等等，1 ≥ n/(n-1)當且僅當n≤2……”
江辰皺了皺眉。
這題……有問題？
他仔細再讀一遍題乾。
然後他明白了。
“原來如此，是我理解錯了。條件∑a_i=0，∑a_i²=1，但a_i是實數，可正可負。”
“要證的是∑(a_i-x)² ≥ n/(n-1)，即nx² 1 ≥ n/(n-1)，也就是nx² ≥ 1/(n-1)。”
“這不是恒成立的，因為x可以取0。所以……題目隱含了x的取值範圍？不對，題目說‘對任意實數x’，那這不等式就不成立。”
江辰陷入沉思。
三秒後，他反應過來。
“操，被出題人套路了。”
“這題的正確理解是：要證的是存在某個與{a_i}無關的常數C，使得∑(a_i-x)² ≥ C對任意x和任意滿足條件的{a_i}成立，然後求C的最大值。”
“而C的最大值就是n/(n-1)。”
“所以證明分兩步：一是證∑(a_i-x)² ≥ n/(n-1)對所有滿足條件的{a_i}和某個特定的x成立；二是證這個下界是緊的，即存在一組{a_i}和x使等號成立。”
想通了這一點，江辰笑了。
“出題人有點東西啊，還玩文字遊戲。”
他提筆，重新寫：
“證：由柯西不等式，(∑_{i=1}^n a_i)² ≤ n∑_{i=1}^n a_i²，即0 ≤ n·1，恒成立，但此不等式無法直接得到所需結論。”
“考慮固定{a_i}，令f(x)=∑(a_i-x)²=nx² 1，最小值為1（當x=0時）。但1可能小於n/(n-1)（當n＞2時），故需考慮調整{a_i}使下界最大化。”
“實際上，由條件∑a_i=0，∑a_i²=1，可得∑_{i≠j} a_i a_j = -1/2（展開(∑a_i)²=0得）。”
“則∑(a_i-x)² = 1 nx²，要使其下界最大，等價於求1 nx²的最小值？不對，應該是在所有滿足條件的{a_i}中，求min_x max_{a_i} ∑(a_i-x)²？也不是……”
江辰搖了搖頭。
“媽的，這題比我想象的麻煩。”
不過也隻是“麻煩”，不是“難”。
他換了個思路。
“直接用拉格朗日乘數法吧，雖然超綱，但管他呢。”
“考慮優化問題：給定∑a_i=0，∑a_i²=1，求min_x max_{a_i} ∑(a_i-x)²的下界。”
“固定x，求max_{a_i} ∑(a_i-x)²在約束下的最大值……”
“由拉格朗日函式L=∑(a_i-x)² λ∑a_i μ(∑a_i²-1)，求偏導得2(a_i-x) λ 2μa_i=0，解得a_i=(2x-λ)/(2 2μ)……”
“代入約束解λ,μ，最後得最壞情況下∑(a_i-x)² = n/(n-1)……”
三分鐘，密密麻麻寫了一整頁。
寫完，江辰鬆了口氣。
“搞定。”
他看了眼時間：9:43。
……
講台上，監考老師劉月一直在盯著江辰。
看到江辰三分鐘就寫完第一題，她眼珠子都快瞪出來了。
“這……這怎麼可能？”
她忍不住走下講台，假裝巡視，走到江辰身後。
然後她看到了江辰的答案。
從最初的錯誤理解，到重新分析，再到用拉格朗日乘數法完整求解……
步驟嚴謹，邏輯清晰。
而且……全對。
劉月感覺自己的世界觀受到了衝擊。
這可是二試第一題啊！
45分的大題！
往年這種題，頂尖學神也要花二三十分鐘才能做完。
這個江辰……三分鐘？
還用了大學數學的方法？
她深吸一口氣，強迫自己冷靜，繼續看江辰做第二題。
……
【第二題（45分）】
【設S是平麵上有限個點的集合，其中任意三點不共線。稱一個“風箏”是由四個點A,B,C,D∈S組成的四邊形，滿足AB=AD且CB=CD（即兩組鄰邊分彆相等）。證明：如果S中任意四個點都能構成一個風箏，則S的所有點共圓。】
江辰看完題，愣了一下。
“風箏四邊形……共圓……”
他腦子裡瞬間閃過好幾個幾何定理。
“這不是顯然的嗎？”
他提筆就寫：
“證：取S中任意兩點A,B，由條件，對任意另外兩點C,D∈S\\{A,B}，四邊形ABCD是風箏。”
“特彆地，取C為S中異於A,B的任意一點，則存在D（可能與C重合？不，D需異於A,B,C）使AB=AD且CB=CD。”
“但條件說‘任意四個點都能構成一個風箏’，這意味著對任意四點，其中某兩個作為‘肩點’（等鄰邊的公共端點），另外兩個作為‘翼點’。”
“考慮任意三點A,B,C，由條件存在D使AB=AD且CB=CD，即D在AB的中垂線和BC的中垂線交點上，故D是△ABC外心？不對，外心是三條中垂線交點，這裡隻用到兩條……”
“等等，這題需要仔細分析結構。”
江辰停筆，思考了幾秒。
“任意四點都能構成風箏，意味著對任意四點，其中兩點是某等腰三角形的頂點，另外兩點是另一個等腰三角形的頂點，且這兩個等腰三角形共用底邊？不對，風箏是四邊形，兩組等鄰邊。”
“設四點A,B,C,D，風箏結構有兩種可能：要麼A、C是‘肩點’（AB=AD, CB=CD），要麼B、D是‘肩點’（BA=BC, DA=DC）。”
“由任意性，對任意三點A,B,C，考慮第四點D（取S中另一點），則四點A,B,C,D構成風箏。若A是肩點，則AB=AD且CB=CD；若C是肩點，則BA=BC且DA=DC；若B或D是肩點同理。”
“這會導致一係列等量關係……”
江辰在草稿紙上畫了幾個圖。
十秒後，他眼睛一亮。
“有了！”
“引理：若任意四點構成風箏，則對任意三點A,B,C，有AB=AC或BA=BC或CA=CB至少一組成立。”
“證明：取第四點D，若A是肩點，則AB=AD且CB=CD，但這對B,C的關係無直接約束。需另尋思路……”
“更直接的方法：考慮任意三點A,B,C，取S中另一點D，由條件四點構成風箏。若A、C是肩點，則AB=AD且CB=CD，這推出AB=AD，CB=CD，但B、D關係未知。”
“實際上，由風箏定義，四邊形ABCD中，要麼A、C是對角線交點？不，風箏通常指有一組對角相等且鄰邊相等的四邊形……”
江辰皺了皺眉。
這題……有點繞。
但他很快找到了突破口。
“換個角度：風箏四邊形本質上是兩個等腰三角形共用底邊。”
“設四點A,B,C,D，若A、C是肩點，則△ABD和△CBD都是等腰三角形（AB=AD, CB=CD），且共用底邊BD。”
“所以BD是AB和AD的中垂線，也是CB和CD的中垂線？不對，中垂線是直線……”
“實際上，由AB=AD，點A在BD的中垂線上；由CB=CD，點C在BD的中垂線上。所以A、C都在BD的中垂線上，即AC⊥BD且BD中點在AC上？不，中垂線是垂直平分線……”
江辰感覺自己被繞進去了。
“媽的，幾何題就是麻煩。”
他決定用解析幾何暴力破解。
“建立座標係，設點座標，用距離公式表達條件，然後證明這些點共圓……”
“但這樣計算量太大，而且‘任意四點’條件很難用解析式表達。”
江辰想了想，又換了個思路。
“用反證法：假設S不共圓，則存在四點不共圓，推出矛盾。”
“取不共圓的四點A,B,C,D，由條件它們構成風箏。設A、C是肩點，則AB=AD且CB=CD，即A在BD的中垂線上，C也在BD的中垂線上，所以A、C關於BD中垂線對稱？不對，隻是都在同一條直線上……”
“等等，如果A、C都在BD的中垂線上，那麼AC是BD的中垂線？那B、D關於AC對稱，於是AB=AD, CB=CD自然成立……”
“所以隻要A、C在BD的中垂線上，四邊形ABCD就是風箏。”
“那麼問題轉化為：如果任意四點都滿足存在兩點在另外兩點連線的中垂線上，則所有點共圓。”
江辰眼睛越來越亮。
“這就是突破口！”
他提筆疾書：
“證明：假設S不共圓，則存在四點A,B,C,D不共圓。不妨設A、B、C不共圓（因為四點不共圓則必有三點不共圓，再加一點）。”
“取第四點D，由條件A,B,C,D構成風箏。分情況討論……”
三分鐘，第二題搞定。
江辰看了眼時間：9:46。
兩題，六分鐘。
劉月站在江辰身後，已經麻了。
第二題，她作為出題組一員，知道這道題的難度……這是組合幾何的經典難題，改編自一道IMO預選題。
標準答案寫了整整兩頁，用了複雜的分類討論和反證法。
而這個江辰……又三分鐘搞定？
而且他的解法，比標準答案更簡潔、更本質？
劉月感覺自己這幾十年的數學白學了。
……