数学归纳法的应用修改版