基本不等式

官官方数学老师·15 页·深入（追求细节与边界）·0 次浏览·2 天前
✦ 基本不等式数学基本不等式
均值不等式几何证明深度解析

基本不等式

从几何直觉到严格证明，彻底搞懂均值不等式的本质与适用边界

按 空格/→ 演示下一步

1 / 15 页

全部页面点击任意一页，跳回舞台从这页播放

均值不等式几何证明深度解析

基本不等式

从几何直觉到严格证明，彻底搞懂均值不等式的本质与适用边界

1第 1 页 · 基本不等式

算术平均数

上一页基本不等式里出现了两个「平均数」，这页锁定左边那个——算术平均数 A。从小学算平均分开始，我们就在用它：全班成绩相加除以人数，结果就叫 A。

标准定义
把 n 个数求和后除以 n，记作 A
夹逼性质
A 始终夹在最小值与最大值之间
加权推广
权重不等时 A_w = Σwᵢaᵢ / Σwᵢ，是柯西等的入口
等号条件
当且仅当所有数相等时，A 退化为同一个值
切蛋糕均分对应 →算术平均数

把 n 块大小不一的蛋糕叠一起再均分成 n 份，每份大小就是 A

A=a1+a2+⋯+annA = \frac{a_1 + a_2 + \cdots + a_n}{n}
2第 2 页 · 算术平均数

几何平均数

上页我们谈了算术平均——把数加起来除以个数。但平均不只这一种：投资回报率要相乘、矩形要变等面积正方形——都需要另一种视角。这就是几何平均数。

一般定义
n 个正数乘积的 n 次方根，记作 G_n = ⁿ√(x₁·x₂·…·xₙ)
两数特例
G(a,b)=√(ab)，最常用的形式
几何含义
边长 a、b 矩形，等面积正方形边长即 G；"几何"之名由此来
非负前提
仅非负数有意义；含 0 则 G=0；负数下偶次根无实数解
与算术平均对比
对非负数恒有 G≤A，等号当且仅当所有数相等
矩形变等面积正方形对应 →几何平均数

边长 a×b 矩形面积为 ab，等面积正方形边长 √(ab) 就是 G，几何之名由此来

G(a,b)=abGn=x1x2⋯xnnG(a,b) = \sqrt{ab} \qquad G_n = \sqrt[n]{x_1 x_2 \cdots x_n}
3第 3 页 · 几何平均数

算术 vs 几何

同样是「平均」，算术平均数与几何平均数却常给出不同值。它们的大小关系（AM≥GM）与适用场景，是基本不等式的核心。

算术平均数 A
  • 定义：把所有数加起来再除以 n，平等地加总再平分
  • 直观：在数轴上等权求重心，对应「加法」语义
  • 大小：一般 ≥ 几何平均数（AM≥GM）
  • 适用：求和、平均速度、总分求平均等线性场景
几何平均数 G
  • 定义：把所有数乘起来再开 n 次方，平等地连乘再开方
  • 直观：以乘积守恒的等比中项，对应「乘法」语义
  • 大小：一般 ≤ 算术平均数（AM≥GM）
  • 适用：增长率、连乘、缩放比例等乘积场景
加法语义选 A，乘法语义选 G。AM≥GM 给出 G 是 A 下界，是基本不等式证明中最常用的构造。
4第 4 页 · 算术 vs 几何

基本不等式的引入

从上一页我们已知道：算术平均数总不小于几何平均数。但那只是定性描述。现在把它写成严格的不等式，再加上取等条件——基本不等式就登场了。

不等式形式
对任意正数 a,b，恒有 (a+b)/2 ≥ √(ab)
取等关键
等号当且仅当 a=b 时成立，这是应用的钥匙
几何解读
周长 2s 固定时，正方形面积 ab 最大（边界即等号）
边界禁区
必须 a,b>0，否则 √(ab) 无意义，不等式失效
弹簧拉伸对应 →算术与几何的差距

a、b 差得越远（拉伸越大），AM 与 GM 差距越大；a=b（自然长度）时差距为 0

a+b2≥ab(a,b>0)\frac{a+b}{2} \geq \sqrt{ab} \quad (a, b > 0)
5第 5 页 · 基本不等式的引入

代数证明：完全平方法

从完全平方式 (√a−√b)² ≥ 0 出发，代数推出 (a+b)/2 ≥ √(ab)。

1
预设条件
设 a, b ≥ 0，保证 √a、√b 都是实数
2
构造完全平方
考察 (√a − √b)²，这是恒存在的完全平方式
3
展开并移项
展开得 a − 2√(ab) + b ≥ 0，即 a + b ≥ 2√(ab)
4
两端除 2
两边同除以 2，得到 (a+b)/2 ≥ √(ab)
6第 6 页 · 代数证明：完全平方法

几何解释：圆的启示

用圆的半径与半弦构建几何直观

几何解释：圆的启示
用圆的半径与半弦构建几何直观
7第 7 页 · 几何解释：圆的启示

一正二定三相等

上一页用圆的几何直观解释了 a²+b² ≥ 2ab 为什么成立。但考试时拿到一个新式子，凭什么判断能不能用、什么时候取等号？这就要靠「一正二定三相等」——三个条件缺一不可。

一正：两项为正
a、b 必须为正；非正时根号无意义，且对负数套用不等号方向会反转
二定：和或积为定值
和或积为常数；否则两个均值都在变，无法锁定最值
三相等：等号条件
等号成立当且仅当 a = b，此时恰好取到所求的最值
围栏围地求最大面积对应 →二定条件下的最值问题

周长固定下围成正方形面积最大；两边不等则浪费两端长度

a+b2≥ab, a,b>0, 等号当且仅当 a=b\frac{a+b}{2} \geq \sqrt{ab},\ a,b > 0,\ \text{等号当且仅当 } a = b
8第 8 页 · 一正二定三相等

完全平方不等式的推导

完全平方公式到基本不等式，看似一步之遥，实则每步都有讲究。

1
选定平方
取 a, b ≥ 0，由 (√a - √b)² ≥ 0 起步
2
展开配方
打开括号得 a + b - 2√(ab) ≥ 0
3
移项变形
把 2√(ab) 移到右边：a + b ≥ 2√(ab)
4
两边除二
得 (a+b)/2 ≥ √(ab)，AM ≥ GM 成立
9第 9 页 · 完全平方不等式的推导

两种不等式的对比

两个名字看着不一样，其实是一回事——一个是结论，另一个是它的'出生证明'。

基本不等式
  • 表达式：a²+b² ≥ 2ab
  • 适用：a、b 为任意实数
  • 取等：a = b 时等号成立
  • 角色：直接可用的结论
完全平方不等式
  • 表达式：(a−b)² ≥ 0
  • 适用：a、b 为任意实数
  • 取等：a = b 时等号成立
  • 角色：证明基本不等式的依据
它们是同一件事——完全平方不等式是源头，基本不等式是从它展开得到的成品。
10第 10 页 · 两种不等式的对比

证明方法的联系

从两条证明方法出发，追寻它们汇合的根。

图解渲染中…
A：目标：算术平均 ≥ 几何平均D：代数侧：把 (√a-√b)² 展开E：几何侧：半圆上构直角三角形G：两路汇于一处：平方的非负性
11第 11 页 · 证明方法的联系

代数证明不等式的方法

上一页我们看到不同证明方法其实彼此相通。现在打开「代数工具箱」，盘点最常用的四种方法——配方法、比较法、综合法、分析法，每一种都有自己的使用场景。

配方法
利用 (a−b)² ≥ 0 等完全平方非负性构造证明
比较法
作差 A−B 看符号，或作商 A/B 与 1 比较大小
综合法
由因导果，从已知不等式正向推导到目标结论
分析法
执果索因，从待证结论反推其充分条件
登山对应 →代数证明

配方法=架桥补全路径、比较法=量两地距离、综合法=从山脚向上、分析法=从山顶往下规划路线

12第 12 页 · 代数证明不等式的方法

几何方法解释不等式

数形结合的多种构造方式

几何方法解释不等式
数形结合的多种构造方式
13第 13 页 · 几何方法解释不等式

核心理解检验

点击作答

若正数 a, b 满足 √(ab) = (a+b)/2, 则 a, b 必满足：

14第 14 页 · 核心理解检验

课后思考

带着问题继续深入探索

课后思考
带着问题继续深入探索
15第 15 页 · 课后思考
基本不等式 · 知识图解