IB数学AA 证明 直接证明 反证法 归纳法
Mathematical proof is the backbone of IB Mathematics Analysis and Approaches (AA). Unlike computation-heavy topics, proof demands logical reasoning, precise language, and a deep understanding of mathematical structure. In IB exams, proof questions appear across Paper 1, Paper 2, and the Internal Assessment, testing your ability to construct rigorous arguments from axioms and known theorems. 数学证明是IB数学AA的基石。与计算密集型主题不同，证明要求逻辑推理、精确的语言和对数学结构的深刻理解。在IB考试中，证明题出现在试卷一、试卷二和内部评估中，考察你从公理和已知定理构建严谨论证的能力。
This article covers the four core proof techniques required for IB Math AA at both SL and HL: direct proof, proof by contradiction, mathematical induction, and proof by contrapositive. We will also discuss counterexamples and common exam pitfalls. 本文涵盖IB数学AA（SL和HL）所需的四种核心证明技巧：直接证明、反证法、数学归纳法和逆否命题证明。我们还将讨论反例和常见的考试陷阱。
1. Direct Proof 直接证明
Direct proof is the most straightforward method. You start from known facts (axioms, definitions, or previously proven theorems) and use logical steps to arrive at the desired conclusion. Most IB proof questions at SL level can be solved with direct proof, especially those involving algebraic manipulation, number theory (odd/even), and trigonometric identities. 直接证明是最直接的方法。你从已知事实（公理、定义或先前证明的定理）出发，通过逻辑步骤得出所需结论。大多数IB SL级别的证明题都可以用直接证明解决，尤其是涉及代数运算、数论（奇偶性）和三角恒等式的题目。
Example 1: Sum of two even numbers is even 两个偶数之和是偶数
Proof: Let a and b be even numbers. Then a = 2m and b = 2n for some integers m, n. Their sum is a + b = 2m + 2n = 2(m + n). Since m + n is an integer, a + b = 2(m + n) is even. QED. 设a和b为偶数，则存在整数m、n使得a = 2m、b = 2n。它们的和为a + b = 2m + 2n = 2(m + n)。由于m + n是整数，a + b = 2(m + n)是偶数。证毕。
Example 2: Prove that n^2 - n is always even 证明n^2 - n总是偶数
Proof: n^2 - n = n(n - 1). The product of two consecutive integers is always even because one of them must be even. Therefore n^2 - n is even for all integers n. 证明：n^2 - n = n(n - 1)。两个连续整数的乘积总是偶数，因为其中一个必为偶数。因此对所有整数n，n^2 - n是偶数。
IB Exam Tip: When writing a direct proof, always state your assumptions clearly at the beginning. The examiner needs to see that you understand what you are starting from. Label each step with a brief justification: "by definition of...", "using the property that...", "since...". 在写直接证明时，始终在开头清晰陈述你的假设。考官需要看到你理解你的出发点。用简短的理由标注每一步："根据...的定义"、"利用...的性质"、"因为..."。
2. Proof by Contradiction 反证法
Proof by contradiction (reductio ad absurdum) is one of the most powerful proof techniques. You assume the statement is false, then logically derive a contradiction with a known fact. The contradiction shows your assumption was impossible, so the original statement must be true. This method is especially useful for proving irrationality, infinitude of primes, and uniqueness statements. 反证法（归谬法）是最强大的证明技巧之一。你假设命题为假，然后逻辑推导出与已知事实的矛盾。这个矛盾表明你的假设不可能成立，因此原命题必须为真。这种方法对于证明无理数、素数无穷性和唯一性命题特别有用。
Classic Example: sqrt(2) is irrational 经典例题：根号2是无理数
Proof: Assume sqrt(2) is rational. Then sqrt(2) = p/q where p, q are coprime integers, q != 0. Squaring both sides: 2 = p^2/q^2, so p^2 = 2q^2. Thus p^2 is even, which means p is even. Write p = 2k. Then (2k)^2 = 2q^2, so 4k^2 = 2q^2, and q^2 = 2k^2. Thus q^2 is even, so q is even. But then p and q share factor 2, contradicting that they are coprime. Therefore sqrt(2) cannot be rational. 假设根号2是有理数，则根号2 = p/q，其中p、q为互质整数，q != 0。两边平方：2 = p^2/q^2，所以p^2 = 2q^2。因此p^2为偶数，意味着p为偶数。令p = 2k，则(2k)^2 = 2q^2，即4k^2 = 2q^2，所以q^2 = 2k^2。因此q^2为偶数，所以q为偶数。但这样p和q有公因子2，与互质矛盾。因此根号2不能是有理数。
Structure for contradiction proofs: (1) Write "Assume, for contradiction, that..." followed by the negation of what you want to prove. (2) Derive logical consequences. (3) Reach a contradiction. (4) Conclude "Therefore our assumption was false, so the original statement is true." This four-step structure should become second nature before your IB exam. 反证法的结构：(1) 写出"假设，为了引出矛盾，..."然后否定你要证明的命题。(2) 推导逻辑结论。(3) 得出矛盾。(4) 得出结论"因此我们的假设为假，所以原命题为真。"这个四步结构应该在IB考试前成为你的第二天性。
3. Mathematical Induction 数学归纳法
Mathematical induction is a proof technique for statements that involve natural numbers (n = 1, 2, 3, ...). It works like a row of dominoes: if you can knock over the first domino (base case) and show that each domino knocks over the next (inductive step), then all dominoes fall. Induction is a core HL topic and frequently appears in IB Paper 2 Section B. 数学归纳法是一种涉及自然数（n = 1, 2, 3, ...）命题的证明技巧。它的原理像一排多米诺骨牌：如果你能推倒第一张骨牌（基础情况）并证明每张骨牌都能推倒下一张（归纳步骤），那么所有骨牌都会倒下。归纳法是HL的核心主题，经常出现在IB试卷二B部分。
Example: Prove 1 + 2 + ... + n = n(n+1)/2 for all n 属于 N^+
Base case (n = 1): LHS = 1, RHS = 1(2)/2 = 1. Holds. 左边=1，右边=1(2)/2=1。成立。
Inductive hypothesis: Assume the formula holds for n = k, i.e., 1 + 2 + ... + k = k(k+1)/2. 归纳假设：假设公式对n=k成立，即1+2+...+k = k(k+1)/2。
Inductive step (n = k+1): We need to show 1 + 2 + ... + k + (k+1) = (k+1)(k+2)/2. Using the hypothesis: LHS = k(k+1)/2 + (k+1) = (k+1)(k/2 + 1) = (k+1)(k+2)/2 = RHS. So the formula holds for n = k+1. 归纳步骤：需证明1+2+...+k+(k+1) = (k+1)(k+2)/2。利用假设：左边 = k(k+1)/2 + (k+1) = (k+1)(k/2 + 1) = (k+1)(k+2)/2 = 右边。因此公式对n=k+1成立。
Conclusion: By mathematical induction, the formula holds for all positive integers n. 由数学归纳法，该公式对所有正整数n成立。
Common IB induction topics: Summation formulas, divisibility (prove 7^n - 1 is divisible by 6), inequalities (prove 2^n > n for n >= 1), de Moivre's theorem, matrix powers, and differentiation of x^n. Each follows the same three-part structure: base case, inductive hypothesis, inductive step. 常见IB归纳法主题：求和公式、整除性（证明7^n - 1能被6整除）、不等式（证明2^n > n，n >= 1）、棣莫弗定理、矩阵幂和x^n的微分。每个都遵循相同的三部分结构：基础情况、归纳假设、归纳步骤。
4. Proof by Contrapositive 逆否命题证明
The contrapositive of "If P then Q" is "If not Q then not P." These two statements are logically equivalent. Sometimes proving the contrapositive is much easier than proving the original implication directly. This technique is particularly useful when the conclusion involves a negation or an "or" statement. "若P则Q"的逆否命题是"若非Q则非P"。这两个命题在逻辑上等价。有时证明逆否命题比直接证明原蕴含命题容易得多。当结论涉及否定或"或"语句时，此技巧特别有用。
Example: If n^2 is odd, then n is odd 若n^2为奇数，则n为奇数
Contrapositive approach: The contrapositive is "If n is not odd (i.e., n is even), then n^2 is not odd (i.e., n^2 is even)." Let n = 2k for some integer k. Then n^2 = (2k)^2 = 4k^2 = 2(2k^2), which is even. So the contrapositive is true, therefore the original statement is true. 逆否命题方法：逆否命题为"若n非奇数（即n为偶数），则n^2非奇数（即n^2为偶数）"。设n = 2k，k为整数。则n^2 = (2k)^2 = 4k^2 = 2(2k^2)，为偶数。所以逆否命题为真，因此原命题为真。
When to use contrapositive: Whenever the hypothesis looks messy but the negation of the conclusion is clean. For instance, "If a function is differentiable, then it is continuous" has a straightforward contrapositive: "If a function is not continuous, then it is not differentiable." The choice between direct proof and contrapositive often comes down to which direction yields simpler algebra. 何时使用逆否命题：当假设看起来很复杂但结论的否定很清晰时。例如，"若一个函数可微，则它连续"的逆否命题很简单："若一个函数不连续，则它不可微。"直接证明和逆否命题之间的选择通常取决于哪个方向产生更简单的代数运算。
5. Counterexamples 反例
A counterexample is a single instance that disproves a universal statement. If someone claims "All prime numbers are odd," a single counterexample (2) disproves the claim. Counterexamples are not proofs of truth but proofs of falsehood. IB exams often ask students to determine whether a statement is always true, sometimes true, or never true, and to provide a counterexample when it is not always true. 反例是反驳全称命题的单个实例。如果有人声称"所有素数都是奇数"，一个反例（2）就能反驳该命题。反例不是对真理的证明，而是对谬误的证明。IB考试经常要求学生判断一个命题是否恒真、有时为真或永不为真，并在不是恒真时提供反例。
Example: Disprove "If a and b are irrational, then a + b is irrational"
Counterexample: Let a = sqrt(2) and b = -sqrt(2). Both are irrational, but a + b = 0, which is rational. So the statement is false. 反例：令a = 根号2、b = -根号2。两者都是无理数，但a + b = 0是有理数。因此该命题为假。
6. Common Pitfalls 常见陷阱
Circular reasoning: Avoid assuming what you are trying to prove. This error often appears when students write "We need to prove P" and then immediately use P in their argument. 循环论证：避免假设你正在尝试证明的命题。当学生写出"我们需要证明P"然后立即在论证中使用P时，这个错误经常出现。
Incomplete base case in induction: Always verify the base case thoroughly. Some IB students lose marks because they skip the base case or do not check it properly. An induction proof without a base case is incomplete and will receive zero marks. 归纳法中基础情况不完整：始终仔细验证基础情况。一些IB学生因为跳过基础情况或检查不当而失分。没有基础情况的归纳法证明是不完整的，将获得零分。
Forgetting the inductive hypothesis: In the inductive step, you must explicitly state and use the inductive hypothesis. Simply manipulating the (k+1) expression without referencing the hypothesis for k is not a valid inductive step. 忘了归纳假设：在归纳步骤中，你必须明确陈述并使用归纳假设。仅仅操作(k+1)表达式而不引用k的假设，不是有效的归纳步骤。
Converse error: "If P then Q" does not imply "If Q then P." Confusing a statement with its converse is a frequent IB exam trap. Always check the direction of implication. 逆命题错误："若P则Q"不蕴含"若Q则P"。混淆命题与其逆命题是IB考试中常见的陷阱。始终检查蕴涵的方向。
7. IB Exam Strategy IB考试策略
Paper 1 (no calculator): Proof questions here test pure logical reasoning. You will be asked to prove statements about number properties, algebraic identities, and sequences. Write clearly, label each step, and use the word "therefore" or the symbol (three dots) to indicate logical flow. 试卷一（无计算器）：这里的证明题测试纯粹的逻辑推理。你会被要求证明关于数字性质、代数恒等式和数列的命题。写清楚，标注每一步，用"因此"或三点符号(三个点)指示逻辑流程。
Paper 2 (calculator): Proof questions may involve verifying patterns, testing conjectures, and then proving them. Induction questions often appear here alongside Series and Differential Equations. Use your calculator to verify the base case numerically before writing the formal proof. 试卷二（有计算器）：证明题可能涉及验证模式、测试猜想然后证明它们。归纳法问题经常与级数和微分方程一起出现在这里。在写正式证明之前，用计算器数值验证基础情况。
Internal Assessment (IA): Proof can elevate your IA from descriptive to analytical. Even if your IA topic is applied (e.g., modelling population growth), including a section where you prove a key property of your model demonstrates mathematical rigor and can boost your Criterion E (Use of Mathematics) score. 内部评估：证明可以将你的IA从描述性提升到分析性。即使你的IA主题是应用性的（例如人口增长建模），包含一个证明模型关键性质的部分也能展示数学严谨性，提升你的标准E（数学运用）分数。
8. Building Proof Skills 培养证明能力
Proof writing is a skill that improves with practice. Start by reading and understanding existing proofs in your textbook. Then attempt to reproduce them without looking. Gradually move to proving original statements. A good IB proof should be clear enough that another student in your class can follow it. Practice with past paper questions, focusing on the proof questions from 2019-2025 exams. 证明写作是一项通过练习提高的技能。从阅读和理解教科书中的现有证明开始。然后尝试不看原文复现它们。逐渐过渡到证明原创命题。一个好的IB证明应该足够清晰，让你班上的另一个同学也能理解。用历年真题练习，重点做2019-2025年考试中的证明题。
The most important habit to develop is checking your own proofs for logical gaps. After writing a proof, read it backwards: does each step follow logically from the one before? Can you justify every "therefore" and "since"? This self-check habit will help you catch errors before the examiner does. 要培养的最重要习惯是检查自己的证明是否存在逻辑漏洞。写完证明后，倒着读：每一步都逻辑上承接前一步吗？你能为每个"因此"和"因为"提供理由吗？这种自检习惯能帮你在考官之前发现错误。
🛍️ 微信小店好物推荐
fx-991CN X 中文版计算器-老王推荐
¥168.00 🛒 微信小店购买🎓 Need one-on-one tutoring? 需要一对一辅导?
📱 16621398022 同微信
Follow tutorhao on WeChat for more learning resources 关注公众号获取更多学习资源
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图