A-Level Mathematics: Common Proof Methods | A-Level数学：常见证明方法

📚 A-Level Mathematics: Common Proof Methods | A-Level数学：常见证明方法

Proof is the heart of mathematics. In A-Level Mathematics, especially under Edexcel, you are expected not only to solve problems but also to justify why a statement is true. This article introduces the most common proof methods you will encounter in exams, with worked ideas and key strategies.

证明是数学的核心。在A-Level数学中，尤其是爱德思（Edexcel）考试局，你不仅要会解题，还要会论证一个命题为什么成立。本文将介绍考试中最常见的几种证明方法，并结合思路和关键策略进行讲解。

1. Direct Proof | 直接证明

A direct proof starts from known facts, definitions, and previously proved theorems, and uses logical steps to reach the desired conclusion. It is the most straightforward method and is commonly used for algebraic identities, inequalities, and properties of numbers.

直接证明从已知事实、定义和已证定理出发，通过逻辑推导达成结论。这是最直接的方法，常用于代数恒等式、不等式以及数的性质证明。

For example, prove that the sum of two even integers is even. Let the two even numbers be 2m and 2n, where m and n are integers. Their sum is 2m + 2n = 2(m + n). Since m + n is an integer, the result is even.

例如，证明两个偶数之和是偶数。设两个偶数分别为2m和2n，其中m、n为整数。它们的和为2m + 2n = 2(m + n)。因为m + n是整数，所以结果是偶数。

Another classic example: prove that the product of two odd numbers is odd. Let the numbers be 2a + 1 and 2b + 1. Their product is (2a + 1)(2b + 1) = 4ab + 2a + 2b + 1 = 2(2ab + a + b) + 1, which is odd.

另一个经典例子：证明两个奇数之积是奇数。设两个数分别为2a + 1和2b + 1。它们的乘积为(2a + 1)(2b + 1) = 4ab + 2a + 2b + 1 = 2(2ab + a + b) + 1，因此是奇数。

2. Proof by Contradiction | 反证法

Proof by contradiction assumes that the statement you want to prove is false, then shows that this assumption leads to a logical contradiction. Therefore, the original statement must be true.

反证法先假设要证明的命题为假，然后从这个假设出发，推出逻辑矛盾。因此原命题必然为真。

A famous example is proving that √2 is irrational. Suppose √2 is rational, so √2 = a/b in lowest terms, where a and b are coprime integers. Squaring both sides gives 2 = a² / b², so a² = 2b². This shows a² is even, hence a is even. Let a = 2k. Then 4k² = 2b², so b² = 2k². Thus b is also even. This contradicts the assumption that a and b are coprime. Hence √2 is irrational.

一个著名例子是证明√2是无理数。假设√2是有理数，即√2 = a/b，其中a、b互素且为最简分数。两边平方得2 = a² / b²，即a² = 2b²。这说明a²是偶数，因此a是偶数。设a = 2k，则4k² = 2b²，所以b² = 2k²，从而b也是偶数。这与a、b互素矛盾。因此√2是无理数。

In A-Level exams, you may be asked to prove statements such as “there are infinitely many primes” or “if n² is even, then n is even” using contradiction. The key is to clearly state the assumption and identify the exact contradiction.

在A-Level考试中，你可能会被要求用反证法证明”素数有无穷多个”或”若n²是偶数，则n是偶数”这类命题。关键在于明确写出假设，并找到确切的矛盾。

3. Proof by Contrapositive | 逆否命题证明

The contrapositive of “if P, then Q” is “if not Q, then not P”. A statement and its contrapositive are logically equivalent. Sometimes it is easier to prove the contrapositive instead of the original implication.

“若P，则Q”的逆否命题是”若非Q，则非P”。原命题与其逆否命题在逻辑上等价。有时证明逆否命题比证明原命题更容易。

Example: prove that if n² is odd, then n is odd. Instead of proving this directly, we prove its contrapositive: if n is even, then n² is even. Let n = 2k. Then n² = 4k² = 2(2k²), which is even. Since the contrapositive is true, the original statement is true.

例如：证明若n²是奇数，则n是奇数。我们不去直接证明它，而是证明其逆否命题：若n是偶数，则n²是偶数。设n = 2k，则n² = 4k² = 2(2k²)，是偶数。因为逆否命题成立，所以原命题也成立。

Be careful: the converse “if Q, then P” is not equivalent to the original statement. A common mistake is to confuse contrapositive with converse.

注意：”若Q，则P”这一逆命题与原命题并不等价。常见错误是把逆否命题与逆命题混淆。

4. Proof by Mathematical Induction | 数学归纳法

Mathematical induction is used to prove statements that depend on positive integers, such as formulas for sums, divisibility results, and inequalities. It has two main steps: the base case and the inductive step.

数学归纳法用于证明依赖于正整数的命题，例如求和公式、整除性结论和不等式。它包含两个主要步骤：基础步骤和归纳步骤。

Base case: show the statement is true for the smallest integer, usually n = 1. Inductive step: assume the statement is true for n = k, and then prove it is true for n = k + 1. If both steps are completed, the statement holds for all positive integers.

基础步骤：证明命题对最小整数成立，通常取n = 1。归纳步骤：假设命题对n = k成立，然后证明它对n = k + 1也成立。如果两步都完成，则命题对所有正整数成立。

Example: prove that 1 + 2 + 3 + … + n = n(n + 1)/2 for all positive integers n. For n = 1, both sides equal 1. Assume it is true for n = k. Then for n = k + 1:

例如：证明对一切正整数n，1 + 2 + 3 + … + n = n(n + 1)/2。当n = 1时，两边都等于1。假设对n = k成立。则对于n = k + 1：

1 + 2 + … + k + (k + 1) = k(k + 1)/2 + (k + 1) = (k + 1)(k + 2)/2

This is exactly the formula with n = k + 1. By induction, the statement is true for all positive integers.

这正是n = k + 1时的公式。根据归纳法，命题对所有正整数成立。

In Edexcel A-Level, induction questions may also involve matrices, divisibility, or recurrence relations. Always write the three clear parts: “Base case”, “Assumption”, and “Inductive step”.

在爱德思A-Level中，归纳法题目还可能涉及矩阵、整除性或递推关系。一定要清楚写出三部分：”基础步骤”、”归纳假设”和”归纳递推”。

5. Proof by Exhaustion | 穷举证明

Proof by exhaustion breaks a statement into a finite number of cases, and proves each case separately. This method is useful when the domain of the variable is small or can be divided into a limited set of possibilities.

穷举证明把命题分解为有限多种情形，并分别证明每一种情形。当变量的取值域较小或可以分成有限种可能时，这种方法很有效。

For example, prove that for integers n, n² ≡ 0 or 1 mod 4. Consider n modulo 4: if n ≡ 0, then n² ≡ 0; if n ≡ 1, then n² ≡ 1; if n ≡ 2, then n² ≡ 0; if n ≡ 3, then n² ≡ 1. Because these four cases cover all integers, the statement is proved.

例如，证明对整数n，n² ≡ 0或1 (mod 4)。考虑n模4：若n ≡ 0，则n² ≡ 0；若n ≡ 1，则n² ≡ 1；若n ≡ 2，则n² ≡ 0；若n ≡ 3，则n² ≡ 1。因为这四种情形覆盖了所有整数，所以命题得证。

Sometimes exhaustion is combined with other methods, such as checking all possible prime factors or all possible residues. In exams, make sure you state that the cases are exhaustive.

有时穷举法会与其他方法结合，例如检查所有可能的素因子或所有可能的剩余类。在考试中，务必注明这些情形已经覆盖全部情况。

6. Disproof by Counterexample | 用反例否定命题

To prove that a general statement is false, it is enough to find one counterexample. This is a common exam requirement, especially for statements involving “all”, “always”, or “every”.

要证明一个全称命题为假，只需找到一个反例。这是考试中常见的任务，尤其是当命题中含有”所有””总是””每一个”等词时。

Example: is the statement “all prime numbers are odd” true? No, because 2 is prime and even. Thus the statement is false.

例如：”所有素数都是奇数”这个命题成立吗？不成立，因为2是素数且是偶数。因此该命题为假。

Another example: “for all real x, x² > x” is false. Take x = 1/2. Then (1/2)² = 1/4, which is not greater than 1/2. So a single counterexample is enough to disprove the statement.

另一个例子：”对所有实数x，x² > x”是假的。取x = 1/2，则(1/2)² = 1/4，并不大于1/2。因此一个反例就足以否定命题。

When writing a counterexample, you must clearly state the value and show that it violates the condition. Avoid vague explanations.

在写反例时，必须清楚地给出具体值，并说明它如何违反条件。不要使用模糊的解释。

7. Constructive Proof | 构造性证明

A constructive proof demonstrates the existence of an object by actually constructing it, rather than arguing indirectly. This method is often used in existence questions.

构造性证明通过实际构造出某个对象来证明它的存在，而不是间接论证。这种方法常用于存在性问题。

For example, prove that there exists a real number x such that x² + 3x – 4 = 0. Solving gives x = 1 or x = -4. By exhibiting x = 1 and verifying 1 + 3 – 4 = 0, we have proved existence constructively.

例如，证明存在实数x使得x² + 3x – 4 = 0。解得x = 1或x = -4。通过给出x = 1并验证1 + 3 – 4 = 0，我们就构造性地证明了存在性。

In A-Level, you might be asked to prove the existence of a point where a function takes a certain value. Using the intermediate value theorem is also a form of non-constructive existence proof, but constructing an explicit value is often clearer.

在A-Level中，你可能会被要求证明函数在某点取到某个值。使用介值定理也是一种非构造性的存在性证明，但给出具体值通常更清晰。

8. Working with Identities and Equations | 恒等式与方程的处理

To prove an identity, you can start from one side and manipulate it algebraically until you obtain the other side. Alternatively, you can work with both sides to transform them into a common expression. You must NOT assume the identity is true.

证明恒等式时，可以从一边出发，通过代数变形得到另一边；也可以同时处理两边，将它们化为同一个表达式。但是绝不能假设恒等式成立。

For example, prove that (a + b)² – (a – b)² = 4ab. Expanding the left side: a² + 2ab + b² – (a² – 2ab + b²) = 4ab. This is a direct verification.

例如，证明(a + b)² – (a – b)² = 4ab。展开左边：a² + 2ab + b² – (a² – 2ab + b²) = 4ab。这是直接验证。

When solving equations, every step must be reversible, or you must check for extraneous roots. For example, squaring both sides can introduce extra solutions, so always verify final answers.

在解方程时，每一步必须是可逆的，否则必须检验增根。例如，两边平方可能会引入额外解，所以务必验证最终答案。

9. Common Mistakes and Exam Tips | 常见错误与考试技巧

Many students lose marks not because they cannot prove, but because they miss key structural elements. In Edexcel proofs, always state your assumptions explicitly, define variables clearly, and write a conclusion.

许多学生丢分不是因为不会证明，而是因为缺少关键结构要素。在爱德思考卷的证明题中，一定要明确写出假设、清楚地定义变量，并写出结论。

Do not assume the result you are trying to prove.

不要假设你正在证明的结论成立。
In induction, do not skip the base case.

在归纳法中，不要跳过基础步骤。
In contradiction, explicitly state “this is a contradiction”.

在反证法中，要明确指出”这是一个矛盾”。
Use logical connectives correctly: “implies” vs “is equivalent to”.

正确使用逻辑连接词：”推出”与”等价于”。
When proving a universal statement, a single example is not enough.

在证明全称命题时，举一个例子是不够的。

10. Summary | 总结

Knowing when to use each proof method is a key exam skill. Direct proof works for simple algebraic statements; contradiction is powerful when a direct route is hard; contrapositive is useful for implications involving parity; induction is the tool for integer statements; exhaustion covers small finite sets; and a counterexample can destroy a faulty conjecture.

了解何时使用哪种证明方法是关键考试技能。直接证明适用于简单代数命题；当直接路径困难时，反证法很强大；逆否命题法适用于涉及奇偶性的蕴含命题；归纳法处理整数命题；穷举法覆盖有限小集合；而一个反例可以推翻一个错误猜想。

Practice writing each method in full. In Edexcel A-Level Mathematics, proof questions may appear in Pure Mathematics, Statistics, and Mechanics contexts. Always structure your answer clearly and include a final sentence stating what has been proved.

练习完整写出每一种方法。在爱德思A-Level数学中，证明问题可能出现在纯数学、统计和力学部分。始终清晰地组织答案，并写一句总结性的话说明已经证明了什么。

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

A-Level Mathematics: Common Proof Methods | A-Level数学：常见证明方法