一、定义
数学归纳法证明与正整数有关的命题：①基础步 n=1 成立；②归纳步 假设 n=k 成立、推出 n=k+1 成立；于是对所有正整数成立。
三、性质与运算律
- 两步缺一不可；
- 归纳假设是推 k+1 的前提；
- 如多米诺逐级传递；
- 本例 1+…+n=n(n+1)/2。
四、操作步骤
- 输入 n；
- 点击「验证」比较两边；
- 也可点「填入示例」。
五、例题
例：n=10。
解：左边=55，右边=10×11/2=55，成立。
六、易错点
必须先证基础步；
归纳步要用到归纳假设；
验证有限 n 不等于证明全部。