均值不等式
#
均值不等式是数学中常用的一类基本不等式, 也被推广为多种不等式. 这里介绍均值不等式最简单的形式.
对于任意 a, b∈R, 恒有 (a−b)2⩾0, 展开后移项得 a2+b2⩾2ab即2a2+b2⩾ab.
不等式中等号成立的充要条件是 a=b, 也记为: “=”成立当且仅当 a=b. 把上面两个式子中的 a 和 b 分别换成 x 和 y (此时必须限制 x, y⩾0), 可知 x+y⩾2xy即2x+y⩾xy.
上式中的 2x+y 与 xy 分别叫做非负实数 x 与 y 的算术平均值与几何平均值, 所以上面最后一个不等式也称为均值不等式, 即
均值不等式: 2x+y⩾xy,x,y⩾0.
该不等式有时也称为基本不等式. 以上不等式均为常用不等式, 且都可以互相推出.
使用均值不等式时, 必须检验等号成立的条件. 如对 x>2, 由 x+x1⩾2 不能得到 x+x1 的取值范围是 [2,+∞), 因为此时等号成立的条件是 x=1, 与已知 x>2 不符. 求取值范围时, 正确的解法是先判断函数 y=x+x1 在 x>2 时的单调性 (即函数值的增减性).
利用均值不等式求最值
#
利用均值不等式 (或其等价形式) 可以很方便地求特殊形式的式子的最大 (小) 值. 例如, 若 x>0, 则 x+x1⩾2x⋅x1=2,
“=”成立当且仅当 x=x1 即 x=1. 一般地, 可得如下结论 (均设 x, y⩾0):
(1) 若 xy=L 为定值, 则 x+y⩾2xy=2L,
所以 x+y 的最小值为 2L, “=”成立当且仅当 x=y=L;
(2) 若 x+y=M 为定值, 则 xy⩽2x+y=2M,xy⩽(2M)2=4M2,
所以 xy 的最大值为 4M2, “=”成立当且仅当 x=y=2M. 这个结论也可以由二次函数的图象得出: xy=x(M−x) 是 x 的二次函数, 对称轴为 x=2M, 图象开口向下, 故最大值为 4M2.
运用上述结论时, 应直接利用均值不等式 x+y⩾2xy 推理, 且应注意该不等式成立的前提是 x, y⩾0, 还必须检验等号成立的充要条件“x=y”.
(1) 设正数 x, y 满足 xy=4, 求 x+2y 的最小值;
(2) 设正数 x, y 满足 x+2y=4, 求 xy 的最大值;
(3) 设 a,b 为正数, 求 ab+b3a 的最小值.
(1) x+2y⩾22xy=42, “=”成立当且仅当 x=2y, 结合 xy=4 知 x=22, y=2, 则 x+y 的最小值为 4.
(2) 4=x+2y⩾22xy, 则 xy⩽2, 等号成立当且仅当 x=2y, 结合 x+2y=4 知 x=2, y=1 所以 xy 的最大值为 2.
(3) 因为 ab+b3a⩾2ab⋅b3a=23,
等号成立当且仅当 ab=b3a 即 3a=b, 所以 ab+ba 的最小值为 2.
(1) 以上各问列出等号成立的条件时, 均需与已知条件联立求解, 以确保所得变量取值合乎已知条件.
(2) 上述 (3) 中, 条件“a,b 为正数”可以进一步放宽为“ab>0”.
(1) 当函数 y=x2+x29 (x=0) 取最小值时, 求对应的 x 的值.
(2) 若实数 x,y 满足 xy=1, 求 x2+4y2 的最小值.
(3) 条件“x>0”是“x2+x21⩾2”的什么条件?
参考答案
(1) x2+x29⩾29=6, 等号成立当且仅当 x=±3.
(2) x2+4y2⩾4xy=4, 等号成立当且仅当 x=±2, y=±22.
(3) 因为 x2 恒非负, 所以只要 x=0, 就有 x2>0, 此时 x2+x21⩾2. 这表明 x2+x21⩾2 的充要条件是 x=0. 再与 x>0 对比可知, “x>0”是“x2+x21⩾2”的充分不必要条件.
有时, 要求取值范围的式子不能直接用均值不等式, 但可以通过变形化为能用均值不等式的形式, 或需要利用均值不等式做媒介得到新的不等式.
(1) 若 x>−3, 求 x+x+32 的最小值;
(2) 若正实数 x,y 满足 2x+y+6=xy, 求 xy 和 2x+y 各自的最大值.
(1) 利用 x>−3 直接凑出均值不等式的形式, x+x+32=(x+3)+x+32−3⩾22−3,
等号成立当且仅当 x=2−3, 即 x+x+32 的最小值为 22−3.
(2) 由 2x+y⩾22xy 和已知, xy−6⩾22xy⇒xy⩾18,2x+y⩾22(2x+y+6)⇒2x+y⩾12,
等号成立当且仅当 2x=y=6. 所以 xy 的最大值为 18, 2x+y 的最大值为 12.
上例 (2) 中得到分别关于 xy 和 2x+y 的根式不等式, 平方后均可按二次不等式求解.
(1) 若 x>3, 求 x+x−32 的最小值;
(2) 设正数 a,b 满足 a2+2ab+4b2=3, 求 ab 的最大值.
参考答案
(1) 因为 x>3 表示 x−3>0, 所以 (x−3)+x−32⩾22,x+x−32⩾22+3,
等号成立当且仅当 x=3+2, 即 x+x−32 的最小值为 22+3.
(2) 由 a2+4b2⩾4ab 和已知, 3−2ab⩾4ab,ab⩽21,
等号成立当且仅当 a2=4b2 即 a=2b, 结合已知等式解得, a=1, b=21.
(1) 设 t>0, 求 tt2−4t+1 的最小值和对应的 t 的值.
(2) 若 x>0, 求 x2+116x 的最大值.
(1) 方法一: 因为 t>0, 所以由均值不等式, tt2−4t+1=t+t1−4⩾2t⋅t1−4=−2,
“=”成立当且仅当 t=t1 即 t=1. 所以最小值为 −2, 且对应的 t=1.
方法二: 因为 t>0, 所以由均值不等式, t2+1⩾2t, 则 tt2−4t+1⩾t2t−4t=−2,
“=”成立当且仅当 t=1. 所以最小值为 −2, 且对应的 t=1.
(2) 方法一: 因为 x>0, 所以对原式的分子和分母同除以 x, 以便于用均值不等式 (注意分母为正数且变小, 故分式增大), x2+116x=x+x116⩾2x⋅x116=8,
“=”成立当且仅当 x=x1 即 x=1. 因此所求最大值为 8.
方法二: 直接对原式分母用均值不等式, 则 x2+116x⩽2x2⋅116x=8,
“=”成立当且仅当 x=x1 即 x=1. 因此所求最大值为 8.
均值不等式与几何题
#
均值不等式 2x+y⩾xy (x, y⩾0) 有明显的几何意义. 如下图所示, 线段 AB 是半圆 O 的直径, 任取半圆上一点 C, 作 CD⊥AB 于点 D, 则 △ADC∼△CDB⇒CD2=AD⋅DB.
因为半径 CO⩾CD, 且 CO=21AB=2AD+DB,CD=AD⋅DB,
所以 2AD+DB⩾AD⋅DB. 这就是均值不等式.

利用均值不等式解几何题时, 关键是要根据题意, 写出其中几何量满足的条件, 所以需要对各几何图形的常见性质比较熟悉.
(1) 设 Rt△ABC 的面积为 1, 且 C=90∘, 求该三角形周长的最小值;
(2) 一个矩形内接于半径为 1 的圆, 求该矩形的面积和周长各自的最大值.
(1) 设角 A,B,C 的对应边长为 a,b,c, 则 21ab=1 即 ab=2, 且由勾股定理, c2=a2+b2. 所以 a+b⩾2ab=22,c=a2+b2⩾2ab=2,
等号成立当且仅当 a=b=2, 此时 △ABC 为等腰直角三角形, 从而该三角形的周长 a+b+c⩾22+2,
即最小值为 22+2.
(2) 设该矩形的两个邻边长为 a,b. 由题意, 矩形的对角线为圆的直径, 所以 a2+b2=22=4,ab⩽2a2+b2=2,
即矩形面积的最大值为 2, 此时 a=b=2. 因为 (a+b)2=a2+b2+2ab⩾4+4=8,
所以 a+b⩾22, 即矩形周长 2(a+b) 的最大值为 42, 此时仍有 a=b=2.
上例 (2) 的结论表明: 定圆的内接矩形中, 正方形的周长和面积均为最大. 这个结论后续可以进一步推广为: 定圆的内接 n 边形中, 正 n 边形的周长和面积均为最大.
设 Rt△ABC 的周长为 2+22, 且 C=90∘, 求该三角形面积的最大值.
参考答案
设角 A,B,C 的对应边长为 a,b,c, 则 a+b+c=2+22,c2=a2+b2.
因为 a+b⩾2ab,c=a2+b2⩾2ab,
代入周长表达式知, 2+22⩾2ab+2ab,
解得 ab⩽2, 等号成立当且仅当 a=b=2, 此时 △ABC 为等腰直角三角形. 从而该三角形的面积 21ab⩽1, 即最大值为 1.
均值不等式与恒成立问题
#
与代数式有关的恒成立问题, 解法通常是先求代数式的取值范围. 例如, 设正实数 x,y 满足 x+y=2, 且 M⩾xy 恒成立, 由此来确定 M 的最小值. 因为 x+y⩾2xy⇒2⩾2xy,
所以 xy∈(0,1], 且 xy=1 当且仅当 x=y=1. 由 M⩾xy 恒成立可知 M⩾1, 即 M 的最小值为 1.
(1) 若 x, y>0 且 x2y+y8x>m2+2m 恒成立, 求 m 的取值范围.
(2) 已知二次函数 y=ax2−4x+c (x∈R) 的值域为 [0,+∞), 求 c1+a9 的最小值.
(1) 由 x2y+y8x⩾216=8, 等号成立当且仅当 2x=y, 知 8>m2+2m,m∈(−4,2).
(2) 由已知, 抛物线 y=ax2−4x+c 与 x 轴相切, 考虑判别式知, Δ=(−4)2−4ac=0,ac=4,
所以 c1+a9⩾2ac9=3,
等号成立当且仅当 a=9c 即 a=6, c=32.
若 ∀x>0, x+x2+a>0 恒成立, 求 a 的取值范围.
参考答案
由题意, 只需不等式左边的最小值大于零. 由均值不等式, x+x2⩾2x⋅x2=22,
“=”成立当且仅当 x=x2 即 x=2, 所以只需
22+a>0⇒a∈(−22,+∞).
均值不等式的推广
#
若 a>0, b>0 且 a=b, 比较 2a+b, ab, 2a2+b2 的大小.
由均值不等式, ab⩽2a+b. 但已知 a=b, 所以等号不成立, 即 ab<2a+b. 再考虑 2a+b 和 2a2+b2 的大小. 因为 (带根号的式子, 先平方去掉根号) (2a2+b2)2−(2a+b)2=4(a−b)2>0,
所以 2a2+b2>2a+b, 故 ab<2a+b<2a2+b2.
进一步可以证明, 若 a, b>0, 则 a+b2ab⩽ab⩽2a+b⩽2a2+b2,
“=”成立当且仅当 a=b.
设正数 a,b 满足 a2+4b2+ab1=4, 求 a,b 的值.
由均值不等式, a2+4b2+ab1⩾4ab+ab1⩾4,
等号成立当且仅当 a2=4b2 且 4ab=ab1, 解得 a=1, b=21. (这里用了两次均值不等式, 所以需要写出两个等号成立的条件.)