你这归纳法狭隘了。
没规定n=k、n=k+1才叫归纳法。
假设n=k时成立，证明n=2k和n=k-1都成立。也是归纳法。算术平均大于等于几何平均就有用这个证的。
【 在 ezShang 的大作中提到: 】
: 很多瑕疵。
: 归纳法要有起始步骤。
: 倒回去证m-1试图推向负整数成立，逻辑上与归纳法不符。
: ...................
--
FROM 12.3.200.*