A-Level 进阶数学证明题怎么写：数学归纳法四步不能少，反证法和 Show that 怎么答

“证明题”是很多学进阶数学的国内学生最头疼的题型：会算，但不会“写”。国内数学课更看重算出结果，而 A-Level 进阶数学的证明题，考的是把每一步推理写清楚、写完整。这篇依据剑桥 9231 进阶数学（2026、2027 年版）和爱德思 IAL 数学考纲（第 3 版），整理两个考试局要求掌握的证明方法，重点讲数学归纳法怎么写才能拿满分。进阶数学的整体结构见A-Level 进阶数学怎么考。

一、两个考试局考哪些证明

可以看出：数学归纳法是两个考试局进阶数学共同的核心证明方法；爱德思还在普通数学里系统地教穷举法、反例和反证法。上表中剑桥一栏的“没有单列”，指我们在两份考纲的内容列表中没有找到对应条目。

二、官方怎么定义 Prove 和 Show that

剑桥 9231 考纲的指令词表：

• Prove：用一连串逻辑的数学推理，确认所给命题为真；
• Show (that)：给出有条理的证据，推出所给结果；
• Derive：通过一系列逻辑步骤，从一个式子得到另一个式子、方程或值；
• Verify：确认所给命题或结果为真；
• Deduce：从已有信息得出结论。

这些题有一个共同点：答案已经写在题目里了。所以阅卷看的不是结果，而是推理过程是否完整、每一步是否有依据。剑桥考纲还规定，考生要写出所有必要的过程，只有计算器给出的结果而没有过程支撑的答案不给分。

爱德思 P2 对证明结构的描述是：从给定的假设出发，经过一系列逻辑步骤，得出结论。

三、数学归纳法：考纲要求和题型

剑桥 9231 第 1.7 节要求：

• 用数学归纳法证明给定的结论。考纲举的例子涵盖求和公式（如 r³ 的求和）、数列通项（由递推式给出的数列）、矩阵的 n 次幂、整除性；
• 认识到“先通过有限次尝试做出猜想，再用归纳法证明”是一种有用的策略，并在简单情况下完成。考纲的例子是求 x eˣ 的 n 阶导数，以及求 r × r! 的前 n 项和。

爱德思 FP1 要求的归纳证明包括四类：级数求和、整除性、数列通项、矩阵乘积，和剑桥基本一致。

四、一个完整的归纳证明怎么写

下面用一个例子演示结构（例子是我们自己编写的，不是考题）：

命题：对所有正整数 n，7ⁿ − 1 能被 6 整除。

1. 验证初始情形：当 n = 1 时，7¹ − 1 = 6，能被 6 整除，命题成立。
2. 归纳假设：假设当 n = k（k 为某个正整数）时命题成立，即 7ᵏ − 1 = 6m，其中 m 为整数。
3. 归纳步骤：当 n = k + 1 时，
   7ᵏ⁺¹ − 1 = 7 × 7ᵏ − 1 = 7(7ᵏ − 1) + 7 − 1 = 7 × 6m + 6 = 6(7m + 1)。
   因为 7m + 1 是整数，所以 7ᵏ⁺¹ − 1 能被 6 整除，即当 n = k + 1 时命题也成立。
4. 结论：命题对 n = 1 成立；并且若命题对 n = k 成立，则对 n = k + 1 也成立。因此由数学归纳法，命题对所有正整数 n 成立。

写法要点（经验性建议）：

• 四个部分一个都不能少，尤其是最后的结论句，很多人算完归纳步骤就停笔；
• 归纳假设要写成“假设”，而不是“因为命题对 k 成立”；
• 归纳步骤里要明确用到假设，并在式子中标出用到假设的那一步；
• 目标式要先写出来：求和题中，先写出 n = k + 1 时要证明的式子，再从左边推到右边，推导方向更清楚；
• 矩阵题：注意乘法顺序，Aᵏ⁺¹ = Aᵏ × A 或 A × Aᵏ，选一种并写清楚；
• 数列通项题：把递推式和假设结合，化简到目标形式。

五、其他证明方法（爱德思 P2、P4）

• 穷举法：把所有情况逐一验证。考纲的例子是：x、y 是小于 7 的奇数，证明它们的和能被 2 整除；
• 举反例：只需要一个反例就能推翻命题。考纲的例子是：说明“n² − n + 1 对所有 n 都是素数”这一命题不成立；
• 反证法：假设结论不成立，推出矛盾。考纲点名的经典例子是 √2 是无理数、素数有无穷多个，还要求能用于陌生的证明。

写法要点（经验性建议）：反证法第一句要明确写出“假设……”，结尾要指出矛盾在哪里并得出结论；举反例时，要把反例代入并算出具体结果，说明它为什么不满足命题。

六、“Show that”题：不要跳步

进阶数学里大量题目用 Show that，比如证明双曲函数恒等式、推导三角恒等式、化简到给定结果。以下是经验性建议：

• 从一边推到另一边：证恒等式时，从较复杂的一边出发，一步步化简到另一边；不要两边同时变形后“看起来相等”；
• 写出关键步骤：因为结果已知，跳过的步骤很容易被认为是“凑出来的”；
• 最后一行和题目一致：推导的最后一行，要和题目给出的结果完全一致；
• 用上“hence”：题目说“Hence…”时，要用上一问的结果，而不是另起炉灶。

七、常见的丢分原因

以下是经验性总结：

• 归纳法缺结论句，或者初始情形只写了“显然成立”；
• 归纳步骤没有用到假设，或者把要证的结论当成已知；
• 代数跳步：中间直接写出最终形式；
• 反证法没有明确写出假设和矛盾；
• Show that 题两边同时变形。

八、怎么练

1. 把考纲例子逐个写一遍：剑桥考纲 1.7 节和爱德思 FP1 的例子，覆盖了求和、数列、矩阵、整除四类，每类都完整写一遍；
2. 练“先猜后证”：剑桥考纲要求，比如求 x eˣ 的 n 阶导数，先算前几阶，找规律，再用归纳法证明；
3. 对照评分标准：往年试卷的评分标准一般通过学校获取，看看归纳证明的每一部分分别给多少分；
4. 申请数学相关专业的同学：TMUA 的 Paper 2 考逻辑与证明，STEP 考长篇证明，见数学入学笔试 TMUA 和 STEP。

最后

进阶数学的证明题，考的是完整、严谨的书面推理：数学归纳法四个部分缺一不可，反证法要写清假设和矛盾，Show that 题不能跳步。剑桥和爱德思都把数学归纳法列为进阶数学的核心内容，把考纲里的例子逐类练熟，证明题就能从“会做但丢分”变成稳定拿分。如果你需要 A-Level 进阶数学辅导，可以和我们的老师聊一聊。

核对说明：本文于 2026 年 9 月核对：剑桥 9231 第 1.7 节数学归纳法的要求和例子、双曲函数恒等式和特征值性质的证明要求、棣莫弗定理对正整数指数的证明、指令词 Prove、Show that、Derive、Verify、Deduce 的含义，以及“只有计算器结果、没有过程的答案不给分”的规定，来自剑桥国际《Further Mathematics 9231 syllabus for 2026 and 2027》；剑桥 9709 的内容列表中没有单列证明方法，来自《Mathematics 9709 syllabus for 2026 and 2027》。爱德思 P2 的证明结构、穷举法和反例，P4 的反证法，FP1 的数学归纳法四类题，FP2 对任意整数证明棣莫弗定理，来自培生 IAL 数学、进阶数学与纯数学考纲（第 3 版）。文中的归纳证明例子是我们编写的，不是考题。写法要点、常见丢分原因和练习方法，是我们的经验性建议。

参考来源：

• Cambridge International：AS & A Level Further Mathematics (9231)
• Pearson：International Advanced Level Mathematics