📚 A-Level Mathematics: Fundamentals of Mathematical Proof | A-Level数学：数学证明基础
Mathematical proof is the core of advanced mathematics. In Edexcel A-Level Mathematics, you are expected not only to perform calculations, but also to justify why a statement is always true using logical reasoning.
数学证明是高等数学的核心。在Edexcel A-Level数学中，你不仅需要会计算，还需要用逻辑推理说明一个命题为什么总是成立。
1. What Is a Mathematical Proof? | 什么是数学证明？
A mathematical proof is a sequence of logical steps, each following from previously established facts, axioms, or valid deductions, which establishes the truth of a statement beyond all doubt.
数学证明是一连串逻辑步骤，每一步都基于已知事实、公理或有效推理，从而毫无疑义地确立一个命题的真实性。
Unlike scientific experiments, a proof gives absolute certainty. For example, showing that the sum of two even numbers is even for a few cases is not a proof; you must prove it for all possible even numbers.
与科学实验不同，证明给出的是绝对确定性。例如，用几个例子说明两个偶数相加是偶数并不算证明；你必须对所有可能的偶数证明这一点。
In A-Level, proof questions often begin with phrases such as "Prove that ..." or "Show that ...". You must use rigorous reasoning, not just check examples.
在A-Level中，证明题通常以“证明……”或“说明……”开头。你必须使用严谨推理，而不能只检验例子。
2. Axioms, Theorems, Lemmas and Corollaries | 公理、定理、引理与推论
An axiom is a statement accepted without proof. A theorem is a statement that has been proven. A lemma is a smaller result used to prove a larger theorem. A corollary is a result that follows immediately from a theorem.
公理是不经证明就被接受的说法。定理是已经被证明的命题。引理是用于证明更大定理的小结论。推论是直接从定理得到的结果。
Axioms are the starting points of mathematics.
公理是数学的出发点。
Theorems require proof before they can be used.
定理在使用前必须被证明。
Lemmas help break a hard proof into manageable parts.
引理帮助把困难证明分解为可处理的部分。
Corollaries are often easy consequences of a theorem.
推论通常是定理的简单结果。
3. Direct Proof | 直接证明
A direct proof starts with known facts and uses algebraic or logical deductions to reach the conclusion. It is the most common proof method in A-Level.
直接证明从已知事实出发，通过代数或逻辑推理得到结论。这是A-Level中最常用的证明方法。
be 2m and 2n, where m and n are integers. Their sum is 2m + 2n = 2(m + n), which is even.
例：证明任意两个偶数的和是偶数。设这两个整数为2m和2n，其中m和n是整数。它们的和为2m + 2n = 2(m + n)，这是偶数。
Direct proof often uses substitution of definitions, expanding brackets, factoring, or simplifying expressions.
直接证明常用代入定义、展开括号、因式分解或化简表达式的方法。
4. Proof by Contradiction | 反证法
Proof by contradiction assumes that the statement is false, and then logically derives an impossible result, showing that the assumption must be wrong.
反证法假设命题为假，然后逻辑推演出一个不可能的结果，从而说明原假设是错误的。
Classic example: Prove that √2 is irrational. Assume √2 is rational, so √2 o b is even. This contradicts the assumption that a and b have no common factors. Therefore √2 is irrational.
经典例子：证明√2是无理数。假设√2是有理数，则√2 = a/b，其中a和b是互质整数，且b ≠ 0。于是2 = a² / b²，所以a² = 2b²。因此a²是偶数，a也是偶数。设a = 2k，则(2k)² = 2b²，即4k² = 2b²，所以b² = 2k²。因此b²是偶数，b也是偶数。这与a、b互质矛盾。所以√2是无理数。
In Edexcel, you may be asked to prove statements about even/odd numbers or the existence of infinitely many primes using contradiction.
在Edexcel中，你可能会被要求用反证法证明关于偶数/奇数的命题或素数有无穷多个。
5. Proof by Exhaustion | 穷举证明法
Proof by exhaustion divides a statement into a finite number of cases and proves each case separately.
穷举证明法把命题分成有限个情况，并逐一证明每种情况。
Example: Prove that n² + n is even for all integers n. We consider two cases: n is even, or n is odd.
例：证明对所有整数n，n² + n是偶数。我们考虑两种情况：n是偶数，或n是奇数。
If n is even, n = 2k, then n² + n = 4k² + 2k = 2(2k² + k), which is even.
若n是偶数，n = 2k，则n² + n = 4k² + 2k = 2(2k² + k)，这是偶数。
+ 1)² + (2k + 1) = 4k² + 4k + 1 + 2k + 1 = 4k² + 6k + 2 = 2(2k² + 3k + 1), which is even.
若n是奇数，n = 2k + 1，则n² + n = (2k + 1)² + (2k + 1) = 4k² + 4k + 1 + 2k + 1 = 4k² + 6k + 2 = 2(2k² + 3k + 1)，这是偶数。
In both cases the expression is even, so the statement is true.
两种情况下的表达式都是偶数，因此命题成立。
6. Mathematical Induction | 数学归纳法
it holds for a base case and that if it holds for n = k, then it also holds for n = k + 1.
数学归纳法通过证明基础情形成立，并且若n = k时成立则n = k + 1时也成立，从而证明命题对所有正整数成立。
The method has three steps:
这种方法有三个步骤：
Base case: Show the statement is true for the smallest value, often n = 1.
基础情形：证明命题对最小值成立，通常是n = 1。
Inductive assumption: Assume the statement is true for n = k.
归纳假设：假设命题在n = k时成立。
Inductive step: Use this assumption to prove it is true for n = k + 1.
归纳步骤：利用该假设证明n = k + 1时也成立。
Example: Prove that 1 + 2 + 3 + ... + n = n(n + 1)/2 for all positive integers n.
例：证明对所有正整数n，1 + 2 + 3 + ... + n = n(n + 1)/2。
Base case: For n = 1, left side = 1, right side = 1 × 2 / 2 = 1. True.
基础情形：当n = 1时，左边 = 1，右边 = 1 × 2 / 2 = 1。成立。
true for n = k: 1 + 2 + ... + k = k(k + 1)/2. Then for n = k + 1, add k + 1 to both sides:
假设n = k时成立：1 + 2 + ... + k = k(k + 1)/2。那么当n = k + 1时，两边加上k + 1：
1 + 2 + ... + k + (k + 1) = k(k + 1)/2 + (k + 1) = (k + 1)(k/2 + 1) = (k + 1)(k + 2)/2
ula for n = k + 1. Therefore, by induction, the formula holds for all positive integers n.
这正是n = k + 1时的公式。因此，由归纳法，公式对所有正整数n成立。
7. Disproof by Counterexample | 用反例否定命题
To disprove a general statement, it is enough to find one counterexample. This is an important skill in A-Level mathematics.
要否定一个普遍命题，找到一个反例就足够了。这是A-Level数学中的重要技能。
Example: Consider the statement "All prime numbers are odd." The number 2 is prime but even, so the statement is false.
例：考虑命题“所有素数都是奇数”。数字2是素数但却是偶数，所以该命题为假。
A counterexample must be clearly stated and must satisfy all the conditions of the statement while violating the conclusion.
反例必须明确给出，并且必须满足命题的所有条件，但违背结论。
8. Necessary and Sufficient Conditions | 必要与充分条件
In mathematical proof, we often deal with implications. If p implies q, we say p is a sufficient condition for q, and q is a necessary condition for p.
在数学证明中，我们常处理蕴含关系。如果p蕴含q，我们说p是q的充分条件，q是p的必要条件。
If both p implies q and q implies p, then p and q are equivalent, written p ⇔ q.
如果p蕴含q且q蕴含p，则p与q等价，写作p ⇔ q。
x = 1 implies x² = 1, but x² = 1 does not necessarily imply x = 1, because x could be -1.
例：对实数x，x² = 1等价于x = 1或x = -1。然而，x = 1可以推出x² = 1，但x² = 1不一定推出x = 1，因为x可能是-1。
In exams, be careful when squaring equations: you may introduce extra solutions, so always check whether the implication is reversible.
在考试中，对等式两边平方时要小心：可能会引入额外解，因此要检查蕴含是否可逆。
9. Algebraic Proof Techniques | 代数证明技巧
Algebraic proof involves manipulating expressions using definitions and identities. It is used to prove divisibility, parity, or properties of sequences.
代数证明涉及利用定义和恒等式处理表达式。它常用于证明整除性、奇偶性或数列性质。
Common techniques include:
常用技巧包括：
Let a variable represent an arbitrary integer, such as n = 2k for even.
用变量代表任意整数，例如用n = 2k表示偶数。
Factorise or expand expressions to reveal structure.
通过因式分解或展开表达式来揭示结构。
Use the fact that consecutive integers are coprime when proving divisibility.
在证明整除性时，利用连续整数互质这一事实。
Example: Prove that the product of two consecutive integers is even. Let the integers be n and n + 1. One of them must be even, so their product is even.
例：证明两个连续整数的乘积是偶数。设这两个整数为n和n + 1。其中必有一个是偶数，所以它们的乘积是偶数。
(2k + 1). If n is odd, n = 2k + 1, then n + 1 = 2k + 2 = 2(k + 1), so the product is even.
更代数化的证明：若n是偶数，n = 2k，则n(n + 1) = 2k(2k + 1)。若n是奇数，n = 2k + 1，则n + 1 = 2k + 2 = 2(k + 1)，所以乘积是偶数。
10. Common Mistakes in Proofs | 证明中的常见错误
Many students lose marks in proof questions because of logical errors. Here are some common pitfalls.
许多学生在证明题中因逻辑错误失分。以下是一些常见陷阱。
Assuming the conclusion before proving it.
在证明之前就假设结论成立。
Using examples as proof.
用例子当证明。
Dividing by zero or by a variable that could be zero.
除以零，或除以可能为零的变量。
Incorrectly applying the contrapositive.
错误地使用逆否命题。
Missing cases in proof by exhaustion.
在穷举证明中遗漏情况。
Forgetting to check the base case in induction.
在归纳法中忘记检查基础情形。
Always ask yourself: have I covered every possible case? Is every step reversible if needed?
始终问自己：我是否涵盖了所有可能情况？如果需要，每一步是否可逆？
11. Exam Strategies for Proof Questions | 证明题的考试策略
In Edexcel A-Level exams, proof questions appear across Pure Mathematics papers, often as short "Prove that" questions worth 2–5 marks.
在Edexcel A-Level考试中，证明题出现在纯数试卷中，通常是2-5分的“证明……”题。
Key strategies:
关键策略：
Define variables clearly at the start.
开始时明确设变量。
Write every step, even if it seems obvious.
写出每一步，即使看起来很明显。
End with a clear conclusion that restates the statement.
以清晰的结论结尾，重申命题。
For induction, label the base case, assumption, and inductive step explicitly.
对于归纳法，明确标出基础情形、假设和归纳步骤。
If using "without loss of generality", make sure the assumption is valid.
若使用“不失一般性”，确保该假设有效。
Practicing standard proof formats will help you answer efficiently and accurately.
练习标准证明格式有助于你高效、准确地作答。
12. Conclusion: Proof as a Way of Thinking | 结论：证明是一种思维方式
Mathematical proof is not just an exam topic; it is the language of certainty. By mastering direct proof, contradiction, exhaustion, induction, and counterexamples, you build the logical foundation needed for higher mathematics.
数学证明不只是考试专题，它是确定性的语言。通过掌握直接证明、反证法、穷举法、归纳法和反例，你为高等数学打下逻辑基础。
Remember: a proof must be watertight. Every statement should have a reason, every case should be covered, and every conclusion should follow logically.
记住：证明必须滴水不漏。每句话都应有理由，每种情况都应被覆盖，每个结论都应合乎逻辑。
With careful practice, you can turn proof questions from a challenge into a strength.
通过认真练习，你能把证明题从挑战变成强项。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图