如何证明调和算数几何平均值不等式？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
先承认对数函数的凸性，不承认我也没办法。
欲证A-G:
即证（不等式两边同取对数）
证完了。
这这这是是为什么呢，这就是因为对数函数的凸性。
再证明另一个不等式:
怎么办，再取对数？嗯，可以先取个倒数
再取对数，
证完了。
看出来了吗？看出来了吗？对，对，
只要把1/ak看成新的ak，那么这个式子与上面所证的A-G(算术-几何)不等式是一回事。
均值不等式的根本性证明请参考柯西大神的逆向归纳法，一般书上都会讲。用凸性说事其实相当于废话……但是凸性很有几何直观性。另外对数的凸性可以直接求二阶导数大于0得知，这一点也是光滑函数的好处。
1
相关话题
如何比较 π－2 与 lnπ 的大小？怎样用一个普通人能看懂的方法证明 π 是无理数？
如何用数学严谨证明 宾语前置=前置宾语?
数学中有哪些漂亮的无字证明？
如何看待π这个无理数？
第6题第(2)问怎么证明？
如何证明调和算数几何平均值不等式？
大佬们这个等式怎么证？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
如何证明圆上有理点的稠密性？
前一个讨论
mac book2013现在可以用来做什么？
相关的话题
怎么用正切函数连分数展开式证明圆周率是无理数?证明数学定理的意义是什么？
如何证明R1可测函数覆盖的区域是可测的？
从你的专业的角度，如何证明陈平不等式？
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
请问如何求下面这个连分数收敛到的值？
如何推导下面这个等式？
√8-√2=√2，这是怎么得出来的？
无理数是否可能是一个循环周期过大甚至是无限的一个有理数？
有没有简单的方法[这里指高中（非竞赛）水平，初等计算复杂程度不计]证明这个不等式（详细见下图）？
如何证明 2 的平方根不是有理数？
如何证明 e^π＞23？
为什么7×5=5×7？
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？
如何证明e为无理数?
有没有可能把 π 或 e 等无理数当成 1，这样就能使许多定理显而易见？
思考一个问题，任意给定一个非零有理数和一个无理数，能否通过加减（可以无限次）使极限收敛到整个实数集？
如何看待π这个无理数？
一个正常智商的人终其一生能够理解费马大定理的证明吗？
初等数学并不能严格定义自然数、整数、有理数、实数等，可为什么能用初等数学方法证明根号 2 是无理数？
有没有可能一个数学证明是错的，然而所有人都没注意到呢？
下列证明题（积分不等式）怎么证明?
这个积分不等式题如何证明？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
这个多元积分不等式怎么证？
一道难度较大的不等式问题，请问如何入手？
这些无穷乘积展开式怎么证明?
在3位数中找到第一个满足下列要求的正整数n，其各位数字的立方和恰好等于他本身，该怎么做？
请问这个积分不等式怎么做呢，用递推试了下没做出来?
请问扩展欧拉定理（扩展欧拉定理！不是欧拉定理！）有什么比较简洁易懂的证明方式吗？