如何证明调和算数几何平均值不等式？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
先承认对数函数的凸性，不承认我也没办法。
欲证A-G:
即证（不等式两边同取对数）
证完了。
这这这是是为什么呢，这就是因为对数函数的凸性。
再证明另一个不等式:
怎么办，再取对数？嗯，可以先取个倒数
再取对数，
证完了。
看出来了吗？看出来了吗？对，对，
只要把1/ak看成新的ak，那么这个式子与上面所证的A-G(算术-几何)不等式是一回事。
均值不等式的根本性证明请参考柯西大神的逆向归纳法，一般书上都会讲。用凸性说事其实相当于废话……但是凸性很有几何直观性。另外对数的凸性可以直接求二阶导数大于0得知，这一点也是光滑函数的好处。
1
相关话题
如何证明每一个有穷的偏序都可以延拓成一个线序？这个积分不等式题如何证明？
如何证明一个数学命题的不可证性？
如何证明下面的分析不等式？
如何证明数学定理全宇宙通用？
这个不等式缩放怎么证明？
10000⁴ 和 4¹⁰⁰⁰⁰，怎样比较大小？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
如何证明下面这两个较复杂的不等式?
如何用数学证明活着就有希望？
前一个讨论
mac book2013现在可以用来做什么？
相关的话题
两条直线真的画不出一个圆吗？请问 e^π 和 π^e 哪个大？
这道重积分不等式的题怎么做?
一个积分不等式，该怎么处理？
这个不等式缩放怎么证明？
有哪些形式简单却很难证明的不等式？
如何证明 e^π＞23？
如何思考这道定积分不等式？
有哪些「这也能用数学证明」的事件？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
可以留下一个优美的不等式吗？
数列an（定义an为71^n）是否在an中能找到以任意长度（不小于1）个1为结尾的数（均是正整数）?
这个定理请问有人会证明吗？
若1+1=2，则雪是白色的，这是真命题吗？
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
如果K'/K=1/sqrt{2},那么k等于多少？
如何证明下面这两个较复杂的不等式?
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？
如何这道计算绝对值不等式的题目？
数学证明费了这么大劲把这些东西证明出来，对一个人的人生、对我们身处其中的这个世界，到底有什么影响呢？
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
等比数列的任意连续三项的中间一项都是另外两项的等比中项吗？
如何用正规方法求解该题？
反证法中若得出与题设产生的矛盾，那在导出矛盾过程中不考虑命题的充分性和必要性吗？
勒让德猜想被证明了吗？
同时满足两个不同等差数列的数是否组成等差数列？如何证明？等比数列呢？