定义 若 $a,b \in \mathbb{R}^+$，则 $\frac{a+b}{2} \ge \sqrt{ab}$，当且仅当 $a=b$ 时取等号。
从哪来 本节为高三复习起点，无前置知识点记录，直接基于高中数学代数基础构建。
为什么 核心在于“平方非负性”。因为 $(a-b)^2 \ge 0$ 恒成立，展开得 $a^2 - 2ab + b^2 \ge 0$，移项得 $a^2 + b^2 \ge 2ab$。两边同除以2并开方（因 $a,b>0$），即得 $\frac{a+b}{2} \ge \sqrt{ab}$。这揭示了算术平均数不小于几何平均数的几何本质：在固定周长下，正方形面积最大；或在固定面积下，正方形周长最小。
代数推导法
直接从 $(a-b)^2 \ge 0$ 出发，一步步推导出不等式。
适合：逻辑严密、喜欢从定义和公理出发、对几何直观不敏感的学生。
几何面积法
画一个边长为 $a$ 和 $b$ 的正方形，拼成一个大正方形，中间留一个边长为 $|a-b|$ 的小正方形空洞。大正方形面积 $a^2+b^2$ 减去空洞面积 $(a-b)^2$ 等于 $2ab$，直观展示 $a^2+b^2 \ge 2ab$。
适合：形象思维强、喜欢通过图形理解抽象概念、对纯代数推导感到枯燥的学生。
函数极值法
设 $f(x) = x + \frac{k}{x} (x>0, k>0)$，利用导数求极值，发现当 $x=\sqrt{k}$ 时取得最小值 $2\sqrt{k}$，从而反向验证不等式。
适合：已经熟练掌握导数工具、习惯用函数观点看问题、准备应对复杂最值问题的学生。