命题、定理、证明——从逻辑谜题到数学证明

概念导入：小侦探的推理题

假设你是一名小侦探，听到目击证人说了这样两句话：

• “如果凶手是左撇子，那么门上的指纹就是他的。”
• “门上的指纹确实是他的。”

你能否推出“凶手是左撇子”吗？这其实就是一个逻辑推理题。在数学中，我们同样要学习如何准确表达判断、如何正确推理——这就引出了命题、定理与证明。

同学们可能觉得这些词很陌生，但其实你每天都在用：比如“如果明天考试，那么我要复习”就是一个命题；“三角形内角和等于180°”是我们已经相信的正确命题（定理）。我们要学会判断一个命题是真是假，并用证明去确认它的正确性。

核心讲解

1. 什么是命题？

命题是判断一件事情的语句。它有两个关键：① 是陈述句；② 有肯定或否定的判断。例如：

• “对顶角相等。”（判断正确）
• “如果两个角互补，那么它们的和为180°。”（判断条件与结果）
• “请关上窗户。”（祈使句，不是命题）
• “x大于2吗？”（疑问句，不是命题）

2. 命题的结构：“如果…，那么…”

大多数数学命题可以写成“如果……，那么……”的形式。其中“如果”后面的部分叫题设（条件），“那么”后面的部分叫结论。

3. 真命题与假命题

如果题设成立时结论一定成立，就是真命题；如果题设成立时结论不一定成立（有反例），就是假命题。例如“如果两个角相等，那么它们是对顶角”是假命题，因为两个相等的角不一定是对顶角（如图中的∠1和∠2虽然相等，但不是对顶角）。

4. 定理与证明

定理是经过推理证实的真命题，可以作为进一步推理的依据，比如“同角的补角相等”。而证明就是从已知条件出发，运用定义、公理、定理等，经过一步步推理，最后得出结论的过程。证明要步步有据，不能跳跃。

经典定理证明示范：对顶角相等

我们一起来证明一个七年级常见的定理——“对顶角相等”。先画出图形：

证明过程：

1. 因为直线AB和CD相交于O（已知）
2. 所以∠1与∠AOD构成平角（邻补角定义），即∠1 + ∠AOD = 180° …… ①
3. 同理，∠2与∠AOD也构成平角，即∠2 + ∠AOD = 180° …… ②
4. 由①和②，得∠1 + ∠AOD = ∠2 + ∠AOD（等量代换）
5. 两边同时减去∠AOD，得∠1 = ∠2（等式性质）
6. 所以对顶角相等（结论）

你看，每一步都用了已知定义或定理（邻补角定义、等量代换、等式性质），这就是严格的证明。

典型例题

常见误区与易错点

• 误区1：认为“命题一定是正确的”。命题只要求是判断，可以是假命题。“如果两角相等，那么它们是对顶角”是命题，但它是假命题。
• 误区2：混淆题设和结论。例如“同角的补角相等”，题设是“两个角是同一个角的补角”，结论是“这两个角相等”。不能颠倒。
• 误区3：证明过程跳步。比如直接写“∠1=∠2”而不说明依据，丢分且逻辑不严谨。

学习建议

• 多找生活中的命题改写成“如果…那么…”形式，培养结构感。
• 每次做几何题时，尝试在每一步旁边写出推理依据（已知、定义、定理）。
• 制作一个小卡片，列出常用的邻补角、对顶角、平行线性质等定理，方便使用。

知识链接

命题、定理、证明是几何推理的基石。后续学习《平行线的判定与性质》《三角形内角和定理》时，你将频繁使用证明。同时，代数中的“等式性质”也是证明常用工具。这一章也是未来学习《全等三角形证明》和《命题与反例》的准备。

习题自测

1. 把“内错角相等，两直线平行”改写成“如果……那么……”的形式，并判断它是真命题还是假命题。
2. 判断下列命题的真假，若是假命题请举反例：如果a²=b²，那么a=b。
3. 如图，已知∠1和∠2互余，∠2和∠3互余，求证：∠1=∠3。（写出证明过程并标注依据）