求最小值：一道不等式的八种解法

一道不等式问题的八种解法：从三角换元到权方和不等式

不等式问题如同一个充满惊喜的迷宫，每条路径都可能通向答案，但最美的风景往往藏在最巧妙的解法中．

在数学竞赛和强基计划中，不等式问题常常成为区分数学思维高度的关键．
今天，我们将深入探讨一道来自东南大学2025年强基计划的题目．

题目回顾：

设正数 $a$、$b$、$c$ 满足 $a^2+b^2=c^2$，求最大的常数 $k$，使得不等式$$\frac{a^3+b^3+c^3}{abc}\ge k$$恒成立．

🔍 问题背景与结论

• 约束条件：$a^2+b^2=c^2$（$c$ 为斜边）
• 目标：求使不等式恒成立的最大常数 $k$
• 最终答案：$k=2+\sqrt{2}$（当 $a=b=\frac{\sqrt{2}}{2}c$ 时取等）

🔺 解法一：三角换元

思路：利用勾股数的三角表示，将代数问题转化为三角函数的最值问题．
设 $a=c\sin \theta$，$b=c\cos \theta$，$\theta \in (0,\frac{\pi }{2})$．目标转化为：

$$\frac{a^3+b^3+c^3}{abc}=\frac{c^3{\sin }^3\theta +c^3{\cos }^2\theta +c^3}{c^3\sin \theta \cos \theta }$$

$$=\frac{(\sin \theta +\cos \theta )({\sin }^2\theta -\sin \theta \cos \theta +{\cos }^2\theta )+1}{\sin \theta \cos \theta }$$

$$=\frac{(\sin \theta +\cos \theta )(1-\sin \theta \cos \theta )+1}{\sin \theta \cos \theta }$$
$$=\frac{\sin \theta +\cos \theta +1}{\sin \theta \cos \theta }-(\sin \theta +\cos \theta )，$$

令 $t=\sin \theta +\cos \theta =\sqrt{2}\sin (\theta +\frac{\pi }{4})\in (1,\sqrt{2}]$，则 $\sin \theta \cos \theta =\frac{t^2-1}{2}$．
目标式化为：
$$f(t)=\frac{2}{t-1}-t$$
$f(t)$ 在 $t\in (1,\sqrt{2}]$ 上单调递减，当 $t=\sqrt{2}$ 时取得最小值，最小值为$f(\sqrt{2})=2+\sqrt{2}$

✅ 关键点：三角换元将多元问题转化为单变量函数，利用单调性轻松得解．

⚖️ 解法二：对称假设

根据齐次性，不妨设$c=1$，则表达式可化为：
$$\frac{a^3+b^3+1}{ab}=\frac{a^2}{b}+\frac{b^2}{a}+\frac{1}{ab}$$
利用柯西不等式可得：
$$\frac{a^2}{b}+\frac{b^2}{a}+\frac{1}{ab}\ge \frac{1}{2}(a^2+b^2)\left(\frac{1}{a}+\frac{1}{b}\right)+\frac{1}{ab}$$

$$\ge \frac{1}{\sqrt{ab}}+\frac{1}{ab}\ge 2+\sqrt{2}$$

当且仅当$a=b=\frac{\sqrt{2}}{2}$，即$a:b:c=1:1:\sqrt{2}$时，等号成立。
因此，$k$的最大值为$2+\sqrt{2}$。

💡 点睛：对称性假设简化问题，均值不等式实现有效放缩．

📊 解法三：变量替换

思路：引入中间变量表示和与积．
设 $x=a+b$，$y=ab$，约束 $a^2+b^2=c^2=1$ 化为 $x^2-2y=1$．
由条件$x^2\ge 4y>0$，可得$y=\frac{x^2-1}{2}$（其中$1<x\le \sqrt{2}$）。
因此
$$\frac{a^3+b^3+c^3}{abc}=\frac{(a+b{)}^3-3ab(a+b)+1}{ab}$$

$$=\frac{x^3-3xy+1}{y}=\frac{2x^3-3x(x^2-1)+2}{x^2-1}$$

$$=\frac{-x^3+3x+2}{x^2-1}=\frac{-(x+1)(x^2-x-2)}{(x+1)(x-1)}$$

$$=\frac{2}{x-1}-x\ge \sqrt{2}+2,$$

当$x=\sqrt{2}$，$y=\frac{1}{2}$时，即$a=b=\frac{\sqrt{2}}{2}$，$c=1$（此时$a:b:c=1:1:\sqrt{2}$）时等号成立．
因此，$k$的最大值为$\sqrt{2}+2$．

🌟 优势：代数变形统一变量，函数单调性保证最值存在性．

🎯 解法四：先猜后证

思路：先猜测最小值，再构造不等式证明．

1. 特殊值探路：结合齐次性和对称性，不妨取 $a=b=1$，$c=\sqrt{2}$，得
   $$\frac{1^3+1^3+(\sqrt{2}{)}^3}{1\cdot 1\cdot \sqrt{2}}=2+\sqrt{2}．$$
2. 不等式构造证明：
   $$\{\begin{array}{l}\sqrt{2}{c}^3+a^3+b^3\ge \frac{3\sqrt{2}}{2}abc\\ \left(1-\frac{\sqrt{2}}{4}\right)c^3\ge 2\left(1-\frac{\sqrt{2}}{4}\right)abc\end{array}$$
   相加得 $a^3+b^3+c^3\ge (2+\sqrt{2})abc$．
   故$k$的最大值为$2+\sqrt{2}$．

🔍 策略：特殊值探路确定目标，构造合适不等式实现证明．

📉 解法五：函数分析

思路：转化为单变量函数的最值问题．
设$a=\lambda c$，$b=\mu c$，其中$\lambda >0$，$\mu >0$。

由${\lambda }^2+{\mu }^2=1\ge 2\lambda \mu$，可得$0<\lambda \mu \le \frac{1}{2}$，于是有
$$\frac{a^3+b^3+c^3}{abc}=\frac{{\lambda }^3+{\mu }^3+1}{\lambda \mu }\ge \frac{2\lambda \mu \sqrt{\lambda \mu }}{\lambda \mu }+\frac{1}{\lambda \mu }=2\sqrt{\lambda \mu }+\frac{1}{\lambda \mu }，$$

令$t=\sqrt{\lambda \mu }\in (0,\frac{\sqrt{2}}{2}]$，定义函数$f(t)=2t+\frac{1}{t^2}$。由于导函数$f^{\prime }(t)=2-\frac{2}{t^3}=\frac{2(t^3-1)}{t^3}<0$在区间$(0,\frac{\sqrt{2}}{2}]$上恒成立，故$f(t)$在该区间内单调递减。
因此，函数的最小值为$f{(t)}_{\min }=f(\frac{\sqrt{2}}{2})=2+\sqrt{2}$
当$t=\sqrt{\lambda \mu }=\frac{\sqrt{2}}{2}$ 且 $\lambda =\mu$时，即$a:b:c=1:1:\sqrt{2}$时取得最小值。

⚙️ 核心：多元问题单变量化，函数导数工具显威力．

🔷 解法六：权方和不等式

思路：应用权方和不等式处理高次项．
由$c^2=a^2+b^2\ge 2ab$，可得$ab\le \frac{c^2}{2}$．
根据权方和不等式，有
$$a^3+b^3=\frac{(a^2{)}^{3/2}}{1^{1/2}}+\frac{(b^2{)}^{3/2}}{1^{1/2}}\ge \frac{(a^2+b^2{)}^{3/2}}{(1+1{)}^{1/2}}=\frac{\sqrt{2}}{2}{c}^3，$$

因此，
$$\frac{a^3+b^3+c^3}{abc}\ge \frac{\frac{\sqrt{2}}{2}{c}^3+c^3}{\frac{c^2}{2}\cdot c}=2+\sqrt{2}，$$

当且仅当$a=b=\frac{\sqrt{2}}{2}c$，即$a:b:c=1:1:\sqrt{2}$时等号成立。

🚀 威力：权方和不等式直接处理高次项，避免复杂变形．

📐 解法七：均值不等式

思路：利用均值不等式．
根据不等式$a^2+b^2=c^2\ge 2ab$，可得$\frac{ab}{c^2}\le \frac{1}{2}$．于是有
$$\frac{a^3+b^3+c^3}{abc}=\frac{a^2}{bc}+\frac{b^2}{ac}+\frac{c^2}{ab}\ge 2\sqrt{\frac{a^2}{bc}\cdot \frac{b^2}{ac}}+\frac{c^2}{ab}=2\frac{\sqrt{ab}}{c}+\frac{c^2}{ab}．$$

令$t=\frac{\sqrt{ab}}{c}\in (0,\frac{\sqrt{2}}{2}]$，定义函数$f(t)=2t+\frac{1}{t^2}$．由于导数
$$f^{\prime }(t)=2-\frac{2}{t^3}=\frac{2(t^3-1)}{t^3}<0,$$

在区间$(0,\frac{\sqrt{2}}{2}]$上恒成立，因此$f(t)$在该区间内单调递减，
其最小值为$f(t{)}_{\min }=f\left(\frac{\sqrt{2}}{2}\right)=2+\sqrt{2}$
当且仅当$t=\frac{\sqrt{ab}}{c}=\frac{\sqrt{2}}{2}$且$a=b$时，即$a:b:c=1:1:\sqrt{2}$时取得最小值。
因此，$k$的最大值为$\sqrt{2}+2$。

🧩 技巧：柯西不等式实现有效放缩，结合约束条件调整．

🧮 解法八：减少变量

思路：从减少变量个数角度理解问题．
将$c$用$a,b$表示，由$c^2=a^2+b^2$，可得$c=\sqrt{a^2+b^2}$，于是
$$\frac{a^3+b^3+c^3}{abc}=\left(\frac{a^2}{b}+\frac{b^2}{a}\right)\frac{1}{c}+\frac{c^2}{ab}\ge \frac{2\sqrt{ab}}{\sqrt{a^2+b^2}}+\frac{a^2+b^2}{ab},$$
令$t=\sqrt{\frac{ab}{a^2+b^2}}\in (0,\frac{\sqrt{2}}{2}]$，定义函数$f(t)=2t+\frac{1}{t^2}$．

由于$f^{\prime }(t)=2-\frac{2}{t^3}=\frac{2(t^3-1)}{t^3}<0$对所有$t\in (0,\frac{\sqrt{2}}{2}]$ 成立．

因此$f(t)$在$(0,\frac{\sqrt{2}}{2}]$上单调递减，其最小值为$f(t{)}_{\min }=f\left(\frac{\sqrt{2}}{2}\right)=2+\sqrt{2}$，
当$t=\sqrt{\frac{ab}{a^2+b^2}}=\frac{\sqrt{2}}{2}$且$a=b$时，即$a:b:c=1:1:\sqrt{2}$时取得最小值．
因此，$k$的最大值为$\sqrt{2}+2$．

🌌 视角：减少变量个数，代数严谨性保证证明．

💎 总结：数学思维的多彩光谱

结论：$k_{\text{max}}=2+\sqrt{2}$

探索永无止境，数学在于不断发现．
欢迎批评指正，转载请您注明出处．