2.2 基本不等式
两个正数,「和的一半」总不小于「积的平方根」。这一句话能求很多最大值、最小值。先从一个长方形开始。
本节知识点平方和不小于两倍积基本不等式与非负数边界积一定时求和的最小值和一定时求积的最大值下界与可达到的最小值连续估计中的等号同时成立两个正数的均值链(拓展)
第 1 步
从例子进入
一根 20 厘米的铁丝,围成一个长方形。长和宽加起来总是 10 厘米,可围法不同,面积不一样。先点下面的按钮,亲手把铁丝框变形看看:
长 7 cm、宽 3 cm:7+3=10,和不变;面积 7×3=21 cm²,一格 1 cm²。
长 9 cm、宽 1 cm:9+1=10,和不变;面积 9×1=9 cm²,一格 1 cm²。
长 7 cm、宽 3 cm:7+3=10,和不变;面积 7×3=21 cm²,一格 1 cm²。
长 6 cm、宽 4 cm:6+4=10,和不变;面积 6×4=24 cm²,一格 1 cm²。
长 5 cm、宽 5 cm:5+5=10,和不变;面积 5×5=25 cm²,一格 1 cm²。正方形时面积最大。
想一想
看答案与解析
答案:D
算一算:9×1=9,7×3=21,6×4=24,5×5=25。D 最大。
看上面的方格图:长宽的和都是 10,扁长条(9×1)只占 9 格;两条边越接近,围出的方格越多;正好相等成正方形(5×5)时达到满格 25。
这一节就讲这件事:两个正数,和一定时,积在它们相等时最大;反过来,积一定时,和在它们相等时最小。
第 2 步
讲清楚
1. 先认识几个词:从「拉平木条」与「跷跷板」建立直觉
前置知识:算术平方根(初中);2.1 不等式基本性质(回看 2.1)。不用死背名词,先看下面两幅图:
√ab=4 比 (a+b)/2=5 短 1:面积相同的正方形,边长比拉平的高度短,右边的蓝色虚线框多出的就是这一截。
√ab=4 比 (a+b)/2=5 短 1:面积相同的正方形,边长比拉平的高度短,右边的蓝色虚线框多出的就是这一截。
√ab=3 比 (a+b)/2=5 短 2:面积相同的正方形,边长比拉平的高度短,右边的蓝色虚线框多出的就是这一截。
a=b=5:长方形本来就是正方形,√ab=5 与 (a+b)/2=5 一样长。
- 算术平均数 2a+b 是和的一半:把长木条多出的部分切一半补给短木条,两根一刀拉平后的长度,总和不变。
- 几何平均数 ab 是积的平方根:把长 a、宽 b 的长方形变成面积相同的正方形后的边长,乘积不变。
- 长方形越扁(a、b 差得越远),在和固定时围出的面积越小,ab 比 2a+b 矮得越多;当且仅当 a=b(本来就是正方形)时,两者一样高。
2. 核心定理:为什么 ab≤2a+b 永远成立?
对任意两个正数 a>0,b>0,都有:
虚线框是缺口:a+b−2√ab=(√a−√b)2
a=9,b=1 时缺口 (√9−√1)2=4,大于 0,所以 a+b>2√ab。
a=9,b=1 时缺口 (√9−√1)2=4,大于 0,所以 a+b>2√ab。
a=4,b=1 时缺口 (√4−√1)2=1,大于 0,所以 a+b>2√ab。
a=4,b=4 时缺口 (√4−√4)2=0,两条一样长,取到等号 a+b=2√ab。
一行代数证明:任何实数的平方都不小于 0,所以 (a−b)2≥0。把左边展开就是 a+b−2ab≥0,移项得 a+b≥2ab。左边比右边多出来的部分,正好是这个不小于 0 的平方 (a−b)2,当且仅当 a=b 时为 0。
3. 招式一:积一定,求和的最小值(分子分母互消型)
试着用波利亚四问走一遍:读懂题意 → 想办法 → 执行并检查 → 回头看。卡住时按需展开提示,也可以直接看示范;发现条件不合适,就返回重新选方法。
想一想
自己试试:x>0,x+x9 的最小值是?
需要一点方向?
与例 1 比较:哪项条件没变?先找两项的积,再检验相等时的 x 是否在允许范围内。
看答案与解析
答案:B
B。① 正:x>0;② 定:积 x⋅x9=9 是定值,故 x+x9≥29=6;③ 等:当且仅当 x=x9 即 x=3 时取到。选 A 的同学只算了 9,漏乘了公式前面的 2!
4. 招式二:和一定,求积的最大值(周长固定围面积型)
想一想
自己试试:x>0,y>0,x+y=8,xy 的最大值是?
看答案与解析
答案:C
C。xy≤28=4,两边平方得 xy≤16,当且仅当 x=y=4 时取到。选 A 的同学停在了 xy≤4,忘了平方!
5. 用之前必查:「一正、二定、三相等」三大翻车现场
基本不等式看着简单,但考场上十个错九个是因为漏查了下面三件事之一:
再深一点(可以先跳过)
对任意实数都成立的一条:(a−b)2≥0 展开得 a2+b2≥2ab,a,b 正负都行,等号也在 a=b 时取到。别和 a+b≥2ab 混:后者要求 a,b 不是负数,a=b=−1 时 a+b=−2,2ab=2,就错了。
允许非负数:a≥0,b≥0 时结论照样成立(其中有一个为 0 时,ab=0)。课本按正数写,知道 0 也对就行。
几何上看(半圆模型):线段长 a+b,被点 C 分成 a、b 两段,以它为直径画半圆,过 C 的垂线交半圆于 D。由射影定理/相似三角形可知半弦 CD=ab,而半径 OD=2a+b,由直角三角形 OCD 可知 CD≤OD(C=O 时直接有等号)。下一步「动手」①可以亲手拖着看。
连用两次基本不等式的陷阱:一道题里连续用两次基本不等式时,两处的等号条件必须能同时成立,否则算出的下界取不到。「练一练」最后一题就是这种。
第 3 步
动手
① 半圆:拖点 C,比较半弦和半径
直径长 a+b=8。拖动点 C(或选中后按方向键)改变 a。金色线 CD=ab,蓝线是半径 OD=2a+b=4。把 C 拖到正中间看看。
a=2,b=6:√ab=CD≈3.46,(a+b)/2=OD=4。√ab 比 (a+b)/2 小 0.54。a 和 b 差得越多,差距越大。
a=1.3,b=6.7:√ab=CD≈2.95,(a+b)/2=OD=4。√ab 比 (a+b)/2 小 1.05。a 和 b 差得越多,差距越大。
a=4,b=4:√ab=CD=4,(a+b)/2=OD=4。相等:a=b=4,C 正好是圆心,半弦就是半径。
a=0,b=8:√ab=CD=0,(a+b)/2=OD=4。√ab 比 (a+b)/2 小 4。a 和 b 差得越多,差距越大。有一段是 0:√ab=0,不等式仍成立,这就是「非负数」的情形。
② 进阶:等号取不到时,最小值在哪
看 f(x)=x+xk,只在 x≥m 上取值。基本不等式给出 f(x)≥2k,等号要 x=k。先保持 m 很小,看最小值在 x=k;再把 m 拖过 k,看最小值怎么变。圆点 P 也能拖。
蓝虚线是下界 2√k;下界线上的橙点是等号点,实心表示等号取得到,空心表示取不到;取不到时,曲线上另一个实心橙点是范围内的最小值。纵轴会随点 P 的高度调整,曲线与点始终用同一刻度,图窗外的部分裁去。
f(x)=x+4/x,x≥0.1。基本不等式:f(x)≥4,等号要 x=2。2≥0.1,等号取得到:最小值 4,在 x=2 处。点 P:f(3)≈4.33,比下界多 0.33。
f(x)=x+5/x,x≥3.7。基本不等式:f(x)≥2√5≈4.47,等号要 x=√5。√5<3.7,等号取不到:2√5 只是下界。范围内最低点在端点,最小值 f(3.7)≈5.05。点 P:f(7.7)≈8.35,比下界多 3.88。
f(x)=x+7/x,x≥1.3。基本不等式:f(x)≥2√7≈5.29,等号要 x=√7。√7≥1.3,等号取得到:最小值 2√7,在 x=√7 处。点 P:f(7.7)≈8.61,比下界多 3.32。
f(x)=x+2/x,x≥2.3。基本不等式:f(x)≥2√2≈2.83,等号要 x=√2。√2<2.3,等号取不到:2√2 只是下界。范围内最低点在端点,最小值 f(2.3)≈3.17。点 P:f(2.3)≈3.17,比下界多 0.34。
f(x)=x+5/x,x≥1.3。基本不等式:f(x)≥2√5≈4.47,等号要 x=√5。√5≥1.3,等号取得到:最小值 2√5,在 x=√5 处。点 P:f(2.2)≈4.47,紧贴下界。
f(x)=x+2/x,x≥1.5。基本不等式:f(x)≥2√2≈2.83,等号要 x=√2。√2<1.5,等号取不到:2√2 只是下界。范围内最低点在端点,最小值 f(1.5)≈2.83。点 P:f(1.5)≈2.83,紧贴下界。
f(x)=x+3/x,x≥1.8。基本不等式:f(x)≥2√3≈3.46,等号要 x=√3。√3<1.8,等号取不到:2√3 只是下界。范围内最低点在端点,最小值 f(1.8)≈3.47。点 P:f(1.8)≈3.47,紧贴下界。
f(x)=x+5/x,x≥2.3。基本不等式:f(x)≥2√5≈4.47,等号要 x=√5。√5<2.3,等号取不到:2√5 只是下界。范围内最低点在端点,最小值 f(2.3)≈4.47。点 P:f(2.3)≈4.47,紧贴下界。
f(x)=x+6/x,x≥2.5。基本不等式:f(x)≥2√6≈4.9,等号要 x=√6。√6<2.5,等号取不到:2√6 只是下界。范围内最低点在端点,最小值 f(2.5)=4.9。点 P:f(2.5)=4.9,紧贴下界。
f(x)=x+7/x,x≥2.7。基本不等式:f(x)≥2√7≈5.29,等号要 x=√7。√7<2.7,等号取不到:2√7 只是下界。范围内最低点在端点,最小值 f(2.7)≈5.29。点 P:f(2.7)≈5.29,紧贴下界。
f(x)=x+8/x,x≥2.9。基本不等式:f(x)≥2√8≈5.66,等号要 x=√8。√8<2.9,等号取不到:2√8 只是下界。范围内最低点在端点,最小值 f(2.9)≈5.66。点 P:f(2.9)≈5.66,紧贴下界。
第 4 步
练一练
从易到难排好了。前两道直接用,中间两道是最常见的错,最后一道是挑战。
直接用
想一想
看答案与解析
答案:A
A。两个正数 2x 和 x8,积 2x⋅x8=16 是定值,所以和 ≥216=8。等号要 2x=x8,x=2,能取到。选 B 的同学只算了 16;选 C 是代了 x=1,那只是一个值,不是最小的。
想一想
看答案与解析
答案:B
B。和是定值的是 2x 与 y(不是 x 与 y),先凑出来:xy=21⋅(2x)⋅y≤21(22x+y)2=21⋅4=2。等号要 2x=y,配上 2x+y=4 得 x=1,y=2。选 C 的同学把 x、y 当成和为 4 了。
易错
想一想
- x 是不等于 0 的实数。x+x1 的最小值是?
看答案与解析
答案:C
C。「正」这一条不满足:题目没说 x>0。取 x=−1,值是 −2;取 x=−10,值是 −10.1;x 往负的方向走,值要多小有多小。
A 只在 x>0 时对。B 的 −2 是 x<0 时的最大值,不是最小值。
想一想
- x≥3,x+x4 的最小值是?
先回顾例 1:式子相同,只有取值范围改变。原解答中的哪一步需要重新检查?先独立判断,卡住再看提示。
提示 1:下界还是最小值?
先解两项相等的方程,再与 x≥3 比较。某个下界取不到,并不代表函数没有最小值。
提示 2:换一条路线找候选值
在「动手」②中设 k=4,m=3,观察允许范围内的最低处。图只能帮助猜测;还要把原式减去候选值,证明差对所有 x≥3 都非负。
看答案与解析
答案:B
B。「等」这一条不满足:x+x4≥4 没错,但等号要 x=2,不在 x≥3 里,4 只是下界。在「动手」②里把 k 调成 4、m 调成 3:这一段一直往上走,最低点在端点 x=3,值是 3+34=313。代数验证不需要等到后面章节:当 x≥3 时,x+x4−313=3x(x−3)(3x−4)≥0.分母为正,分子两因式非负,且等号当且仅当 x=3,所以这就是最小值。
回顾与迁移:改条件后,基本不等式仍成立,失效的是「下界能够取到」这一步。下次遇到范围限制,先检验等号;必要时回到计划,用图找候选、用代数证明,别照搬上一题的最小值。
挑战
想一想
- a>0,b>0,a+2b=1。a1+b1 的最小值是?
看答案与解析
答案:B
B。常见错法:a1+b1≥ab2,又 1=a+2b≥22ab,两步一接得 ≥42。可第一步等号要 a=b,第二步要 a=2b,不可能同时成立,42 取不到。
正确做法只用一次:a1+b1=(a1+b1)(a+2b)=3+a2b+ba≥3+22,等号在 a=2b 时取到,配上 a+2b=1 得 b=22−2、a=2−1,都是正数,能取到。
第 5 步
高考真题
先独立作答,做完再对照分步解析。选择题点选项自动判对错;填空题写法不同时,看答案自己判。要用到后面章节的题收在最后,学到那里再做。
2013 重庆卷(理科) 第 3 题 · 单选
(3−a)(a+6) (−6≤a≤3) 的最大值为( )。
看答案与解析
答案:B
根号下两因子非负且和为9,用两数的算术平均控制几何平均。
检查条件并估计上界
当 −6≤a≤3 时,3−a≥0、a+6≥0。由基本不等式,(3−a)(a+6)≤2(3−a)+(a+6)=29。
检查等号能否达到
等号要求 3−a=a+6,得 a=−23,确实属于给定区间。此时两个因子都为 29,原式等于 29,故最大值为 29,选 B。
固定和求乘积上界,要同时交代非负、定和与可取的等号点。
2025 北京卷 第 6 题 · 单选
看答案与解析
答案:C
恒成立结论需要覆盖所有正数,先查基本不等式及等号。
证明 C
由基本不等式 a+b≥2ab,而 ab>0,故 a+b>ab。
排除 A 与 B
A 在 a=b=1 时两边相等;B 取 a=b=1/4,左边为 8,右边为 16,不成立。
排除 D
取 a=1,b=4,D 左边为 5/4,右边为 1,不成立。故选 C。
证明恒成立要用一般推导;否定恒成立只需一个合法反例。