数学归纳法证明
CIE A-Level 进阶数学· 进阶纯数1 第1.1节:针对正整数的数学归纳法证明· 25 分钟阅读
1. 归纳法的核心形式化结构★★☆☆☆⏱ 5 min
数学归纳法原理
若命题P(n)在n=1时成立,且对所有正整数k,P(k)成立都能推导出P(k+1)成立,则P(n)对所有n ∈ ℕ都成立
使用归纳法证明前n个正整数的和等于n(n+1)/2
- 1
步骤1:基例。测试n=1:左侧=1,右侧=1(2)/2=1,P(1)成立。
- 2
步骤2:归纳假设。假设P(k)成立:
- 3
步骤3:归纳步骤。在等式两侧同时加(k+1):,该结果与P(k+1)的形式完全匹配
- 4
步骤4:结论。由于P(1)成立,且P(k)成立可推导出P(k+1)成立,因此P(n)对所有正整数n都成立。
测试你对归纳法各步骤分值占比的理解
在典型的9231考题中,标准归纳证明的哪一步占总分值的比例最高?
基例验证
归纳假设
归纳步骤
最终结论
显示答案
归纳步骤 —归纳步骤中的代数变形通常占完整归纳题8-10分中的4-6分。
2. 求和恒等式的归纳证明★★★☆☆⏱ 7 min
求和证明是CIE 9231卷1中最常考的归纳题型。核心规则是从P(k)的求和式中分离出第(k+1)项,再整理变形匹配目标闭式。
证明对所有正整数n,
- 1
基例n=1:左侧=1,右侧=123/6=1,因此P(1)成立。
- 2
归纳假设:假设
- 3
归纳步骤:在两侧同时加:
- 4
- 5
- 6
该结果与n=k+1时的目标形式匹配,因此P(k)可推导出P(k+1),之后补充标准的全称结论即可。
Exam tip:
先把n=k+1时的目标右侧展开,再从左侧往目标形式凑,避免在复杂代数变形中卡住。
3. 整除性的归纳证明★★★☆☆⏱ 6 min
整除性证明需要证明给定表达式f(n)对所有正整数n都能被固定整数d完全整除。标准技巧是将f(k+1)改写为f(k)的倍数加上d的倍数的形式。
整除记号
整数d可以完全整除f(n)且无余数,即存在整数m使得f(n) = d * m。
证明对所有正整数n,可被6整除
- 1
基例n=1:,可被6整除,因此P(1)成立。
- 2
归纳假设:假设存在整数m使得。
- 3
归纳步骤:改写
- 4
- 5
该结果是6的整数倍,因此P(k+1)成立,之后补充标准结论即可。
4. 矩阵幂恒等式的归纳证明★★★★☆⏱ 7 min
矩阵归纳证明需要证明将给定2×2或3×3矩阵M的n次幂展开后符合指定的标准矩阵形式。归纳步骤使用恒等式。
证明对于,对所有正整数n都有
- 1
基例n=1:,与右侧2*1=2的形式匹配,因此P(1)成立。
- 2
归纳假设:假设
- 3
- 4
- 5
该结果与n=k+1时的目标形式匹配,因此P(k)可推导出P(k+1),之后补充标准结论即可。
5. 常见陷阱
错误做法:
完全跳过基例直接开始归纳步骤
原因:
这会产生逻辑谬误,甚至可以证明「所有整数都相等」这类错误命题,直接丢失2-3分的基础分值
正确做法:
永远先测试n=1(或题目指定的起始值),并清晰陈述验证结果。
错误做法:
写「假设P(n)成立」而不是「假设P(k)成立」
原因:
这会混淆通用变量和假设中使用的特定固定整数k,丢失1分的表达分
正确做法:
明确定义k是使P(k)成立的任意正整数。
错误做法:
没有明确写出关联归纳法原理的最终结论
原因:
CIE评分标准为这个总结性陈述单独分配1分,很多赶时间的考生都会漏掉
正确做法:
每道证明题都以标准语句收尾:「由于P(1)成立,且P(k)成立可推导出P(k+1)成立,因此P(n)对所有正整数n都成立」。
错误做法:
在整除证明中没有定义整数倍数变量(比如没有写且m是整数)
原因:
阅卷官会因为你没有说明最终表达式是d的整数倍而扣减分数
正确做法:
明确命名整数倍数变量,并声明它是整数。
错误做法:
在矩阵归纳中错误地按相乘,而不是
原因:
矩阵乘法不满足交换律,对于非交换矩阵这会得到完全错误的结果
正确做法:
永远按书写,匹配归纳假设的结构。
6. 速查表
证明类型 | 核心归纳步骤恒等式 | 典型分值占比 |
|---|---|---|
求和证明 | 6-7分 | |
整除证明 | 5-6分 | |
矩阵幂证明 | 7-8分 | |
递推关系证明 | 6-7分 |
真题中的出现
AI 根据考纲规律估算的考点位置,请对照官方真题核实准确性。仅作复习重点参考。
- 2025 · 12
证明7ⁿ -1可被6整除
- 2024 · 11
证明r(r+1)的求和公式
- 2023 · 13
证明2×2矩阵幂恒等式
下一步
你现在已经掌握了CIE 9231进阶纯数1考试中最常见的3类归纳证明的核心结构。为了巩固技能,请练习融合多个知识点的完整真题风格归纳题,包括不等式和递推关系证明,这是本主题下难度更高的进阶内容。你也可以复习相关的证明方法比如反证法,这是进阶纯数1中另一个高频考点,帮你搭建完整的形式化证明技巧体系。熟练掌握归纳法也会为你后续学习大纲中的级数与序列证明内容提供支撑。
