数学归纳法,同楼上
用数学归纳法证明,需要一个辅助结论。
引理:设A≥0,B≥0,则(A+B)n≥An+nAn-1B。
注:引理的正确性较明显,条件A≥0,B≥0可以弱化为A≥0,A+B≥0,有兴趣的同学可以想想如何证明(用数学归纳法)。
原题等价于:((a1+a2+…+an )/n)n≥a1a2…an。
当n=2时易证;
假设当n=k时命题成立,即
((a1+a2+…+ak )/k)k≥a1a2…ak。那么当n=k+1时,不妨设ak+1是a1,a2 ,…,ak+1中最大者,则
k ak+1≥a1+a2+…+ak。
设s=a1+a2+…+ak,
((a1+a2+…+ak+1)/(k+1))k+1
=(s/k+(k ak+1-s)/(k(k+1)))k+1
≥(s/k)k+1+(k+1)(s/k)k(k ak+1-s)/k(k+1) 用引理
=(s/k)k ak+1
≥a1a2…ak+1。用归纳假设