用数学归纳法证明(a1+a2+...+an)*(1/a1+1/a2+...1/an)>=n^2

用数学归纳法证明(a1+a2+...+an)*(1/a1+1/a2+...1/an)>=n^2
证明:
当n=1时,a1*(1/a1)=1>=1^2 成立.
假设当n=k时,命题成立.
即: (a1+a2+...+ak)*(1/a1+1/a2+...1/ak)>=k^2
则 n=k+1时,
(a1+a2+...+ak+a<k+1>)*(1/a1+1/a2+...1/ak+1/a<k+1>)
=(a1+a2+...+ak)*(1/a1+1/a2+...1/ak)+a<k+1>*(1/a1+1/a2+...1/ak)+1/a<k+1>*(a1+a2+...+ak) +1
>=k^2+a<k+1>*(1/a1+1/a2+...1/ak)+1/a<k+1>*(a1+a2+...+ak) +1 {由n=k时的结论}
>=k^2+2*根号[a<k+1>*(1/a1+1/a2+...1/ak)*1/a<k+1>*(a1+a2+...+ak)]+1 {算术平均数不小于几何平均数}
=k^2+2*根号[(1/a1+1/a2+...1/ak)*(a1+a2+...+ak)]+1 {由n=k时的结论}

>=k^2+2*k+1
=(k+1)^2
因此当n=k+1时,命题成立.
命题得证.

后面括号很在n=4时大于2.那么和前面括号积大于n(n+n).大于成立。