用数学归纳法证明平均值不等式