Mathematical Proof Methods: Direct Proof and Indirect Proof | 数学证明方法精讲：直接证明与间接证明

📚 Mathematical Proof Methods: Direct Proof and Indirect Proof | 数学证明方法精讲：直接证明与间接证明

In mathematics, a proof is a rigorous logical argument that establishes the truth of a statement beyond all doubt. Unlike experiments or numerical checks, a proof must cover every possible case and leave no logical gap. Developing skill with proof is essential for A-Level mathematics and beyond, as it trains you to reason from axioms and definitions.

在数学中，证明是严格逻辑论证，旨在毫无疑义地确立命题的真实性。与实验或数值检验不同，证明必须涵盖所有可能情况且不留任何逻辑漏洞。培养证明能力对于A-Level数学乃至更高级别课程至关重要，因为它训练你从公理和定义出发进行推理。

1. What Is a Direct Proof? | 什么是直接证明？

A direct proof assumes the hypothesis and derives the conclusion step by step using definitions, previously established theorems, and algebraic manipulation. It is the most straightforward type of proof.

直接证明假设前提成立，然后利用定义、已知定理和代数运算一步步推出结论。这是最直观的一种证明方式。

Example: Prove that if n is an even integer, then n² is even. Since n is even, we can write n = 2k for some integer k. Then

n² = (2k)² = 4k² = 2(2k²),

which is clearly divisible by 2. Hence n² is even.

例：证明若整数 n 是偶数，则 n² 是偶数。因为 n 为偶数，可设 n = 2k（k 为整数），则

n² = (2k)² = 4k² = 2(2k²)，

明显能被 2 整除，因此 n² 是偶数。

2. The Underlying Logic: Conditional Statements | 条件命题的逻辑基础

Most mathematical statements are conditional: if P, then Q. We write P ⇒ Q. A direct proof starts with P and reaches Q. To prove P ⇒ Q, you may also use methods that are logically equivalent, such as proving the contrapositive or deriving a contradiction.

大多数数学命题是条件形式：若 P，则 Q，记为 P ⇒ Q。直接证明从 P 出发到达 Q。为了证明 P ⇒ Q，还可以使用逻辑等价的方法，例如证明逆否命题或导出矛盾。

For a statement P ⇒ Q, the contrapositive is ¬Q ⇒ ¬P. The converse Q ⇒ P is not equivalent. This distinction is a common source of error.

对于命题 P ⇒ Q，其逆否命题是 ¬Q ⇒ ¬P。而逆命题 Q ⇒ P 并不与之等价，这是常见的错误来源。

3. Direct Proof: Worked Example | 直接证明：实例分析

Example: Prove that the sum of two even integers is even. Let a and b be even. Then a = 2m and b = 2n for integers m,n. So

a + b = 2m + 2n = 2(m + n),

which is an even integer. This proof is direct because it immediately applies the definition of evenness.

例：证明两个偶数的和为偶数。设 a 和 b 都是偶数，则存在整数 m,n 使 a = 2m，b = 2n。因此

a + b = 2m + 2n = 2(m + n)，

是偶数。这个证明是直接证明，因为它立即应用了偶数的定义。

Notice the structure: state your assumptions clearly, define variables, apply algebra, and clearly state the conclusion. In an exam, always label the proof as ‘direct’ if asked.

注意结构：清晰说明假设，定义变量，进行代数运算，并明确陈述结论。在考试中，如果要求，请标明这是“直接证明”。

4. Indirect Proof: Proof by Contrapositive | 间接证明：逆否命题法

Sometimes it is easier to prove ¬Q ⇒ ¬P instead of P ⇒ Q. This is called proof by contrapositive, a valid indirect proof because P ⇒ Q is logically equivalent to ¬Q ⇒ ¬P.

有时证明 ¬Q ⇒ ¬P 比证明 P ⇒ Q 更容易，这种方法称为逆否命题证明。由于 P ⇒ Q 与 ¬Q ⇒ ¬P 在逻辑上等价，因此这是一种有效的间接证明。

Example: Prove that if n² is odd, then n is odd. The contrapositive is: if n is even, then n² is even. We already know this is true from Section 1. Therefore the original statement is true.

例：证明若 n² 是奇数，则 n 是奇数。其逆否命题为：若 n 是偶数，则 n² 是偶数。我们已在第1节证明其成立，因此原命题成立。

5. Indirect Proof: Proof by Contradiction | 间接证明：反证法

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