学习指南

简单演绎证明

数学 分析与方法 SL· 数与代数，第1.7节· 12 分钟阅读

1. 演绎推理的核心原则★★☆☆☆⏱ 3 min

与通过特定示例推测通用规则的归纳推理不同，演绎推理从通用定义出发，生成对集合内所有情况100%成立的结论。这是所有IB AA SL证明题要求的严谨性标准。

📘 定义

偶数

2k2k

可以写成2乘以另一个整数k形式的任意整数

例:

4 = 2(2), -6 = 2(-3)

📐 例题

证明任意两个偶数的和为偶数

  1. 1

    使用正式定义定义两个任意偶数

  2. 2
    Leta=2m,b=2n where m,n∈ZLet a = 2m, b = 2n \text{ where } m,n \in \mathbb{Z}
  3. 3

    计算它们的和并提取公因子2

  4. 4
    a+b=2m+2n=2(m+n)a + b = 2m + 2n = 2(m + n)
  5. 5

    由于两个整数的和m+n仍然是整数，总和符合偶数的定义，因此该陈述对所有偶数成立。

✓ 快速检测

测试你对通用情况和特定情况的理解

  1. 以下哪一项是针对所有奇数的证明的有效演绎起点？

    • 令x=3，它是奇数

    • 令x=2k+1，其中k为任意整数

    • 令x为任意小于10的正奇数

    显示答案
    令x=2k+1，其中k为任意整数 —

    该定义适用于全集合内的每一个奇数，没有例外。

Exam tip:

如果你没有在证明开头明确将变量定义为整数集合的元素，考官将自动扣除1-2分。

2. 奇偶性质证明★★☆☆☆⏱ 3 min

奇偶证明是最常见的入门级演绎证明题型，要求你证明偶数和奇数的和、差、积的相关性质。所有奇偶规则都可以直接从2k和2k+1的定义推导得出。

📐 例题

证明任意两个奇数的乘积始终为奇数

  1. 1

    定义两个任意奇数

  2. 2
    Letp=2a+1,q=2b+1 where a,b∈ZLet p = 2a + 1, q = 2b + 1 \text{ where } a,b \in \mathbb{Z}
  3. 3

    完全展开它们的乘积

  4. 4
    pq=(2a+1)(2b+1)=4ab+2a+2b+1pq = (2a+1)(2b+1) = 4ab + 2a + 2b + 1
  5. 5

    从除最后一项1之外的所有项中提取公因子2

  6. 6
    pq=2(2ab+a+b)+1pq = 2(2ab + a + b) + 1
  7. 7

    由于2ab+a+b是整数，该表达式符合奇数的2k+1定义，因此乘积始终为奇数。

3. 简单整除性证明★★★☆☆⏱ 3 min

整除性证明使用正式定义：如果d整除整数n，则存在某个整数k使得n=dk。你需要展开并因式分解代数表达式以证明该结构成立。

📐 例题

证明对于所有正整数n，3整除n³+2n

  1. 1

    重写表达式以因式分解或重新排列项

  2. 2
    n3+2n=n(n2+2)n^3 + 2n = n(n^2 + 2)
  3. 3

    考虑n模3的三种可能情况：n=3k、n=3k+1、n=3k+2

  4. 4

    情况1：如果n=3k，表达式变为3k(9k²+2)，显然可以被3整除

  5. 5

    情况2：如果n=3k+1，n²+2=9k²+6k+1+2=3(3k²+2k+1)，因此乘积可以被3整除

  6. 6

    情况3：如果n=3k+2，n²+2=9k²+12k+4+2=3(3k²+4k+2)，因此乘积可以被3整除

  7. 7

    由于n的所有三种可能情况得到的结果都可以被3整除，该陈述对所有正整数成立。

4. 使用反例推翻猜想★★☆☆☆⏱ 3 min

你不需要完整的演绎证明来推翻一个通用陈述。单个违背猜想的有效反例就足以让你在这类考试题型中获得满分。

5. 常见陷阱

错误做法:

使用特定测试用例来"证明"通用全称陈述

原因:

从少量示例出发的归纳推理无法保证陈述对所有情况成立，无法获得满分

正确做法:

从适用于你所处理集合的所有元素的通用变量定义出发

错误做法:

在论证开头就假设你需要证明的结论

原因:

这会产生逻辑无效的循环论证，考官将对整个证明给出0分

正确做法:

仅从公认的定义、公理和你在本题中之前已经证明的结果出发

错误做法:

在使用奇偶性质之前忘记明确将变量定义为整数

原因:

奇偶性仅适用于整数，IB考官认为未声明的假设属于逻辑漏洞

正确做法:

在为变量引入奇偶规则之前，立即写出"令n为任意整数"

错误做法:

将反例作为通用全称陈述成立的证明

原因:

反例仅能推翻猜想，永远不能用于证明陈述对所有情况都成立

正确做法:

反例仅用于推翻错误断言，对于正确的全称陈述使用演绎步骤

错误做法:

在作答中跳过中间代数化简步骤

原因:

如果考官无法理清你论证的完整逻辑流程，就无法给你步骤分

正确做法:

清晰写出每一个化简步骤，无论它看起来多么微不足道

6. 速查表

证明类型

起点

要求的最终步骤

常见使用场景

直接演绎证明

全集合的通用定义

明确确认结论对所有元素成立

奇偶性、整除性、代数恒等式

反例证伪

错误的通用猜想

单个违背猜想的有效示例

证明陈述并非普遍成立

穷举证明

有限预定义集合

验证集合的每一个元素都满足结论

小的有限数域，例如1到10

真题中的出现

AI 根据考纲规律估算的考点位置,请对照官方真题核实准确性。仅作复习重点参考。

  • 2023 · Paper 1

    简单整除性证明

  • 2022 · Paper 2

    奇偶性质证明

  • 2021 · Paper 1

    代数恒等式证明

下一步

掌握简单演绎证明将为所有后续证明工作构建基础逻辑框架。在AA SL课程中，你将持续应用这些演绎和反例证伪技巧；如果你继续学习AA HL，它们将扩展到数学归纳法和反证法。这些演绎推理技能也可以直接迁移到你的IA探究中，你需要在IA中证明通用数学断言，而不是依赖特定测试用例。在继续学习之前，确保你可以独立构造两个奇数之和的完整证明、奇数n下n²-1可被4整除的证明以及平方差恒等式的证明。这些技能将帮助你避免经常区分6分和7分作答的代价高昂的逻辑错误。