重要不等式的一个证明

下面的不等式称为算术平均———几何平均不等式 :Gn =na1 a2 …an ≤An=1n∑ni=1ai　 (ai>0 ,i=1 ,2 ,… ,n)本文通过添加一个零项ln Gnna1 a2 …an =0给出证明可设a1 ≤a2 ≤… ≤an,显然a1 ≤Gn ≤an　存在k,使得　ak ≤Gn ≤ak+1 .AnGn - 1 =1n ∑ni=1aiGn-n=1n ln Gnna1 a2 …an + ∑ni=1aiGn-n=1n ∑ni=1lnGnai + ∑ni=1aiGn-n=1n∑ki=1lnGnai - 1Gn(Gn-ai) +1n∑ni=k+ 1lnGnai - 1Gn(Gn-ai)=1n ∑ki=1 ∫Gnai1t -1Gn dt +1n ∑ni=k+ 1 ∫Gnai1t -1Gn dt=1n ∑ki=1 ∫Gnai1t -1Gn dt +1n ∑ni=k+ 1 ∫aiGn1Gn-1t dt以上每…