均值不等式

均值不等式 #

均值不等式是数学中常用的一类基本不等式, 也被推广为多种不等式. 这里介绍均值不等式最简单的形式.

对于任意 aa, bRb\in\mathbf{R}, 恒有 (ab)20(a-b)^2\geqslant 0, 展开后移项得 a2+b22aba2+b22ab. a^2+b^2\geqslant 2ab\quad\text{即}\quad \frac{a^2+b^2}2\geqslant ab. 不等式中等号成立的充要条件是 a=ba=b, 也记为: “==”成立当且仅当 a=ba=b. 把上面两个式子中的 aabb 分别换成 x\sqrt{x}y\sqrt{y} (此时必须限制 xx, y0y\geqslant 0), 可知 x+y2xyx+y2xy. x+y\geqslant 2\sqrt{xy}\quad\text{即}\quad \frac{x+y}2\geqslant \sqrt{xy}. 上式中的 x+y2\dfrac{x+y}2xy\sqrt{xy} 分别叫做非负实数 xxyy算术平均值几何平均值, 所以上面最后一个不等式也称为均值不等式, 即 均值不等式: x+y2xy,x,y0.\text{均值不等式:}\ \frac{x+y}2\geqslant \sqrt{xy},\quad x,y\geqslant 0. 该不等式有时也称为基本不等式. 以上不等式均为常用不等式, 且都可以互相推出.

使用均值不等式时, 必须检验等号成立的条件. 如对 x>2x>2, 由 x+1x2x+\dfrac1x\geqslant 2 不能得到 x+1xx+\dfrac1x 的取值范围是 [2,+)[2,+\infty), 因为此时等号成立的条件是 x=1x=1, 与已知 x>2x>2 不符. 求取值范围时, 正确的解法是先判断函数 y=x+1xy=x+\dfrac1xx>2x>2 时的单调性 (即函数值的增减性).

利用均值不等式求最值 #

利用均值不等式 (或其等价形式) 可以很方便地求特殊形式的式子的最大 (小) 值. 例如, 若 x>0x>0, 则 x+1x2x1x=2, x+\dfrac1x\geqslant 2\sqrt{x\cdot\dfrac1x}=2,==”成立当且仅当 x=1xx=\dfrac1xx=1x=1. 一般地, 可得如下结论 (均设 xx, y0y\geqslant 0):

(1) 若 xy=Lxy=L 为定值, 则 x+y2xy=2L, x+y\geqslant 2\sqrt{xy}=2\sqrt{L}, 所以 x+yx+y 的最小值为 2L2\sqrt{L}, “==”成立当且仅当 x=y=Lx=y=\sqrt{L};

(2) 若 x+y=Mx+y=M 为定值, 则 xyx+y2=M2,xy(M2)2=M24,\begin{gathered} \sqrt{xy}\leqslant \frac{x+y}2=\frac{M}2,\\ xy\leqslant \biggl(\frac{M}2\biggr)^2= \frac{M^2}4, \end{gathered} 所以 xyxy 的最大值为 M24\dfrac{M^2}4, “==”成立当且仅当 x=y=M2x=y=\dfrac{M}2. 这个结论也可以由二次函数的图象得出: xy=x(Mx)xy= x(M-x)xx 的二次函数, 对称轴为 x=M2x=\dfrac{M}2, 图象开口向下, 故最大值为 M24\dfrac{M^2}4.

运用上述结论时, 应直接利用均值不等式 x+y2xyx+y\geqslant 2\sqrt{xy} 推理, 且应注意该不等式成立的前提是 xx, y0y\geqslant 0, 还必须检验等号成立的充要条件“x=yx=y”.

(1) 设正数 xx, yy 满足 xy=4xy=4, 求 x+2yx+2y 的最小值;

(2) 设正数 xx, yy 满足 x+2y=4x+2y=4, 求 xyxy 的最大值;

(3) 设 a,ba,b 为正数, 求 ba+3ab\dfrac{b}a +\dfrac{3a}b 的最小值.

(1) x+2y22xy=42x+2y\geqslant 2\sqrt{2xy}= 4\sqrt2, “==”成立当且仅当 x=2yx=2y, 结合 xy=4xy=4x=22x=2\sqrt2, y=2y=\sqrt2, 则 x+yx+y 的最小值为 44.

(2) 4=x+2y22xy4= x+2y\geqslant 2\sqrt{2xy}, 则 xy2xy\leqslant 2, 等号成立当且仅当 x=2yx=2y, 结合 x+2y=4x+2y=4x=2x= 2, y=1y=1 所以 xyxy 的最大值为 22.

(3) 因为 ba+3ab2ba3ab=23, \dfrac{b}a +\dfrac{3a}b \geqslant 2\sqrt{\dfrac{b}a\cdot \dfrac{3a}b}=2\sqrt3, 等号成立当且仅当 ba=3ab\dfrac{b}a= \dfrac{3a}b3a=b\sqrt3a=b, 所以 ba+ab\dfrac{b}a +\dfrac{a}b 的最小值为 22.

(1) 以上各问列出等号成立的条件时, 均需与已知条件联立求解, 以确保所得变量取值合乎已知条件.

(2) 上述 (3) 中, 条件“a,ba,b 为正数”可以进一步放宽为“ab>0ab>0”.

(1) 当函数 y=x2+9x2y=x^2 +\dfrac9{x^2} (x0x\neq 0) 取最小值时, 求对应的 xx 的值.

(2) 若实数 x,yx,y 满足 xy=1xy=1, 求 x2+4y2x^2 + 4y^2 的最小值.

(3) 条件“x>0x>0”是“x2+1x22x^2+\dfrac1{x^2}\geqslant 2”的什么条件?

参考答案

(1) x2+9x229=6x^2 +\dfrac9{x^2}\geqslant 2\sqrt{9}= 6, 等号成立当且仅当 x=±3x= \pm3.

(2) x2+4y24xy=4x^2 +4y^2\geqslant 4xy= 4, 等号成立当且仅当 x=±2x=\pm\sqrt2, y=±22y=\pm\dfrac{\sqrt2}2.

(3) 因为 x2x^2 恒非负, 所以只要 x0x\neq0, 就有 x2>0x^2>0, 此时 x2+1x22x^2+\dfrac1{x^2}\geqslant 2. 这表明 x2+1x22x^2+\dfrac1{x^2}\geqslant 2 的充要条件是 x0x\neq 0. 再与 x>0x>0 对比可知, “x>0x>0”是“x2+1x22x^2+\dfrac1{x^2}\geqslant 2”的充分不必要条件.

有时, 要求取值范围的式子不能直接用均值不等式, 但可以通过变形化为能用均值不等式的形式, 或需要利用均值不等式做媒介得到新的不等式.

(1) 若 x>3x>-3, 求 x+2x+3x+\dfrac2{x+3} 的最小值;

(2) 若正实数 x,yx,y 满足 2x+y+6=xy2x+y+6=xy, 求 xyxy2x+y2x+y 各自的最大值.

(1) 利用 x>3x>-3 直接凑出均值不等式的形式, x+2x+3=(x+3)+2x+33223,\begin{aligned} x+\dfrac2{x+3} &= (x+3)+\dfrac2{x+3}- 3\\ &\geqslant 2\sqrt2-3, \end{aligned} 等号成立当且仅当 x=23x= \sqrt2-3, 即 x+2x+3x+\dfrac2{x+3} 的最小值为 2232\sqrt2-3.

(2) 由 2x+y22xy2x+y\geqslant 2\sqrt{2xy} 和已知, xy622xyxy18,2x+y22(2x+y+6)2x+y12,\begin{gathered} xy-6\geqslant 2\sqrt{2xy}\Rightarrow xy\geqslant 18,\\ 2x+y\geqslant 2\sqrt{2(2x+y+6)}\Rightarrow 2x+y\geqslant 12, \end{gathered} 等号成立当且仅当 2x=y=62x=y= 6. 所以 xyxy 的最大值为 1818, 2x+y2x+y 的最大值为 1212.

上例 (2) 中得到分别关于 xyxy2x+y2x+y 的根式不等式, 平方后均可按二次不等式求解.

(1) 若 x>3x>3, 求 x+2x3x+\dfrac2{x-3} 的最小值;

(2) 设正数 a,ba,b 满足 a2+2ab+4b2=3a^2+2ab+4b^2= 3, 求 abab 的最大值.

参考答案

(1) 因为 x>3x>3 表示 x3>0x-3>0, 所以 (x3)+2x322,x+2x322+3,\begin{gathered} (x-3)+\dfrac2{x-3}\geqslant 2\sqrt2,\\ x+\frac2{x-3}\geqslant 2\sqrt2+3, \end{gathered} 等号成立当且仅当 x=3+2x=3+\sqrt2, 即 x+2x3x+\dfrac2{x-3} 的最小值为 22+32\sqrt2+3.

(2) 由 a2+4b24aba^2+4b^2\geqslant 4ab 和已知, 32ab4ab,ab12, 3- 2ab\geqslant 4ab,\quad ab\leqslant \frac12, 等号成立当且仅当 a2=4b2a^2= 4b^2a=2ba=2b, 结合已知等式解得, a=1a=1, b=12b=\dfrac12.

(1) 设 t>0t>0, 求 t24t+1t\dfrac{t^2-4t+1}t 的最小值和对应的 tt 的值.

(2) 若 x>0x>0, 求 16xx2+1\dfrac{16x}{x^2+1} 的最大值.

(1) 方法一: 因为 t>0t>0, 所以由均值不等式, t24t+1t=t+1t42t1t4=2, \frac{t^2-4t+1}t= t+\frac1t-4 \geqslant 2\sqrt{t\cdot\frac1t}-4= -2,==”成立当且仅当 t=1tt=\dfrac1tt=1t=1. 所以最小值为 2-2, 且对应的 t=1t=1.

方法二: 因为 t>0t>0, 所以由均值不等式, t2+12tt^2+1\geqslant 2t, 则 t24t+1t2t4tt=2, \frac{t^2-4t+1}t\geqslant \frac{2t-4t}t= -2,==”成立当且仅当 t=1t=1. 所以最小值为 2-2, 且对应的 t=1t=1.

(2) 方法一: 因为 x>0x>0, 所以对原式的分子和分母同除以 xx, 以便于用均值不等式 (注意分母为正数且变小, 故分式增大), 16xx2+1=16x+1x162x1x=8, \frac{16x}{x^2+1}= \frac{16}{x+\dfrac1x} \geqslant \frac{16}{2\sqrt{x\cdot\dfrac1x}} =8,==”成立当且仅当 x=1xx=\dfrac1xx=1x=1. 因此所求最大值为 88.

方法二: 直接对原式分母用均值不等式, 则 16xx2+116x2x21=8, \dfrac{16x}{x^2+1} \leqslant \frac{16x}{2\sqrt{x^2\cdot 1}}= 8,==”成立当且仅当 x=1xx=\dfrac1xx=1x=1. 因此所求最大值为 88.

均值不等式与几何题 #

均值不等式 x+y2xy\dfrac{x+y}2\geqslant \sqrt{xy} (xx, y0y\geqslant 0) 有明显的几何意义. 如下图所示, 线段 ABAB 是半圆 OO 的直径, 任取半圆上一点 CC, 作 CDABCD\perp AB 于点 DD, 则 ADCCDBCD2=ADDB. \triangle ADC\sim \triangle CDB\Rightarrow CD^2= AD\cdot DB. 因为半径 COCDCO\geqslant CD, 且 CO=12AB=AD+DB2,CD=ADDB, CO= \frac12 AB= \frac{AD+DB}2,\quad CD= \sqrt{AD\cdot DB}, 所以 AD+DB2ADDB\dfrac{AD+DB}2\geqslant \sqrt{AD\cdot DB}. 这就是均值不等式.

均值不等式的几何意义-半圆

利用均值不等式解几何题时, 关键是要根据题意, 写出其中几何量满足的条件, 所以需要对各几何图形的常见性质比较熟悉.

(1) 设 RtABC\mathrm{Rt}\,\triangle ABC 的面积为 11, 且 C=90C=90^\circ, 求该三角形周长的最小值;

(2) 一个矩形内接于半径为 11 的圆, 求该矩形的面积和周长各自的最大值.

(1) 设角 A,B,CA,B,C 的对应边长为 a,b,ca,b,c, 则 12ab=1\dfrac12ab=1ab=2ab= 2, 且由勾股定理, c2=a2+b2c^2= a^2+b^2. 所以 a+b2ab=22,c=a2+b22ab=2,\begin{gathered} a+b\geqslant 2\sqrt{ab}= 2\sqrt2,\\ c= \sqrt{a^2+b^2}\geqslant \sqrt{2ab}= 2, \end{gathered} 等号成立当且仅当 a=b=2a=b=\sqrt2, 此时 ABC\triangle ABC 为等腰直角三角形, 从而该三角形的周长 a+b+c22+2, a+b+c\geqslant 2\sqrt2+ 2, 即最小值为 22+22\sqrt2+ 2.

(2) 设该矩形的两个邻边长为 a,ba,b. 由题意, 矩形的对角线为圆的直径, 所以 a2+b2=22=4,aba2+b22=2,\begin{gathered} a^2+b^2= 2^2= 4,\\ ab\leqslant \frac{a^2+b^2}{2}= 2, \end{gathered} 即矩形面积的最大值为 22, 此时 a=b=2a=b=\sqrt2. 因为 (a+b)2=a2+b2+2ab4+4=8, (a+b)^2= a^2+b^2+2ab\geqslant 4+4= 8, 所以 a+b22a+b\geqslant 2\sqrt2, 即矩形周长 2(a+b)2(a+b) 的最大值为 424\sqrt2, 此时仍有 a=b=2a=b=\sqrt2.

上例 (2) 的结论表明: 定圆的内接矩形中, 正方形的周长和面积均为最大. 这个结论后续可以进一步推广为: 定圆的内接 nn 边形中, 正 nn 边形的周长和面积均为最大.

RtABC\mathrm{Rt}\,\triangle ABC 的周长为 2+222+2\sqrt2, 且 C=90C=90^\circ, 求该三角形面积的最大值.

参考答案

设角 A,B,CA,B,C 的对应边长为 a,b,ca,b,c, 则 a+b+c=2+22,c2=a2+b2. a+b+c= 2+2\sqrt2,\quad c^2= a^2+b^2. 因为 a+b2ab,c=a2+b22ab,\begin{gathered} a+b\geqslant 2\sqrt{ab},\\ c= \sqrt{a^2+b^2}\geqslant \sqrt{2ab}, \end{gathered} 代入周长表达式知, 2+222ab+2ab, 2+2\sqrt2\geqslant 2\sqrt{ab}+ \sqrt{2ab}, 解得 ab2ab\leqslant 2, 等号成立当且仅当 a=b=2a=b=\sqrt2, 此时 ABC\triangle ABC 为等腰直角三角形. 从而该三角形的面积 12ab1\dfrac12ab\leqslant 1, 即最大值为 11.

均值不等式与恒成立问题 #

与代数式有关的恒成立问题, 解法通常是先求代数式的取值范围. 例如, 设正实数 x,yx,y 满足 x+y=2x+y=2, 且 MxyM\geqslant xy 恒成立, 由此来确定 MM 的最小值. 因为 x+y2xy22xy, x+y\geqslant 2\sqrt{xy}\Rightarrow 2\geqslant 2\sqrt{xy}, 所以 xy(0,1]xy\in (0,1], 且 xy=1xy=1 当且仅当 x=y=1x= y= 1. 由 MxyM\geqslant xy 恒成立可知 M1M\geqslant 1, 即 MM 的最小值为 11.

(1) 若 xx, y>0y>02yx+8xy>m2+2m\dfrac{2y}x+ \dfrac{8x}y> m^2+2m 恒成立, 求 mm 的取值范围.

(2) 已知二次函数 y=ax24x+cy=ax^2 -4x+c (xRx\in\mathbf{R}) 的值域为 [0,+)[0,+\infty), 求 1c+9a\dfrac1c +\dfrac9a 的最小值.

(1) 由 2yx+8xy216=8\dfrac{2y}x+ \dfrac{8x}y\geqslant 2\sqrt{16}= 8, 等号成立当且仅当 2x=y2x= y, 知 8>m2+2m,m(4,2). 8> m^2+2m,\quad m\in(-4,2).

(2) 由已知, 抛物线 y=ax24x+cy=ax^2 -4x+cxx 轴相切, 考虑判别式知, Δ=(4)24ac=0,ac=4, \Delta= (-4)^2- 4ac= 0,\quad ac=4, 所以 1c+9a29ac=3, \frac1c +\frac9a\geqslant 2\sqrt{\frac{9}{ac}}= 3, 等号成立当且仅当 a=9ca=9ca=6a= 6, c=23c= \dfrac23.

x>0\forall\, x>0, x+2x+a>0x+\dfrac2x+a>0 恒成立, 求 aa 的取值范围.

参考答案

由题意, 只需不等式左边的最小值大于零. 由均值不等式, x+2x2x2x=22, x+\dfrac2x\geqslant 2\sqrt{x\cdot\dfrac2x}= 2\sqrt2,==”成立当且仅当 x=2xx=\dfrac2xx=2x=\sqrt2, 所以只需 22+a>0a(22,+).2\sqrt2+a>0\Rightarrow a\in(-2\sqrt2,+\infty).

均值不等式的推广 #

a>0a>0, b>0b>0aba\neq b, 比较 a+b2\dfrac{a+b}2, ab\sqrt{ab}, a2+b22\sqrt{\dfrac{a^2+b^2}2} 的大小.

由均值不等式, aba+b2\sqrt{ab}\leqslant \dfrac{a+b}2. 但已知 aba\neq b, 所以等号不成立, 即 ab<a+b2\sqrt{ab}< \dfrac{a+b}2. 再考虑 a+b2\dfrac{a+b}2a2+b22\sqrt{\dfrac{a^2+b^2}2} 的大小. 因为 (带根号的式子, 先平方去掉根号) (a2+b22)2(a+b2)2=(ab)24>0, \biggl(\sqrt{\dfrac{a^2+b^2}2}\biggr)^2- \biggl(\dfrac{a+b}2\biggr)^2 = \frac{(a-b)^2}{4}>0, 所以 a2+b22>a+b2\sqrt{\dfrac{a^2+b^2}2}> \dfrac{a+b}2, 故 ab<a+b2<a2+b22. \sqrt{ab}< \dfrac{a+b}2< \sqrt{\dfrac{a^2+b^2}2}.

进一步可以证明, 若 aa, b>0b>0, 则 2aba+baba+b2a2+b22, \frac{2ab}{a+b}\leqslant \sqrt{ab} \leqslant \dfrac{a+b}2 \leqslant \sqrt{\dfrac{a^2+b^2}2},==”成立当且仅当 a=ba=b.

设正数 a,ba,b 满足 a2+4b2+1ab=4a^2+4b^2+\dfrac1{ab}= 4, 求 a,ba,b 的值.

由均值不等式, a2+4b2+1ab4ab+1ab4, a^2+4b^2+\frac1{ab}\geqslant 4ab+ \frac1{ab} \geqslant 4, 等号成立当且仅当 a2=4b2a^2= 4b^24ab=1ab4ab= \dfrac1{ab}, 解得 a=1a=1, b=12b= \dfrac12. (这里用了两次均值不等式, 所以需要写出两个等号成立的条件.)

作者邮箱 rong.liu@mail.bnu.edu.cn。

读者的支持是作者持续更新的动力😊