例 1 已知 ,求证: ,并指出等号成立的条件.
答案与解析收起 / 展开
证明 因为 ,由平均值不等式,得
在 及 有可能为零时, 平均值不等式也显然成立. 因此, 对于任意的非负实数 ,平均值不等式都成立.
且等号只有当 ,即 时才成立. 由于 ,因此 .
所以,当且仅当 时, .
教师整合版 / 沪教版高中数学
必修第一册
第2章等式与不等式 · 保留教材主线与原题
教材与正式教参整合
对于正数 ,称 是 的算术平均值 (arithmetic mean),并称 是 的几何平均值 (geometric mean). 当 分别表示对同一个量进行两次测量所得的数值时,其算术平均值 可以理解为这两次测量值的平均. 当 分别表示一个矩形的两边边长时,其几何平均值 可以理解为与此矩形面积相同的正方形的边长.
下面的不等式是经典的平均值不等式:
定理(平均值不等式) 两个正数的算术平均值大于等于它们的几何平均值,即对于任意的正数 ,有
且等号当且仅当 时成立.
证明 因为
所以
而且当且仅当 即 时,不等式中等号成立.
例 1 已知 ,求证: ,并指出等号成立的条件.
证明 因为 ,由平均值不等式,得
在 及 有可能为零时, 平均值不等式也显然成立. 因此, 对于任意的非负实数 ,平均值不等式都成立.
且等号只有当 ,即 时才成立. 由于 ,因此 .
所以,当且仅当 时, .
例 2 已知 ,求证: ,并指出等号成立的条件.
证明 因为 ,所以 同号,因而 .
由平均值不等式, 得
且等号当且仅当 ,即 时才成立.
除了平均值不等式, 还有一些常用的不等式.
定理 对于任意的实数 ,有
且等号当且仅当 时成立.
证明 对任意给定的实数 ,总有 ,且等号当且仅当 时成立. 于是
从而
即
从而原不等式成立,且等号当且仅当 时成立.
包括平均值不等式在内的上述一些不等式常常可被应用于对一些量做估计, 特别是可用于求解一些最大值或最小值问题.
例 3 设 ,求二次函数 的最大值.
例 4 设 为正数,且 ,比较 的值与 的大小.
例 5 证明:
(1)在周长为常数的所有矩形中, 正方形的面积最大;
(2)在面积相同的所有矩形中,正方形的周长最小.
证明 (1) 设矩形的周长为常数 ,而其长、宽分别为 ,就有 . 此矩形的面积为 . 由平均值不等式,有
当且仅当 ,即矩形为正方形时,面积 取得最大值 .
(2)设矩形的面积为常数 ,而其长、宽仍分别设为 ,就有 . 此矩形的周长为 . 由平均值不等式, 有
所以, ,且当且仅当 ,即矩形为正方形时,周长 取最小值 .
由例 5 可知,根据平均值不等式 , 当乘积 为定值时,和 有最小值; 而当和 为定值时,乘积 有最大值. 此外,当且仅当 时,才取得相应的最小值或最大值.
例 6 某新建居民小区欲建一面积为 的矩形绿地, 并在绿地四周铺设人行道. 设计要求绿地外南北两侧人行道宽 3 m,东西两侧人行道宽 4 m,如图 2-3-1 所示(图中单位:m). 问如何设计绿地的边长, 才能使人行道的占地面积最小. (结果精确到 )

图 2-3-1
解 设矩形绿地的南北侧边长为 ,则其东西侧边长为 ,人行道的占地面积 (记为 ) 为
即
利用平均值不等式, 有
且当且仅当 ,即 时, 达到最小值 ,此时 .
所以,当设计绿地的南北侧边长约为 ,东西侧边长约为 时,人行道的占地面积最小.
在后续向量、复数等内容的学习中, 下述三角不等式将起着重要的作用, 且其几何意义将十分明显.
Q
定理(三角不等式) 两个实数和的绝对值小于等于它们绝对值的和,即对于任意给定的实数 ,有
且等号当且仅当 时成立.
? 证明 因为 等价于
即 ,也即 ,所以三角不等式成立,且等号当且仅当 时成立.
例 7 已知 为实数,求证: .
例 8 已知 为实数,求证: ,并指出等号成立的条件.
例 9 证明: 对所有实数 恒成立, 并求等号成立时 的取值范围.
证明 因为 ,由三角不等式,有
所以
且等号当且仅当 ,即 时成立.
这个不等式与三角形两边之和大于第三边相似, 故称为三角不等式 (triangle inequality).
请通过讨论 的符号证明三角不等式.
因此, 对所有实数 恒成立,且当且仅当 时,等号成立.
(1) ; (2) .
A. ; B. ;
C. ; D. .
求证: .

图 2-3-2

图 2-3-3
赵爽运用图形割补后面积不变的原理, 通过构造相应的几何图形来证明勾股定理. “按弦图,又可以勾股相乘为朱实二,倍之为朱实四,以勾股之差自相乘为中黄实,加差实,亦成弦实.” 其证明过程可用字母表示为 ,化简即得勾股定理
弦图不仅能用于证明等式, 也能用于证明不等式. 事实上, 利用弦图得到的等式 ,可推出: ,且等号当且仅当 时成立.
运用这样的想法,我们可以由等式出发证明一些不等式. 例如,容易证明 成立. 由此,可以推出: 对于非负实数 ,有 ,且等号当且仅当 时成立. 又如,由 ,可以推得: ,且等号当且仅当 时成立.
请仿照上述例子,计算 ,并看由此能否得到一个相应的不等式.