均值定理的解题技巧——掌握逻辑本质，突破数学瓶颈

【结构识别训练】

判断以下问题应采用哪种模型：

• 已知 $x>0$，求 $y = x + frac{4}{x}$ 的最小值 → 积定（4）→ 求和最小
• 已知 $x>0$，求 $y = x(8-x)$ 的最大值 → 和定（8）→ 求积最大
• 已知 $x>0$，求 $y = x + frac{1}{x} + frac{1}{x(x+1)}$ 的最小值 → 需拆项构造和定

【经典陷阱题】

已知 $x < 0$，求函数 $y = 2x + frac{1}{x}$ 的最大值

错误解法：$y = 2x + frac{1}{x} le -2sqrt{2x cdot frac{1}{x}} = -2sqrt{2}$

问题所在：$2x < 0$，不能直接套用正数均值不等式

正确解法：令 $t = -x > 0$，则 $y = -2t - frac{1}{t} = -left(2t + frac{1}{t}right) le -2sqrt{2t cdot frac{1}{t}} = -2sqrt{2}$，当且仅当 $2t = frac{1}{t}$ 即 $t = frac{sqrt{2}}{2}$ 时取等号

【等号失效案例】

求 $y = x^2 + frac{4}{x^2 + 1}$ 的最小值

错误解法：$y = (x^2 + 1) + frac{4}{x^2 + 1} - 1 ge 2sqrt{(x^2 + 1) cdot frac{4}{x^2 + 1}} - 1 = 4 - 1 = 3$

问题所在：等号成立当且仅当 $x^2 + 1 = frac{4}{x^2 + 1}$，即 $(x^2 + 1)^2 = 4$，解得 $x^2 + 1 = 2$（因 $x^2 + 1 > 0$），所以 $x = pm 1$，等号可取！

但若题目改为 $y = x^2 + frac{4}{x^2 + 2}$，则 $y = (x^2 + 2) + frac{4}{x^2 + 2} - 2 ge 2sqrt{4} - 2 = 2$，等号当 $x^2 + 2 = 2$ 即 $x=0$ 时成立，仍可取

而若 $y = x^2 + frac{9}{x^2 + 1}$，则 $y = (x^2 + 1) + frac{9}{x^2 + 1} - 1 ge 2sqrt{9} - 1 = 5$，等号当 $x^2 + 1 = 3$ 即 $x = pm sqrt{2}$ 时成立

【对比案例】

求 $y = x + frac{4}{x+1}$（$x > -1$）的最小值

错误拆法：$y = x + frac{4}{x+1} = (x+1) + frac{4}{x+1} - 1 ge 2sqrt{4} - 1 = 3$，当 $x+1=2$ 即 $x=1$ 时取等号

正确拆法：保持分母整体性，令 $t = x+1 > 0$，则 $y = t-1 + frac{4}{t} = t + frac{4}{t} - 1$，同上得最小值3

错误拆法（过度）：$y = frac{x}{2} + frac{x}{2} + frac{4}{x+1}$，试图三元均值，但 $x/2 + x/2 = x$ 与原式重复，反而增加复杂度

【隐含条件陷阱】

求 $y = sqrt{x} + frac{4}{sqrt{x}+2}$（$x ge 0$）的最小值

错误分析：未注意 $sqrt{x} ge 0$，令 $t = sqrt{x} ge 0$，则 $y = t + frac{4}{t+2}$

若直接套均值：$t + frac{4}{t+2} = (t+2) + frac{4}{t+2} - 2 ge 2sqrt{4} - 2 = 2$，等号当 $t+2=2$ 即 $t=0$ 时成立

验证：$t=0$ 时 $y=0 + frac{4}{2}=2$，确实成立

但若题目改为 $y = sqrt{x} + frac{4}{sqrt{x}-2}$（$x > 4$），则 $t > 2$，$y = t + frac{4}{t-2} = (t-2) + frac{4}{t-2} + 2 ge 2sqrt{4} + 2 = 6$，等号当 $t-2=2$ 即 $t=4$ 时成立

【完整案例】2023年高考数学全国卷Ⅰ第12题

已知 $a>0, b>0$，且 $a^3 + b^3 = 2$，证明：$(a+b)(a^5 + b^5) ge 4$

解题思路：

• 步骤1：展开左边 $(a+b)(a^5 + b^5) = a^6 + ab^5 + ba^5 + b^6 = a^6 + b^6 + ab(a^4 + b^4)$
• 步骤2：利用 $a^3 + b^3 = 2$，考虑用均值不等式关联高次幂
• 步骤3：注意到 $a^6 + b^6 ge 2sqrt{a^6b^6} = 2a^3b^3$
• 步骤4：$a^4 + b^4 ge 2sqrt{a^4b^4} = 2a^2b^2$，所以 $ab(a^4 + b^4) ge 2a^3b^3$
• 步骤5：相加得 $(a+b)(a^5 + b^5) ge 4a^3b^3$
• 步骤6：由 $a^3 + b^3 = 2 ge 2sqrt{a^3b^3}$ 得 $a^3b^3 le 1$，故 $4a^3b^3 le 4$？
  （此处方向错误！）
• 修正思路：改用柯西不等式 $(a^3 + b^3)(a^3 + b^3) ge (a^3 + b^3)^2$，或直接令 $a=b=1$ 验证等号成立，再证明单调性

更优解法：令 $a = sqrt[3]{2}cos^{frac{2}{3}}theta$, $b = sqrt[3]{2}sin^{frac{2}{3}}theta$，但超出均值不等式范围

实际高考解法：利用 $a^3 + b^3 = (a+b)^3 - 3ab(a+b) = 2$，令 $s = a+b$，则 $ab = frac{s^3 - 2}{3s}$

再结合 $(a+b)(a^5 + b^5) = s^6 - 5s^4 ab + 5s^2 (ab)^2$，代入后化简得 $4 + (s^2 - 2)^2 ge 4$

【三元应用案例】

已知 $a,b,c>0$，$a+b+c=3$，求 $abc$ 的最大值

解：由 $frac{a+b+c}{3} ge sqrt[3]{abc}$ 得 $1 ge sqrt[3]{abc}$，即 $abc le 1$

当 $a=b=c=1$ 时取等号，最大值为1

【几何应用案例】

等周问题：周长固定的矩形中，正方形面积最大

角形面积：在两边 $a,b$ 和夹角 $theta$ 固定时，面积 $frac{1}{2}absintheta$ 在 $theta=90^circ$ 时最大

立体几何：表面积固定的长方体中，正方体体积最大

【案例】2021年全国乙卷第21题

已知函数 $f(x) = ln x + frac{1}{x} + ax$（$a>0$），若 $f(x) ge 1$ 恒成立，求 $a$ 的取值范围

解：求导得 $f'(x) = frac{1}{x} - frac{1}{x^2} + a = frac{x-1}{x^2} + a$

令 $f'(x)=0$，分析单调性；在极小值点 $x_0$ 处，$f(x_0) ge 1$

利用均值不等式估计：$ln x_0 + frac{1}{x_0} ge 2sqrt{ln x_0 cdot frac{1}{x_0}}$，但需谨慎使用

【自测工具】

完成以下3题，检验掌握程度：

1. 求 $y = x + frac{4}{x}$（$x>0$）的最小值
2. 已知 $x>0$，求 $y = x(4-x)$ 的最大值
3. 证明：当 $x>0$ 时，$x + frac{1}{x} + frac{1}{x + frac{1}{x}} ge frac{5}{2}$

答案：① 4；② 4；③ 令 $t = x + frac{1}{x} ge 2$，则 $y = t + frac{1}{t}$，在 $t=2$ 时 $y=2.5$，单调性验证...