如何证明调和算数几何平均值不等式？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
先承认对数函数的凸性，不承认我也没办法。
欲证A-G:
即证（不等式两边同取对数）
证完了。
这这这是是为什么呢，这就是因为对数函数的凸性。
再证明另一个不等式:
怎么办，再取对数？嗯，可以先取个倒数
再取对数，
证完了。
看出来了吗？看出来了吗？对，对，
只要把1/ak看成新的ak，那么这个式子与上面所证的A-G(算术-几何)不等式是一回事。
均值不等式的根本性证明请参考柯西大神的逆向归纳法，一般书上都会讲。用凸性说事其实相当于废话……但是凸性很有几何直观性。另外对数的凸性可以直接求二阶导数大于0得知，这一点也是光滑函数的好处。
1
相关话题
如何证明e为无理数?如何严格证明下面这个不等式？
为什么算数不等式叫算数不等式，几何不等式叫几何不等式?
第6题第(2)问怎么证明？
如何证明 π＞3.14？
如何证明一个无理数的整数倍数的小数部分在（0，1）上均匀分布？
正常运转的时钟存在某一时刻三个指针互成120°角吗？
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?
请问如何求下面这个连分数收敛到的值？
nπ-［nπ］是否存在收敛于0的子列？
前一个讨论
mac book2013现在可以用来做什么？
相关的话题
如何证明下面的积分不等式？这个不等式该怎么证明呢？
有哪些形式简单却很难证明的不等式？
这个9题不等式右边怎么证明呢？
请问这个不等式（微积分怎么证明?
如何看待关于 1 与 0.9999… 的大小的争论？
如何证明调和算数几何平均值不等式？
这个求最值的问题有啥妙解嘛？
如何证明在a，b为正实数，a+b=a＾3+b＾3时，a+b∈（1，2（√3）/3]？
如何看待 bilibili up主 Happylee 对 0.999...≠1 的证明？
如何理解数学证明中的容易验证？
这道几何题怎么证明？
[x]表示小于x的最大整数已知[√1]+[√2]+[√3]+……+[√n]≤2022，求n的最大值?
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
下面的组合等式是否恒成立？
可不可以将所有无理数全都用 有理数·π 来表示？
如何证明 ln^2(x+1)>ln(x)·ln(x+2)？
怎么在不公布证明的情况下让世人相信我证明了「哥猜」?
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数？
怎么证明这个积分不等式？
我今年16岁，昨天花了2个小时用梅涅劳斯逆定理证明了帕斯卡定理，那我在数学方面有天赋吗？
这个不等式的证明方法有哪些？
如何证明哈代不等式?
这样的数学归纳法是否成立？
正常运转的时钟存在某一时刻三个指针互成120°角吗？
10000⁴ 和 4¹⁰⁰⁰⁰，怎样比较大小？
下列证明题（积分不等式）怎么证明?
请问扩展欧拉定理（扩展欧拉定理！不是欧拉定理！）有什么比较简洁易懂的证明方式吗？
怎么看待对数学理论、定理「有什么用」这类问题？
这个不等式该怎么证明呢？