📚 Mathematical Proof | 数学证明
Mathematical proof is the cornerstone of A-Level Mathematics. In Edexcel's specification, you are expected to construct rigorous arguments, recognise valid reasoning, and expose flawed logic. This article covers direct proof, proof by contradiction, disproof by counterexample, proof by exhaustion, proof by induction, and essential logical language. Each method is illustrated with typical exam examples, and we highlight common pitfalls to help you secure full marks on proof questions.
数学证明是 A-Level 数学的基石。在 Edexcel 考纲中，你需要构建严谨的论证，识别有效的推理，并揭露逻辑漏洞。本文涵盖直接证明、反证法、反例证明、穷举法、数学归纳法以及关键的逻辑语言。每种方法都配有典型的考试例题，我们还会指出常见错误，帮助你在证明题中拿到满分。
1. What is a Proof? | 什么是证明？
A proof is a logical sequence of statements that starts from known facts, definitions, or axioms and leads to a conclusion by valid deduction. Every step must be justified. In A-Level exams, proof questions test your ability to structure mathematical arguments clearly and concisely.
证明就是一系列逻辑陈述，从已知事实、定义或公理出发，通过有效的推理得出结论。每一步都必须有根据。在 A-Level 考试中，证明题考查你清晰而简洁地构建数学论证的能力。
ks. For example, verifying that 1² − 1 = 0, 3² − 3 = 6, and 5² − 5 = 20 are all even does not prove 'n² − n is even for every integer n'; we need an algebraic proof.
一个或真或假的陈述称为命题。要证明一个命题为真，我们使用一般的论证，而不是仅仅检查几个数字。例如，验证 1² − 1 = 0、3² − 3 = 6 和 5² − 5 = 20 都是偶数，并不能证明“对所有整数 n，n² − n 是偶数”；我们需要代数证明。
2. Direct Proof | 直接证明
Direct proof starts from known truths and uses logical steps to reach the statement to be proved. It is often used for algebraic identities and properties of numbers. A typical question asks you to prove that a given expression is always odd or always even.
直接证明从已知事实出发，通过逻辑步骤推导出要证明的陈述。它常用于代数恒等式和数的性质。典型的问题是要求证明某个表达式总是奇数或总是偶数。
)=2a+2b+2=2(a+b+1). Since a+b+1 is an integer, the sum is a multiple of 2, hence even. Every step follows from integer arithmetic.
例题：证明任意两个奇数之和为偶数。设 2a+1 和 2b+1 是两个奇数，其中 a 和 b 为整数。它们的和为 (2a+1)+(2b+1)=2a+2b+2=2(a+b+1)。因为 a+b+1 是整数，所以该和是 2 的倍数，因此是偶数。每一步都由整数运算得出。
Direct proof also appears in trigonometric identities and simplification. You must start with one side of the identity and manipulate it using standard formulas until it matches the other side.
直接证明也出现在三角恒等式和化简中。你必须从恒等式的一边入手，运用标准公式进行变形，直到它与另一边一致。
3. Proof by Contradiction | 反证法
Proof by contradiction (also called indirect proof) begins by assuming the opposite of what we want to prove. We then derive a logical contradiction, showing that the assumption must be false, so the original statement is true.
反证法（也称间接证明）从假设我们要证明的结论的反面开始，然后推导出一个逻辑矛盾，从而说明假设必定是错的，因此原命题为真。
The classic Edexcel example is proving that √2 is irrational. Assume √2 = p/q where p and q are integers with no common factors. Then 2 = p²/q² ⇒ p² = 2q². Hence p² is even, so p is even. Write p = 2k, then (2k)² = 2q² ⇒ 4k² = 2q² ⇒ q are both even, contradicting the assumption that they have no common factors. Therefore √2 cannot be expressed as a fraction; it is irrational.
经典的 Edexcel 例题是证明 √2 是无理数。假设 √2 = p/q，其中 p 和 q 是没有公因数的整数。那么 2 = p²/q² ⇒ p² = 2q²。因此 p² 是偶数，所以 p 是偶数。设 p = 2k，则 (2k)² = 2q² ⇒ 4k² = 2q² ⇒ q² = 2k²，所以 q² 也是偶数，从而 q 是偶数。现在 p 和 q 都是偶数，与它们没有公因数的假设矛盾。因此 √2 不能表示为分数；它是无理数。
N is either prime itself or divisible by some prime. But N leaves remainder 1 when divided by any existing prime, so it cannot be divisible by any of them. This contradicts the assumption that we had all the primes. Therefore there are infinitely many primes.
另一个常见的反证法是证明素数有无穷多个。假设只有有限个素数：p₁, p₂, ..., pₙ。考虑 N = p₁×p₂×...×pₙ + 1。N 要么自身是素数，要么可被某些素数整除。但 N 除以任何一个已有素数都余 1，因此不可能被它们中的任何一个整除。这与我们拥有所有素数的假设矛盾。因此素数有无穷多个。
4. Disproof by Counterexample | 反例证明
To disprove a universal claim ('For all x, P(x) holds'), it is enough to find a single counterexample where P(x) is false. This is a powerful and simple method in A-Level proofs.
要证伪一个全称命题（“对所有 x，P(x) 成立”），只需找到一个使 P(x) 为假的反例。这是 A-Level 证明中一种强大而简单的方法。
Example: Disprove 'if n is a positive integer, then n² + n + 41 is prime.' 1 + 1 + 1) = 41 × 43, which is not prime. One counterexample shows the statement is false.
例题：证伪“若 n 为正整数，则 n² + n + 41 是素数”。取 n = 41：41² + 41 + 41 = 41(41 + 1 + 1) = 41 × 43，这不是素数。一个反例就表明命题为假。
You must choose your counterexample carefully. Simply testing a few values is not a proof of truth, but one well-chosen value is enough to disprove. When asked to disprove, always state the counterexample clearly and show that the condition fails.
你必须仔细选择反例。测试几个值不能证明命题为真，但一个精心选取的值就足以证伪。当要求证伪时，务必明确给出反例并说明条件不成立。
5. Proof by Exhaustion | 穷举法
Proof by exhaustion breaks the statement into a finite number of cases and checks the truth in each case. This is suitable when the domain is small or can be split into a manageable set of categories.
穷举法将命题拆分为有限多个情形，并逐一验证每个情形成立。当定义域很小或可划分为有限个可处理的类别时，这种方法很适用。
≤ n ≤ 4, the inequality n² < 2ⁿ holds. Check: n=1 → 1² < 2¹ (1<2 true); n=2 → 4 < 4 (false? 4<4 false.) So the statement actually fails at n=2, but that indicates we should test. Let's use a correct example: Prove that for n ∈ on, a solid example is: Prove that 11 is the only prime consisting of two identical digits? Not a great one. Better: 'Prove that (n+1)³ ≥ 3n for n = 1, 2, 3.' Check each. Anyway, I'll craft a reliable example.
例题：证明对所有整数 n 满足 1 ≤ n ≤ 3，有 n³ ≥ n²。n=1：1≥1 真；n=2：8≥4 真；n=3：27≥9 真。所有情形均验证，因此命题对给定范围成立。
In Edexcel exams, exhaustion may be required when dealing with parity (even/odd) or a small set of residues. For instance, prove that every integer n can be written as 2q or 2q+1, and then verify a property for both cases.
在 Edexcel 考试中，当处理奇偶性或少量剩余类时，可能需要用到穷举法。例如，证明每一个整数 n 都可以写成 2q 或 2q+1 的形式，然后对这两种情形验证某种性质。
6. Proof by Mathematical Induction | 数学归纳法
Mathematical induction is a technique for proving statements that depend on a natural number n. It consists of a base case and an inductive step. Although induction is mainly taught in Edexcel Further Mathematics, it sometimes appears in A-Level Maths as enrichment or in questions about sequences.
数学归纳法是一种证明依赖于自然数 n 的命题的技巧。它包括基础步骤和归纳步骤。虽然归纳法主要在 Edexcel 进阶数学中教授，但有时也作为 A-Level 数学的拓展或在数列问题中出现。
ds for all positive integers n. Example: Prove Σᵢ₌₁ⁿ i = n(n+1)/2. Base: n=1 → 1 = 1×2/2 true. Inductive step: assume 1+...+k = k(k+1)/2. Then 1+...+k+(k+1) = k(k+1)/2 + (k+1) = (k+1)(k/2 + 1) = (k+1)(k+2)/2, which completes the proof.
标准结构：证明 P(1) 为真（基础）。假设对某个任意 k ≥ 1，P(k) 成立，然后证明 P(k+1) 成立。通过归纳得出结论：P(n) 对所有正整数 n 成立。例题：证明 Σᵢ₌₁ⁿ i = n(n+1)/2。基础：n=1 → 1 = 1×2/2 成立。归纳步骤：假设 1+...+k = k(k+1)/2。那么 1+...+k+(k+1) = k(k+1)/2 + (k+1) = (k+1)(k/2 + 1) = (k+1)(k+2)/2，完成证明。
Induction is frequently used for divisibility, inequalities, and sums of series. Always state the inductive hypothesis clearly and show the algebraic manipulation leading to P(k+1).
归纳法常用于整除性、不等式以及级数求和。始终清晰地陈述归纳假设，并展示导出 P(k+1) 的代数变形过程。
7. Necessary and Sufficient Conditions | 必要条件与充分条件
Understanding implication is crucial in proof. 'P ⇒ Q' means P is sufficient for Q; Q is necessary for P. 'P ⇐ Q' means Q is sufficient for P. A biconditional 'P ⇔ Q' means P and Q are equivalent: each is necessary and sufficient for the other.
理解蕴涵关系在证明中至关重要。“P ⇒ Q”意味着 P 是 Q 的充分条件；Q 是 P 的必要条件。“P ⇐ Q”意味着 Q 是 P 的充分条件。双条件“P ⇔ Q”表示 P 和 Q 等价：彼此互为充要条件。
Edexcel questions often ask you to prove a statement of equivalence, such as 'an integer n is even if and only if n² is even.' You must prove both directions: if n is even ⇒ n² even, and if n² even ⇒ n even (contrapositive often used).
Edexcel 题目经常要求证明等价性陈述，例如“整数 n 为偶数当且仅当 n² 为偶数”。你必须证明两个方向：若 n 为偶数 ⇒ n² 为偶数，以及若 n² 为偶数 ⇒ n 为偶数（常使用逆否命题）。
Mistaking a necessary condition for a sufficient one is a common logical error. Just because a condition holds in all the examples you've tested doesn't guarantee it's sufficient. Always use algebraic proof or counterexamples to clarify the relationship.
将必要条件误当作充分条件是常见的逻辑错误。某个条件在所有你测试的例子中都成立，并不保证它充分。始终使用代数证明或反例来澄清关系。
8. Algebraic Proofs | 代数证明
Algebraic proofs require you to express numbers in a general form. For properties of even and odd numbers, use 2n for even and 2n+1 for odd. For consecutive numbers, use n, n+1, n+2. For multiples, use 3n, 3n+1, 3n+2 to cover all residues modulo 3.
代数证明要求你用一般形式表示数字。对于奇偶性质，用 2n 表示偶数，2n+1 表示奇数。对于连续整数，用 n, n+1, n+2。对于倍数，用 3n, 3n+1, 3n+2 覆盖模 3 的所有剩余类。
oduct = 2n(2n+2) = 4n(n+1). Among n and n+1, one is even, so n(n+1) is even, hence product is 4 × even = multiple of 8.
例题：证明两个连续偶数的乘积总是 8 的倍数。设这两个数为 2n 和 2n+2（连续偶数）。乘积 = 2n(2n+2) = 4n(n+1)。在 n 与 n+1 中必有一个为偶数，所以 n(n+1) 为偶数，因此乘积为 4 × 偶数 = 8 的倍数。
When proving algebraic identities, factorisation and completing the square are useful tools. For inequalities, start from known true inequalities and manipulate them logically, but be careful with multiplication by negative numbers.
在证明代数恒等式时，因式分解和配方是有用的工具。对于不等式，从已知成立的不等式出发进行逻辑变形，但要当心乘以负数时的方向改变。
9. Common Mistakes in Proof | 证明中的常见错误
atement to be proved as a step in its own proof, creating circular reasoning. For example, 'Assume n² is even, then n = 2k, so n is even' already assumes what we want to show about evenness. Instead, use contrapositive or contradiction.
一个常见错误是把待证明的命题当作证明中的一个步骤，造成循环论证。例如，“假设 n² 是偶数，则 n = 2k，所以 n 是偶数”实际上已经假设了我们想要证明的关于偶数的结论。应使用逆否命题或反证法。
Another mistake is incomplete case analysis. When using exhaustion, ensure all cases are covered. In modular arithmetic proofs, check that your residues cover every possibility. Leaving out a residue leaves the proof unsubstantiated.
另一个错误是不完全的情形分析。使用穷举法时，确保所有情形都被覆盖。在模算术证明中，要检查剩余类是否涵盖了每一种可能性。遗漏一个剩余类会使证明失去依据。
Ambiguous notation and skipping steps also lose marks. Write each implication with a justification. Avoid writing chains of equations without explaining the reasoning, especially in trigonometric proofs.
模糊的符号和跳步也会丢分。每一个推理步骤都要写明依据。避免不解释推理过程就直接写出方程串，尤其在三角证明中。
10. Exam Tips for Proof Questions | 证明题的考试技巧
Read the question carefully to know what type of proof is expected. Words like 'prove by contradiction' or 'disprove' tell you the required method. If no method is specified, direct proof is usually the best starting point.
仔细读题，明确需要哪种类型的证明。像“用反证法证明”或“证伪”这样的词会告诉你要求的方法。如果未指定方法，直接证明通常是最好的起点。
Structure your solution: state the assumption, do the logical work, and end with a conclusion that relates back to the original statement. Box or underline your conclusion. In contradiction proofs, clearly write 'This is a contradiction, therefore our assumption is false.'
组织解答结构：陈述假设，进行逻辑推导，最后写出与原始命题相关的结论。用方框圈出或下划线标出结论。在反证法中，要明确写出“这是矛盾的，因此我们的假设是错误的”。
Keep your variables defined: 'Let n be an integer' or 'Take any two odd numbers as 2a+1 and 2b+1.' General statements require general symbols. Never use a specific number to prove a universal claim unless you are giving a counterexample.
定义变量要明确：“设 n 为整数”或“取任意两个奇数为 2a+1 和 2b+1”。全称陈述需要使用通用符号。除非是给出反例，否则绝不要用具体数字来证明全称命题。
Summary Table: Proof Methods | 证明方法总结表
| Method | 方法 | When to use | 使用时机 | Key structure | 关键结构 |
|---|---|---|
| Direct proof | 直接证明 | Algebraic identities, odd/even properties | Start from known facts, derive target |
| Contradiction | 反证法 | Irrationality, infinitude | Assume negation, get contradiction |
| Counterexample | 反例法 | Disproving universal statements | One specific value that fails |
| Exhaustion | 穷举法 | Small finite sets, parity cases | Check every case individually |
| Induction | 归纳法 | Statements indexed by natural numbers | Base case + inductive step |
Mathematical proof trains you to think logically and to articulate reasoning with precision. In A-Level exams, a well-structured proof is worth its weight in marks. Practise writing proofs for number properties, algebraic identities, and inequality statements. Master the language of implication and equivalence, and always check that your argument is watertight.
数学证明训练你逻辑思考并精确表达推理。在 A-Level 考试中，结构良好的证明分值很高。练习针对数的性质、代数恒等式和不等式命题书写证明。掌握蕴涵与等价的语言，并始终检查论证是否无懈可击。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图