算术—几何平均值不等式两种新证法

算术——几何平均值不等式的内容是“若干正数的算术平均值不小于它们的几何平均值”。即 1/n(a_1+…a_2+…+a_n)≥(a_1a_2…a_n)~1/n。