摘要:本文将给出均值不等式的简要证明并推导出其积分形式。
先给出几个定义。
,称为调和平均数。
,称为几何平均数。
,称为算数平均数。
,称为平方平均数。
其中
。
则有平均值不等式:
。用语言描述即是调和平均数不超过几何平均数,几何平均数不超过算数平均数,算数平均数不超过平方平均数。
其积分形式如下:
,
,
,
,
则有:
。
均值不等式的证明方法有很多,可以使用数学归纳法、柯西不等式法、拉格朗日乘数法、琴生不等式法、排序不等式法等。
其二维形式,就是最常见的基本不等式:
,其推导只需看下面两个不证自明的图形即可:
然后再利用数学归纳法就可以推广n维的情形,有兴趣的读者可以自行证明,或者查阅相关资料,在日后的文章里,我们说到其余不等式时,还会反过来证明均值不等式,这里就不多说了。
我们只讲一个课本中很少讲到的柯西归纳法来证明算术-几何平均值不等式。
下面我们着重讲解使用定积分定义法来证明其积分形式。
证明:
先证
,
因为
所以
所以
由定积分定义,即:
再证
,
因为
两边取对数:
所以
由定积分定义:
即:
。
同理可证
。
均值不等式的积分形式证毕。
在最后,我们顺便说一下柯西不等式的积分形式:
,
证明与上面的方法如出一辙。
总结:均值不等式在不等式的证明上应用十分广泛,本文给出了其积分形式,并应用了一种用定积分定义的方式来证明积分形式的不等式,这种方法可以推广到一般形式,即可以通过已知的离散形式的不等式来证明与其相似形式的定积分不等式,反之亦然。