如何证明调和算数几何平均值不等式？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
先承认对数函数的凸性，不承认我也没办法。
欲证A-G:
即证（不等式两边同取对数）
证完了。
这这这是是为什么呢，这就是因为对数函数的凸性。
再证明另一个不等式:
怎么办，再取对数？嗯，可以先取个倒数
再取对数，
证完了。
看出来了吗？看出来了吗？对，对，
只要把1/ak看成新的ak，那么这个式子与上面所证的A-G(算术-几何)不等式是一回事。
均值不等式的根本性证明请参考柯西大神的逆向归纳法，一般书上都会讲。用凸性说事其实相当于废话……但是凸性很有几何直观性。另外对数的凸性可以直接求二阶导数大于0得知，这一点也是光滑函数的好处。
1
相关话题
请问这个积分不等式怎么证明?这个求最值的问题有啥妙解嘛？
如何证明将任意3的倍数各数位数字立方求和，重复数次后得到固定数值153?
有哪些自己发现并证明的并自以为得意的初等数学定理？
我今年16岁，昨天花了2个小时用梅涅劳斯逆定理证明了帕斯卡定理，那我在数学方面有天赋吗？
如何用多种方法(几何解释除外)来证明此不等式？
贝尔不等式到底证明了什么？如果贝尔不等式实验过程本身就非随机，那么它证明的真随机就是真随机吗？
关于闭区间上连续函数的一个证明题？
下面的组合等式是否恒成立？
如何证明 π＞3.14？
前一个讨论
mac book2013现在可以用来做什么？
相关的话题
请问这两个数分不等式如何证明?如何用数学严谨证明 宾语前置=前置宾语?
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
如何严格证明下面这个不等式？
有理数集和无理数集哪个大，为什么？
π的1997次方的小数点后1997位是多少？
如何证明每一个有穷的偏序都可以延拓成一个线序？
这个多元积分不等式怎么证？
这道证明题该怎么做？
数学上有「从理论上根本无法证明」的东西么？
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
什么是「奥利给」不等式？
如何解决这个数学问题？
是否存在五个面都为三角形的五面体？
如何证明圆上有理点的稠密性？
有人知道这函数的值域怎么求吗?
一个正常智商的人终其一生能够理解费马大定理的证明吗？
如何解决此道数学分析不等式？
如何证明下面的不等式？
这几个不等式如何证明?
数学中反证法有没有可能正反都错？
勒让德猜想被证明了吗？
如何证明将任意3的倍数各数位数字立方求和，重复数次后得到固定数值153?
如何证明这道波动方程Cauchy问题解的不等式(先验估计或最大模模估计)？
函数可导，则其导函数可积？
证明角的三分之一，怎么证明？
可以留下一个优美的不等式吗？
下面这个积分不等式证明有什么好的方法？
请问我的这个想法是否正确，如何证明(证否)？
宁波大学的陈计教授是一个什么样的人？