基本不等式

两种平均数：算术与几何

在中学的数系与不等式性质中，我们熟悉了实数的大小比较。现在，让我们考察任意两个正实数 $a$ 与 $b$ 的两种常见平均方式：

• 算术平均数（Arithmetic Mean）：$\dfrac{a+b}{2}$
  • 表示两数相加后的等分值，对应几何中的线段中点位置。
• 几何平均数（Geometric Mean）：$\sqrt{ab}$
  • 表示面积为 $ab$ 的矩形转化为等面积正方形时的边长。

核心问题：对于给定的正实数 $a$ 和 $b$，这两种平均数之间存在什么确定的大小关系？

---

几何直觉一：半圆中的半弦与半径

我们可以通过圆的几何性质来直观观察 $a$ 与 $b$ 的关系：

• 以 $a+b$ 为直径作半圆，圆心为 $O$，半径 $R = \dfrac{a+b}{2}$。
• 在直径上取点 $P$，使 $AP = a, PB = b$。过 $P$ 作直径的垂线交半圆于 $Q$。由射影定理（或直角三角形相似）可得 $PQ = \sqrt{ab}$。
• 在 $\triangle OPQ$ 中，斜边 $OQ$ 恒大于等于直角边 $PQ$，即 $\sqrt{ab} \le \dfrac{a+b}{2}$。

---

几何直觉二：图形面积关系

除了半圆，我们还可以用面积割补法（如赵爽弦图的构想）验证该关系：

• 用 4 个长为 $a$、宽为 $b$ 的矩形围绕拼成边长为 $a+b$ 的大正方形。
• 中间留出的空白小正方形边长为 $|a-b|$，面积为 $(a-b)^2 \ge 0$。
• 整体面积公式：$(a+b)^2 = 4ab + (a-b)^2 \ge 4ab$。
• 两边开平方并除以 $2$，即得：$\dfrac{a+b}{2} \ge \sqrt{ab}$。

---

基本不等式雏形与等号条件

结合上述几何直观，我们得到关于非负实数的核心结论：

基本不等式（雏形）
对任意实数 $a \ge 0, b \ge 0$，均有：
$\sqrt{ab} \le \frac{a+b}{2}$

• 文字表述：两个非负实数的几何平均数不超过它们的算术平均数。
• 等号成立条件：
  • 几何上：当 $P$ 点与圆心 $O$ 重合（或中间空白正方形缩小至 $0$）时，即 $a = b$ 时，等号成立。
• 适用前提：$a, b$ 必须均非负，保证根号内部有意义。

---

例题精讲：已知定和求积的最大值

例题：已知正实数 $x, y$ 满足 $x + y = 8$，求乘积 $xy$ 的最大值，以及此时 $x, y$ 的取值。

分析与解题步骤（一）：

1. 结构识别：已知两数之和为定值（$x+y=8$），目标是确定乘积 $xy$ 的上限。
2. 应用不等式：因为 $x, y > 0$，由基本不等式可得：
   $\sqrt{xy} \le \frac{x+y}{2}$

---

例题精讲：求解与结论（续）

解题步骤（二）：
3. 代入计算：将 $x+y=8$ 代入不等式：
$\sqrt{xy} \le \frac{8}{2} = 4 \implies xy \le 16$
4. 确定条件：当且仅当 $x = y$ 时等号成立。结合 $x + y = 8$，解得 $x = 4, y = 4$。

• 答：乘积 $xy$ 的最大值为 $16$，此时 $x = 4, y = 4$。

教师点评：利用基本不等式求最值时，必须确保三要素——一正（$x,y>0$）、二定（和或积为常数）、三相等（取等条件能满足）。