如何证明调和算数几何平均值不等式？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
先承认对数函数的凸性，不承认我也没办法。
欲证A-G:
即证（不等式两边同取对数）
证完了。
这这这是是为什么呢，这就是因为对数函数的凸性。
再证明另一个不等式:
怎么办，再取对数？嗯，可以先取个倒数
再取对数，
证完了。
看出来了吗？看出来了吗？对，对，
只要把1/ak看成新的ak，那么这个式子与上面所证的A-G(算术-几何)不等式是一回事。
均值不等式的根本性证明请参考柯西大神的逆向归纳法，一般书上都会讲。用凸性说事其实相当于废话……但是凸性很有几何直观性。另外对数的凸性可以直接求二阶导数大于0得知，这一点也是光滑函数的好处。
1
相关话题
为什么在数轴上随便取一个点，一定取到的是无理数？多项式由系数唯一决定，在中学或大学数学课上证明过吗？
如何证明一个无理数的整数倍数的小数部分在（0，1）上均匀分布？
数列连续两项之差在满足什么样的情况下可推出数列有界？
为什么有理数 1/49 看起来这么像是个无限不循环小数？循环节在哪里？
Taylor公式证明是怎么想出来的？
e^6≈π^4+π^5有什么数学背景吗？
请问这个不等式该如何证明？
如何推导下面这个等式？
请问这两个数分不等式如何证明?
前一个讨论
mac book2013现在可以用来做什么？
相关的话题
为什么算数不等式叫算数不等式，几何不等式叫几何不等式?下面这个组合恒等式如何证明？
数列连续两项之差在满足什么样的情况下可推出数列有界？
如何证明下面这两个较复杂的不等式?
怎么用正切函数连分数展开式证明圆周率是无理数?
如何证明这道波动方程Cauchy问题解的不等式(先验估计或最大模模估计)？
可不可以将所有无理数全都用 有理数·π 来表示？
如何证明 2 的平方根不是有理数？
证明数学定理的意义是什么？
e^6≈π^4+π^5有什么数学背景吗？
若 π 被证明是有理数会对世界有何影响？
能否构造一组无理数a,b，使得a^b是有理数?
有人知道这函数的值域怎么求吗?
请问这个积分不等式怎么做呢，用递推试了下没做出来?
在1+1=2被证明出来之前到底是谁规定了1+1必须等于2呢？
n! 和 n²，哪个更大呢？
如何证明最小正周期为无理数的数列f（n）极限不存在？
如何解决这个数学问题？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
怎么证明这个积分不等式？
下面这个关于质数的不等式如何证明？
如何用正规方法求解该题？
高中问题，不等式证明的大佬请进。这个不等式怎么证？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
有没有简单的方法[这里指高中（非竞赛）水平，初等计算复杂程度不计]证明这个不等式（详细见下图）？
a，b，c，d 是正实数，且 a²＋b²＋c²＋d²＋abcd＝5，怎么证明 a＋b＋c＋d≤4？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
已知 a、b、c 为实数，且三个数的和为 1，平方和也为 1，如何求三个数的立方和的最小值？
关于闭区间上连续函数的一个证明题？
数列 0, 1, 0, -1, 0, 1, 0, -1... 的通项公式是多少呢？