证明（Edexcel IAL 数学 P2）
Edexcel 国际A-Level 数学· 2018 Specification (Issue 3) P2 §1.1–1.3· 12 分钟阅读
1. 有效数学证明的结构★☆☆☆☆⏱ 3 min
✓ 计算器
所有数学证明都遵循统一的结构：从给定的假设（前提）出发，经过一系列逻辑严谨、依据充分的步骤，最终得出直接指向待证命题的清晰结论。每一步都必须由前一步推导得出，不能存在逻辑断层。
有效证明
从公认或给定的假设出发，仅使用逻辑严密的推导，毫无跳跃地明确得出所需结论的数学论证。
例:
证明两个偶数的和为偶数：假设整数a = 2k, b = 2m，其中k,m均为整数。和 = 2k + 2m = 2(k+m)，是2乘以整数，因此为偶数。
证明对任意整数n，乘积n(n+1)为偶数。
- 1
步骤1：从给定条件出发：n为任意整数。n存在两种互斥的情况：n是偶数，或n是奇数。
- 2
情况1：n是偶数。令n = 2k，其中k为整数。
- 3
- 4
这是2乘以整数k(2k+1)，因此为偶数。
- 5
情况2：n是奇数。令n = 2k + 1，其中k为整数。
- 6
- 7
这是2乘以整数(2k+1)(k+1)，因此为偶数。
- 8
结论：两种情况都验证了对所有整数n，n(n+1)为偶数，因此该命题得证。
检验你对证明结构的理解
以下哪一项是有效证明的必要组成部分？
A: 至少测试3个案例
B: 呼应原命题的清晰结论
C: 仅使用代数步骤
D: 包含一个反例
显示答案
B —所有有效证明都必须以直接指向待证命题的结论收尾。仅穷举法证明需要测试案例，反例仅用于证伪。
Exam tip:
在证明的末尾务必明确陈述你的结论，呼应原命题，这样才能拿到证明题的最后一分。
2. 穷举法证明★★☆☆☆⏱ 4 min
✓ 计算器
穷举法证明（也称为案例证明）适用于命题中变量的可能取值集合为有限集的场景。你需要逐一测试每一个可能的案例，确认命题对所有案例都成立。
穷举法证明
一种证明方法，将问题拆分为数量有限的穷举（覆盖所有可能性）且互斥的案例，随后证明命题对每一个案例都成立。
例:
证明对所有小于6的奇数x，x² mod 4 = 1：测试x = 1, 3, 5：1²=1 mod4=1, 3²=9 mod4=1, 5²=25 mod4=1，因此命题成立。
证明对所有小于7的正奇数x和y，二者之和可被2整除。
- 1
步骤1：列出x和y的所有有效值：小于7的奇数为1、3、5。
- 2
步骤2：计算这些数值两两组合的所有可能和：
- 3
- 4
步骤3：检查是否可被2整除：所有和均为偶数，因此都可被2整除。
- 5
结论：所有组合都满足条件，因此该命题得证。
Exam tip:
穷举法证明切勿跳过案例列举：阅卷人会检查你是否明确覆盖了所有可能的有效值，因此请在作答中清晰列出所有案例。
3. 反例证伪★★☆☆☆⏱ 3 min
✓ 计算器
许多数学命题声称某一性质对变量的所有取值都成立。要证伪这类命题，你只需要找到一个使命题不成立的取值（即反例）即可。
反例
满足数学命题的条件但不满足其结论的特定实例，由此可证明该命题为假。
例:
命题：所有质数都是奇数。反例：2是质数且为偶数，因此该命题为假。
证伪以下命题：对所有正整数n，n² - n + 1都是质数。
- 1
步骤1：测试小的正整数值n，找到一个使n² - n +1不是质数的取值。
- 2
测试n=1：1 - 1 +1 =1，1不是质数，但1通常在质数测试中被排除，因此尝试更大的取值。
- 3
测试n=2：4 - 2 +1 =3，是质数。n=3：9 -3 +1 =7，是质数。n=4：16 -4 +1=13，是质数。n=5：25-5+1=21
- 4
- 5
结论：n=5是满足条件（正整数）但使命题不成立的反例，因此该命题被证伪。
Exam tip:
证伪题只需提供一个有效反例即可获得全部分值：你无需测试多个数值，只需清晰展示你的反例满足命题条件且违背结论即可。
4. 常见陷阱
错误做法:
穷举法证明中跳过部分案例，例如对小于7的奇数x仅测试x=1和3，遗漏x=5
原因:
阅卷人需要确认你检查了每一个可能的有效案例，因此部分测试会导致证明无效。
正确做法:
测试前明确列出所有可能的取值或案例组，每验证一个就标记一个，确保全部覆盖。
错误做法:
使用不满足命题条件的无效反例，例如用n=0证伪关于正整数的命题。
原因:
反例必须满足命题的所有初始条件才有效。
正确做法:
反复检查你的反例是否符合待证伪命题中列出的所有限制条件（例如正整数、奇数、小于10）。
错误做法:
在证明中加入未声明的假设，例如命题说明n是任意整数，你却自行假设n为正数。
原因:
无依据的假设会造成逻辑断层，使你的证明无效。
正确做法:
仅使用题目中明确给出的假设，或公认的数学事实（例如偶数是2的倍数）。
错误做法:
证明末尾忘记陈述呼应原命题的最终结论。
原因:
最终结论是所有证明题的必占得分点，即使你的推导全部正确，遗漏结论也会丢失1分。
正确做法:
每一个证明或证伪的结尾都用一句话明确说明你已经证明/证伪了原命题。
错误做法:
在P2证明题中尝试使用反证法或数学归纳法。
原因:
这些方法超出P2的考纲范围，即使数学上正确，也不会被P2证明题接受为有效解法。
正确做法:
仅使用P2覆盖的证明方法：标准演绎证明、穷举法证明、反例证伪。
5. 速查表
方法 | 适用场景 | 核心步骤 |
|---|---|---|
演绎证明 | 针对所有取值的通用命题 |
|
穷举法证明 | 针对有限取值集合的命题 |
|
反例证伪 | 证伪'对所有'类命题 |
|
6. 常见问题
P2试卷中证明题的分值是多少？
Edexcel IAL P2中的证明题通常占2到4分，大部分题目要求完成完整的穷举法证明，或者给出一个反例来证伪命题。
穷举法证明需要展示所有案例吗？
是的，你必须明确列出或清晰说明你已经检查了所有可能的案例，才能获得穷举法证明题的全部分值。仅检查部分案例会导致失分。
深入阅读
下一步
掌握P2核心证明技能后，你可以将这些推理技巧应用到P2的所有其他模块，包括代数方法、三角恒等式、数列与级数。证明题经常嵌入其他主题的题目中，因此练习将证明技能与P2其他单元的内容结合起来，将帮助你在考试中拿到最高分。接下来你可以学习代数运算技巧，在该部分你会频繁使用证明来验证恒等式命题。