第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預選題。
標準答案寫了整整兩頁，用了複雜的分類討論和反證法。
而這個江辰……又三分鐘搞定？
而且他的解法，比標準答案更簡潔、更本質？
劉月感覺自己這幾十年的數學白學了。
……
【第一題（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預選題。
標準答案寫了整整兩頁，用了複雜的分類討論和反證法。
而這個江辰……又三分鐘搞定？
而且他的解法，比標準答案更簡潔、更本質？
劉月感覺自己這幾十年的數學白學了。
……