那天下午一個剛接觸不等式證明的朋友給我發(fā)來這道題“已知正數(shù) a 和 b 的和是 2怎么證明 a3 b3 ≥ 2” 他試了幾種直接代入的方法總覺得差一口氣不是計算太繁瑣就是走到一半卡住。這其實是一個特別典型的場景——題目條件簡潔結(jié)論也清晰但就是不知道從哪里切入才能既優(yōu)雅又嚴謹?shù)赝瓿勺C明。這類“約束條件下求最值”的問題在很多地方都會遇到比如優(yōu)化問題中的邊界條件驗證或者物理模型中的能量最小狀態(tài)判斷。它的價值不在于證明過程本身多復(fù)雜而在于它訓(xùn)練我們?nèi)绾伟蚜闵⒌臈l件和結(jié)論用一條清晰的邏輯鏈串聯(lián)起來。很多人一看到三次方和第一反應(yīng)是展開 (ab)3但那樣會引入 ab 項反而把問題復(fù)雜化了。真正關(guān)鍵的一步是意識到當 a 和 b 的和固定時它們的立方和其實和它們的“分散程度”有關(guān)。a 和 b 越接近立方和反而越小越偏離立方和越大。這個直覺才是整個證明的基石。1. 先建立直覺為什么 a 和 b 越接近a3b3 反而可能越小我們先用幾個具體的數(shù)字來感受一下。如果 a1, b1那么 ab2a3b3112。如果 a1.5, b0.5那么 ab2a3b33.3750.1253.5。如果 a1.9, b0.1那么 ab2a3b36.8590.0016.86。如果 a2, b0但注意題目要求是正數(shù)所以 b 不能為 0但可以無限接近 0。假設(shè) a1.999, b0.001那么 a3b3 會非常接近 8。從這個簡單的數(shù)值實驗可以看出當 a 和 b 都等于 1 時立方和最小正好是 2。只要 a 和 b 偏離相等的情況立方和都會大于 2。也就是說我們要證明的 a3b3 ≥ 2其實是在說“在 ab2 且 a,b0 的條件下a3b3 的最小值是 2并且當 ab1 時取到”。這個直覺非常重要因為它告訴我們證明的方向不是要硬算而是要證明 a3b3 在 ab1 時取得最小值。2. 用標準不等式工具均值不等式直接證明均值不等式是處理這類問題最有力的工具之一。對于正數(shù) a 和 b均值不等式告訴我們平方平均數(shù) ≥ 算術(shù)平均數(shù) ≥ 幾何平均數(shù) ≥ 調(diào)和平均數(shù)具體到我們的問題需要的是算術(shù)平均數(shù)和立方平均數(shù)之間的關(guān)系。實際上有一個更直接的不等式a3 b3 ≥ (ab)3/4。讓我來證明這個不等式我們知道 (ab)3 a3 b3 3ab(ab)因為 ab2所以(2)3 a3 b3 3ab×28 a3 b3 6ab現(xiàn)在要證明 a3 b3 ≥ 2等價于證明 8 - 6ab ≤ a3 b3不對重新整理一下。由 8 a3 b3 6ab 可得a3 b3 8 - 6ab所以要證明 a3 b3 ≥ 2就等價于證明 8 - 6ab ≥ 2即 6ab ≤ 6也就是 ab ≤ 1?，F(xiàn)在問題轉(zhuǎn)化為在 ab2, a,b0 的條件下證明 ab ≤ 1。這個就很簡單了由均值不等式算術(shù)平均數(shù)≥幾何平均數(shù)(ab)/2 ≥ √(ab)即 2/2 ≥ √(ab) → 1 ≥ √(ab) → ab ≤ 1當且僅當 ab1 時取等號。這樣我們就完成了證明由 ab2 得到 a3b3 8-6ab證明 ab ≤ 1因此 a3b3 8-6ab ≥ 8-6×1 23. 另一種思路用凸函數(shù)性質(zhì)證明從函數(shù)的角度看f(x)x3 在 x0 時是一個凸函數(shù)因為二階導(dǎo)數(shù) f(x)6x0。對于凸函數(shù)有詹森不等式Jensens Inequalityf((ab)/2) ≤ (f(a)f(b))/2應(yīng)用到我們的問題f(1) ≤ (f(a)f(b))/2因為 (ab)/21即 13 ≤ (a3b3)/2 → 1 ≤ (a3b3)/2 → a3b3 ≥ 2這種證明方法更加簡潔直接利用了函數(shù)的凸性。它背后的直觀意義是凸函數(shù)在兩點之間的函數(shù)值不會低于連接這兩點的弦對應(yīng)的值。當 ab 固定時a 和 b 越偏離平均值函數(shù)值的和就越大。4. 為什么不能直接用三次方展開很多人的第一反應(yīng)是展開 (ab)3(ab)3 a3 3a2b 3ab2 b3 a3 b3 3ab(ab)因為 ab2所以8 a3 b3 6ab到這里都是正確的但接下來如果試圖直接從這個表達式證明 a3b3 ≥ 2就需要處理 ab 項。有些初學者會想到用 AM-GM 不等式ab ≤ ((ab)/2)2 1然后認為既然 ab ≤ 1那么 6ab ≤ 6所以 a3b3 8-6ab ≥ 2。這種思路其實是對的但需要特別注意邏輯順序。嚴格來說應(yīng)該是由 ab2 得到 a3b3 8-6ab由 AM-GM 得到 ab ≤ 1因此 -ab ≥ -1注意不等式方向反轉(zhuǎn)所以 -6ab ≥ -6因此 8-6ab ≥ 8-6 2關(guān)鍵是要注意當乘以負數(shù)時不等式方向要反轉(zhuǎn)。這是很多人在證明時容易忽略的細節(jié)。5. 推廣到一般情況abs 時 a3b3 的最小值我們可以把這個問題推廣到更一般的情況如果 abss0那么 a3b3 的最小值是多少用詹森不等式f((ab)/2) ≤ (f(a)f(b))/2f(s/2) ≤ (a3b3)/2(s/2)3 ≤ (a3b3)/2a3b3 ≥ 2×(s/2)3 s3/4當且僅當 abs/2 時取等號。用我們前面的方法驗證a3b3 (ab)3 - 3ab(ab) s3 - 3abs由 AM-GMab ≤ ((ab)/2)2 s2/4所以 -ab ≥ -s2/4-3abs ≥ -3s3/4s3 - 3abs ≥ s3 - 3s3/4 s3/4結(jié)論一致。特別地當 s2 時最小值就是 8/42這就是我們原題的情況。6. 這類問題的通用解題框架通過這個例子我們可以總結(jié)出處理約束條件下多項式最值問題的通用方法6.1 第一步建立直覺判斷先用具體數(shù)值代入觀察變化趨勢判斷是要求最大值還是最小值以及取最值時的條件。這能幫你確定證明的方向。6.2 第二步選擇合適的不等式工具均值不等式系列適合次數(shù)不超過2的情況或者可以轉(zhuǎn)化為次數(shù)不超過2的情況詹森不等式當函數(shù)是凸函數(shù)或凹函數(shù)時特別有效柯西-施瓦茨不等式適合涉及平方和的情況排序不等式當變量可以排序時使用6.3 第三步將原問題轉(zhuǎn)化為更簡單的問題比如在這個問題中我們把 a3b3 的證明轉(zhuǎn)化為了 ab 的證明后者更容易處理。6.4 第四步注意取等條件不等式證明中取等號的條件很重要它告訴你這個下界或上界是否是緊的可以達到的。6.5 第五步驗證特殊情況用具體的數(shù)值驗證你的結(jié)論確保沒有邏輯錯誤。7. 實際應(yīng)用中的注意事項在實際使用這類不等式時有幾個容易出錯的點需要特別注意7.1 不等式方向乘以負數(shù)時不等式方向要反轉(zhuǎn)。這是最常見的錯誤來源之一。7.2 取等條件檢查要驗證取等條件是否在允許的范圍內(nèi)。比如本題中 ab1 確實滿足 a,b0 且 ab2。7.3 函數(shù)凸性判斷使用詹森不等式時要確認函數(shù)的凸性。f(x)x3 在 x0 時是凸函數(shù)但在 x0 時是凹函數(shù)方向會相反。7.4 約束條件的充分利用本題中的約束條件 ab2 被充分利用了。如果忽略這個條件證明就無法進行。8. 更深入的思考為什么這類問題重要這種看似簡單的不等式證明問題實際上訓(xùn)練的是幾種重要的數(shù)學思維能力轉(zhuǎn)化能力把復(fù)雜問題轉(zhuǎn)化為簡單問題的能力。本題中把三次方和問題轉(zhuǎn)化為一次方積的問題。選擇工具的能力在多種證明方法中選擇最優(yōu)雅、最有效的方法。直覺與嚴謹?shù)钠胶庀韧ㄟ^數(shù)值實驗建立直覺再用嚴謹?shù)臄?shù)學語言證明。推廣能力從特殊到一般發(fā)現(xiàn)規(guī)律性的結(jié)論。在實際的工程和科研中這種在約束條件下求極值的思維模式無處不在。比如在資源分配問題中我們經(jīng)常需要在總資源固定的情況下優(yōu)化某個效益函數(shù)在機器學習中正則化項可以看作是一種約束我們在約束條件下最小化損失函數(shù)。這個具體的題目最終指向的是一個更通用的方法論當你面對一個復(fù)雜問題時先理解它的本質(zhì)特征這里是固定和下的立方和然后找到合適的工具不等式來揭示其中的規(guī)律最后把特殊的結(jié)論推廣到更一般的情況。