命题、定理与证明——几何推理的起点

同学们，生活中我们常常听到各种说法：比如“如果明天天气好，我们就去公园”、“等边三角形的三个角相等”。这些说法有些是确定的，有些需要验证。在数学中，我们把可以判断真假的陈述句称为命题，而经过推理确认是真的命题就是定理，推理的过程就是证明。今天我们就来系统学习这三者的关系。

1. 概念导入：从日常对话到数学语言

想一想，下面哪些句子你可以立刻判断它是对还是错？

• “北京的冬天会下雪。” —— 可以判断（真或假）
• “你好吗？” —— 无法判断（不是陈述句）
• “两条直线相交，有且只有一个交点。” —— 可以判断（真命题）
• “这个图形真漂亮！” —— 无法判断（主观感受）

数学里只研究那些能判断真假的陈述句，这就是命题。命题必须满足两个条件：①是一个陈述句；②可以判断真假（不一定非要是真的）。

2. 核心讲解：命题、定理与证明

2.1 命题的“如果…那么…”形式

为了推理方便，我们常把命题改写成“如果……那么……”的形式。例如：

• 原命题：“对顶角相等。” 改写为“如果两个角是对顶角，那么这两个角相等。”
• 原命题：“同角的补角相等。” 改写为“如果两个角是同一个角的补角，那么这两个角相等。”

其中“如果”后面的部分是题设（已知条件），“那么”后面的部分是结论（要推出的结果）。

2.2 真命题与假命题

真命题：说法正确的命题。假命题：说法错误的命题。要说明一个命题是假命题，只需要举出一个反例即可。例如命题“如果两个角互补，那么它们一定是邻补角”，反例：两个角分别是60°和120°，它们互补但不一定是邻补角（它们不一定有公共顶点和公共边）。

2.3 定理与证明

定理是经过推理证实的真命题。定理可以直接作为以后推理的依据，比如“对顶角相等”就是一个定理。证明是从命题的题设出发，根据已知的定义、公理、定理，一步一步推出结论的过程。证明的每一步都要有依据（理由）。

3. 图形辅助：对顶角相等的证明

我们以“对顶角相等”为例，展示一个完整的几何证明。先画出图形：

证明：∠1 = ∠2。

证明过程：

• 因为∠1 和∠4 组成平角（O、A、B共线），所以∠1 + ∠4 = 180°（平角定义）。
• 因为∠2 和∠4 也组成平角（O、C、D共线），所以∠2 + ∠4 = 180°（平角定义）。
• 所以 ∠1 + ∠4 = ∠2 + ∠4（等量代换）。
• 两边同时减去∠4，可得 ∠1 = ∠2（等式的性质）。

这样我们就用已知的平角定义和等式的性质证明了“对顶角相等”这个定理。注意每一步都要写清楚根据。

4. 典型例题

5. 常见误区

• 以为命题必须是真的：假命题也是命题，只要可以判断真假。
• 混淆“命题”和“语句”：感叹句、疑问句、祈使句都不是命题。
• 改写时丢失前提：如把“对顶角相等”写成“如果两个角相等，那么它们是对顶角”，这是错误的逆命题，不是原命题。
• 证明中没有根据：每一步推理都必须注明依据（定义、公理、定理或已证结论）。

6. 学习建议

• 多找生活中的语句练习改写“如果……那么……”，锻炼提取题设和结论的能力。
• 遇到假命题，养成举反例的习惯。反例要具体，比如角度值、图形。
• 证明时先画图，标出已知和求证，然后倒推：要得到结论需要什么条件？一步步往回找。
• 熟记一些基本定理（如对顶角相等、邻补角互补、垂直定义等），它们经常作为推理依据。

7. 知识链接

“命题、定理、证明”是几何推理的基石。在后续学习三角形全等、平行线性质与判定、相似三角形时，每一步推理都要用到命题的改写和证明的格式。同时，它也为代数证明（如证明不等式、恒等式）提供了逻辑模式。掌握好这一节，你就迈入了数学“说理”的大门。

8. 习题自测

1. 判断下列语句是不是命题，如果是，指出真假：
   (a) 两条直线相交，只有一个交点。
   (b) 过一点画一条直线。
   (c) 如果a² > b²，那么a > b。
2. 把命题“两条平行线被第三条直线所截，内错角相等”改写成“如果……那么……”形式，并写出题设和结论。
3. 写出证明过程：已知∠1和∠2互余，∠3和∠2互余，求证∠1 = ∠3。