定义 对于任意正实数 $a,b,c$，满足 $\frac{a+b+c}{3} \ge \sqrt[3]{abc}$，当且仅当 $a=b=c$ 时取等号。
从哪来 本节为高三第1讲起点，图谱未记录前置知识点，故直接基于高中数学基础代数运算及不等式性质展开。
为什么 该不等式本质是函数 $f(x) = \ln x$ 的凹性（Jensen不等式）或 $f(x) = x^3$ 的凸性在离散点上的体现。
从代数角度，可通过“消元法”推导：设 $a,b,c > 0$，令 $x = \sqrt[3]{a}, y = \sqrt[3]{b}, z = \sqrt[3]{c}$，则需证 $x+y+z \ge 3\sqrt[3]{xyz}$。
更直观的几何解释是：在体积固定的长方体中，正方体的表面积最小；反之，表面积固定的长方体中，正方体的体积最大。均值不等式揭示了“和定积最大”与“积定和最小”的内在联系，反映了算术平均数（线性尺度）总是大于等于几何平均数（乘积尺度）这一普遍规律。
讲法
适合类型：逻辑严密、喜欢代数推导的学生
讲法：利用二元均值不等式递推。
先复习二元均值不等式 $a+b \ge 2\sqrt{ab}$。
对于三个数 $a,b,c$，我们可以构造：
1. $a+b \ge 2\sqrt{ab}$
2. $\sqrt{ab}+c \ge 2\sqrt{c\sqrt{ab}}$
这种直接相加无法得到 $\frac{a+b+c}{3}$ 的形式。
正确路径是：
由 $a+b \ge 2\sqrt{ab}$，得 $a+b+c \ge 2\sqrt{ab}+c$。
再对 $2\sqrt{ab}+c$ 使用均值不等式？不行，系数不对。
修正推导（标准代数法）：
利用 $x^3+y^3+z^3-3xyz = (x+y+z)(x^2+y^2+z^2-xy-yz-zx)$。
因为 $x^2+y^2+z^2-xy-yz-zx = \frac{1}{2}[(x-y)^2+(y-z)^2+(z-x)^2] \ge 0$，
且 $x,y,z > 0 \implies x+y+z > 0$，
所以 $x^3+y^3+z^3 \ge 3xyz$。
令 $x=\sqrt[3]{a}, y=\sqrt[3]{b}, z=\sqrt[3]{c}$，即得 $a+b+c \ge 3\sqrt[3]{abc}$。
此法强调代数恒等变形的严谨性。
适合类型：直观思维强、擅长几何联想的学生**
**讲法：几何体积法。**
想象一个长方体，长宽高分别为 $a,b,c$。
1. **算术平均数** $\frac{a+b+c}{3}$ 代表什么？它不是直接的几何量，但可以理解为“平均边长”。
2. **几何平均数** $\sqrt[3]{abc}$ 是体积 $V=abc$ 的立方根，即“等效正方体的边长”。
**核心逻辑
在所有体积为 $V$ 的长方体中，正方体（$a=b=c=\sqrt[3]{V}$）的表面积最小，或者说，在“边长总和”一定的情况下，正方体体积最大。
虽然“边长和”不是表面积，但我们可以用更直观的
“和定积最大”模型：
固定 $a+b+c=S$（常数），求 $abc$ 的最大值。
当 $a=b=c=S/3$ 时，$abc$ 取得最大值 $(S/3)^3$。
即 $abc \le (\frac{a+b+c}{3})^3$，开方得证。
此法强调“极端情况”和“对称性”带来的最值。
讲法
适合类型：抽象思维好、接受函数思想的学生
讲法：函数单调性与极值法（微积分思想渗透）。
设 $f(a,b,c) = abc$，约束条件 $g(a,b,c) = a+b+c = S$。
使用拉格朗日乘数法思想（或简单求导）：
$\frac{\partial (abc)}{\partial a} = bc$，$\frac{\partial (a+b+c)}{\partial a} = 1$。
在极值点，梯度平行：$bc = \lambda \cdot 1$，$ac = \lambda \cdot 1$，$ab = \lambda \cdot 1$。
由此得 $bc=ac=ab$。
因为 $a,b,c > 0$，所以 $a=b=c$。
此时 $a=b=c=S/3$，代入得 $abc = (S/3)^3$。
由于这是唯一驻点且边界处积为0（小于内部值），故为最大值。
此法为后续学习多元函数极值埋下伏笔。