这类不等式证明题最值得先看的不是公式本身，而是它到底在考什么。题目给的条件很简单：两个正数 a 和 b 的和固定为 2，要证明 a³ + b³ 至少是 2。如果你直接展开立方和公式，很容易陷入复杂的代数变形，但实际这类题有更清晰的思路——它本质上是在考察固定和条件下，立方和的最小值出现在哪里。
我一般会先确认边界情况：当 a 和 b 都取 1 时，a³ + b³ = 2，正好等于目标值。但题目要求证明的是“≥2”，所以关键是要说明在 a 和 b 偏离 1 时，立方和不会比 2 更小。下面按实际推导顺序拆解一遍。
1. 先明确题目条件和核心思路
题目有两个关键约束：a > 0, b > 0，且 a + b = 2。要证明的是 a³ + b³ ≥ 2。
这类“固定和求表达式极值”的问题，常见思路有三种：
- 代入消元法：用 b = 2 - a 把问题转化为单变量函数求极值。
- 均值不等式法：利用算术平均-几何平均不等式（AM-GM）或其它不等式链。
- 对称性分析：由于 a 和 b 在条件中完全对称，极值很可能出现在 a = b 时。
对于新手，我建议先从代入法开始，因为它最直接，计算过程也容易验证。有经验的读者可以直接跳到均值不等式或 Jensen 不等式的思路，但代入法能帮你看清函数变化的全貌。
1.1 为什么先试代入法而不是直接套公式
很多人在看到立方和时，第一反应是展开公式 a³ + b³ = (a + b)(a² - ab + b²)。这个公式本身没错，但直接代入 a + b = 2 后，你得到的是 2(a² - ab + b²)，还需要继续处理 a² - ab + b² 的最小值。这反而多了一步转换。
更直接的做法是设 b = 2 - a，则立方和变为： f(a) = a³ + (2 - a)³ 展开后是一个关于 a 的三次函数，求它在 a ∈ (0, 2) 区间的最小值。这种方法虽然计算量稍大，但每一步都是机械展开，不容易出错，而且能让你看到整个函数的变化趋势。
1.2 均值不等式的适用条件判断
均值不等式要求表达式是齐次的，且不等式方向符合 Jensen 不等式的凸性条件。对于立方和，由于函数 y = x³ 在 x > 0 时是凸函数（二阶导数 6x > 0），根据 Jensen 不等式，有： (a³ + b³)/2 ≥ [(a + b)/2]³ 代入 a + b = 2，右边等于 1，所以 a³ + b³ ≥ 2。
这种解法非常简洁，但需要你先确认 x³ 在正数区间是凸函数。如果对凸性概念不熟，直接套用可能会漏掉关键条件。
2. 代入法详细推导：从展开到求导验证
代入法的好处是每一步都可以手算验证，适合初次接触不等式证明的人。下面我按实际计算顺序写一遍，重点不是记住公式，而是理解为什么每一步这样做。
2.1 设立函数并展开
由 a + b = 2，设 b = 2 - a，则： a³ + b³ = a³ + (2 - a)³
展开 (2 - a)³： (2 - a)³ = 8 - 12a + 6a² - a³
所以： f(a) = a³ + 8 - 12a + 6a² - a³ = 6a² - 12a + 8
这里立方项 a³ 和 -a³ 正好抵消，函数简化为二次函数 f(a) = 6a² - 12a + 8。这是整个推导的关键简化点——如果不是固定和等于 2，立方项不会完全抵消。
2.2 分析二次函数的最小值
f(a) = 6a² - 12a + 8 是一个开口向上的抛物线（二次项系数 6 > 0），最小值在顶点处。
顶点横坐标 a = -b/(2a) = 12/(2×6) = 1。 代入 a = 1 得： f(1) = 6×1² - 12×1 + 8 = 6 - 12 + 8 = 2。
由于抛物线开口向上，a = 1 是最小值点，且 f(a) ≥ 2 对所有 a 成立。结合定义域 a ∈ (0, 2)，显然在区间内 f(a) ≥ 2。
2.3 为什么还要检查定义域边界
虽然最小值在 a = 1 处取得，但理论上如果定义域是闭区间 [0, 2]，还需要检查端点值。但题目要求 a 和 b 都是正数，所以 a 不能等于 0 或 2，只能无限接近。
当 a → 0⁺ 时，b → 2，f(a) → 0³ + 2³ = 8 > 2。 当 a → 2⁻ 时，b → 0，f(a) → 2³ + 0³ = 8 > 2。
所以即使在边界附近，立方和也大于 2。这说明最小值确实在 a = b = 1 时取得，且最小值为 2。
3. 均值不等式法的具体操作和条件验证
对于有经验的解题者，均值不等式法更快捷。但要注意完整写出条件验证，否则可能丢分。
3.1 直接应用 AM-GM 不等式
由 a + b = 2，得算术平均 (a + b)/2 = 1。 根据 AM-GM 不等式：√(ab) ≤ (a + b)/2 = 1，所以 ab ≤ 1。
现在考虑立方和与乘积的关系。我们知道： a³ + b³ = (a + b)³ - 3ab(a + b) = 8 - 6ab。
由于 ab ≤ 1，所以 -6ab ≥ -6，因此： a³ + b³ = 8 - 6ab ≥ 8 - 6×1 = 2。
等号成立当且仅当 ab = 1，结合 a + b = 2，解得 a = b = 1。
3.2 利用凸函数性质（Jensen 不等式）
函数 f(x) = x³ 在 x > 0 时是凸函数，因为二阶导数 f''(x) = 6x > 0。
Jensen 不等式说：对于凸函数，有 f((a + b)/2) ≤ (f(a) + f(b))/2。
代入 f(x) = x³ 和 (a + b)/2 = 1： 1³ ≤ (a³ + b³)/2 所以 a³ + b³ ≥ 2。
等号成立当且仅当 a = b = 1。
这种方法最简洁，但需要你明确写出“f(x) = x³ 在正数区间是凸函数”这一条件。
4. 常见错误和验证要点
在实际解题或教学过程中，有几个地方容易出错，我一般会重点检查。
4.1 错误一：忽略正数条件
如果 a 和 b 可以是负数，结论就不成立。例如 a = 3, b = -1，满足 a + b = 2，但 a³ + b³ = 27 + (-1) = 26 ≥ 2 虽然成立，但如果取 a = 10, b = -8，和仍为 2，但立方和 1000 + (-512) = 488 也大于 2。实际上，当 a 和 b 可取负数时，立方和可以非常小（甚至趋向负无穷），所以正数条件至关重要。
4.2 错误二：误用不等式方向
有人可能会错误地认为： a³ + b³ ≥ (a + b)³/4 这个不等式在 a, b ≥ 0 时确实成立（可由均值不等式推出），但直接得到的是 a³ + b³ ≥ 8/4 = 2。虽然结果正确，但需要先证明这个不等式成立，否则不能直接使用。
更稳妥的做法是使用标准的 AM-GM 或 Jensen 不等式。
4.3 验证等号成立条件
任何不等式证明，最后都要说明等号成立的条件。这里等号在 a = b = 1 时成立，符合 a, b > 0 且 a + b = 2。如果等号在定义域内取不到，就需要调整结论（例如改为严格不等式）。
5. 推广到一般情况和备考建议
这个题的本质是：固定和 a + b = s（s > 0），求 a³ + b³ 的最小值。由凸性可知，最小值在 a = b = s/2 时取得，最小值为 2×(s/2)³ = s³/4。
所以对于一般情况，有 a³ + b³ ≥ (a + b)³/4，等号当且仅当 a = b 时成立。
5.1 在数学竞赛或考试中的书写规范
如果是在正式考试中，我建议按以下步骤书写：
- 条件重申：由题知 a > 0, b > 0，且 a + b = 2。
- 方法选择：使用均值不等式法或 Jensen 不等式法（选择你最熟悉的一种）。
- 完整推导：如“由 Jensen 不等式，因 f(x) = x³ 在 x > 0 时凸，故 (a³ + b³)/2 ≥ [(a + b)/2]³ = 1，所以 a³ + b³ ≥ 2。”
- 取等条件：等号成立当且仅当 a = b = 1。
整个过程要简洁，但关键条件（正数、凸性）不能省略。
5.2 如何检查自己的证明是否正确
完成证明后，可以快速验证几个点：
- 取 a = b = 1，检查等号是否成立。
- 取 a = 0.5, b = 1.5，计算立方和是否大于 2。
- 确认没有用到 invalid 的假设（如默认 a, b 对称）。
- 检查不等式方向是否一致。
对于这类固定和的不等式，最终结论往往是当两个变量相等时取极值。记住这个规律可以帮助你快速验证答案的合理性。
我个人更建议初学者先用代入法完整算一遍，然后再用不等式法对照。这样既能保证计算准确，又能理解不同方法之间的联系。如果直接套用高级不等式，可能忽略定义域或取等条件这些关键细节。
