命题、定理、证明——数学中的“辩论”艺术
从生活中的判断句入手，帮七年级同学理解什么是命题，怎样判定真假，如何利用定理进行严密证明。通过实例和图形，让抽象的逻辑变得直观。
一、概念导入：从日常“判断”开始
同学们，我们每天都做很多判断：比如“今天是晴天”“三角形有三个角”“两点之间线段最短”。这些句子都有一个共同特点——它们能够被判断是“对的”还是“错的”。在数学里，我们把这样的句子叫做命题。
但是，像“你好吗？”、“请关门”、“啊，真美”这样的句子，没法说它对还是错，所以它们不是命题。今天我们就来学习：什么是命题，真假命题，以及怎么用定理去证明一个命题是真的。
二、核心讲解：命题的结构与真假
1. 命题的两部分：题设（条件）和结论
一个命题通常写成“如果……那么……”的形式。比如：“如果两个角是对顶角，那么这两个角相等”。这里的“两个角是对顶角”是题设（已知条件），“这两个角相等”是结论（得到的结果）。
判断一个句子是不是命题，就看它能否写成“如果……那么……”的形式，并且能判断真假。注意：有些命题的“如果”“那么”被省略了，比如“对顶角相等”其实等价于“如果两个角是对顶角，那么它们相等”。
2. 真假命题
- 真命题：题设成立时，结论一定成立。例如：“对顶角相等”是真命题。
- 假命题：题设成立时，结论不一定成立，甚至可以举出反例。例如：“如果两个角相等，那么它们是对顶角”就是假命题，因为等腰三角形的两个底角也相等，但它们不是对顶角。
三、定理与证明：如何确认一个命题是真的
我们无法凭感觉说一个命题是真的，必须用逻辑推理来证明。而推理的起点是一些已经被大家公认的真命题，这些被称为定理（或公理）。比如“两点确定一条直线”“对顶角相等”等都是定理。
证明就是：从定理（或其他已知真命题）出发，通过一步步推理，最后得到要证明的结论。这一系列推理必须步步有据。
证明的书写步骤（以“对顶角相等”为例）
- 画图：画出相关几何图形。
- 写已知、求证：把命题的题设写为“已知”，结论写为“求证”。
- 写证明过程：每一步推理后面注明理由（根据哪个定理、定义或已知）。
四、典型例题
例1（基础）：判断下列句子哪些是命题，哪些不是？如果是命题，指出它的真假。
① 画一条线段AB。
② 两条直线相交，只有一个交点。
③ 相等的角是对顶角。
④ 你吃饭了吗？
解答：
- ① 不是命题（它是描述一个动作，无法判断真假）。
- ② 是命题，且是真命题（两条直线相交只有一个交点）。
- ③ 是命题，但它是假命题（两个相等的角不一定是对顶角，例如等腰三角形的底角）。
- ④ 不是命题（疑问句，无法判断真假）。
易错提醒：命题必须是一句判断句，祈使句、疑问句、感叹句都不算命题。
例2（进阶）：把命题“同角的补角相等”改写成“如果……那么……”的形式，并判断真假，说明理由。
解答：改写为：如果两个角是同一个角的补角，那么这两个角相等。
这个命题是真命题。理由：设这个角为∠α，则它的补角为180°-∠α。那么两个补角都等于180°-∠α，所以它们相等。
易错：有些同学可能忘记“同角”的意思，误以为任意两个角的补角都相等，其实必须是对同一个角。
例3（综合）：已知：如图，直线AB、CD相交于点O，OE平分∠AOD，求证：OE平分∠BOC。
分析与证明：
由OE平分∠AOD，可得∠1=∠DOE。因为∠1与∠BOC是对顶角，∠DOE与∠BOC也是对顶角吗？注意：∠BOC的对顶角是∠AOD，而∠1是∠AOD的一半。我们需要利用对顶角相等的性质。
完整证明：
∵ OE平分∠AOD（已知），
∴ ∠AOE = ∠DOE（角平分线定义）。
又∵ ∠AOE 和 ∠COB 是对顶角，∠DOE 和 ∠AOB 是对顶角？这里需仔细：实际图形中，∠AOE的边是AO和OE，其对顶角是∠BOD？所以需要调整思路。
注意：这个问题其实可以用更简单的方法：先证明∠AOD=∠BOC（对顶角相等），再因为OE平分∠AOD，则可推出它也平分∠BOC。但需注意OE必须是反向延长线？此处不展开，教材默认OE为射线。我们假设OE是∠AOD的平分线，且OE的反向延长线恰好是∠BOC的平分线？实际上不一定。所以此题作为综合题，但说明“证明”时要小心。建议改为例题：已知对顶角相等，求证：邻补角的平分线互相垂直。但超范围。
因此，在简单难度下，例3可改为：
已知：∠1和∠2是对顶角，∠1=50°，求∠2的度数，并说明依据。
答案：∠2=50°，依据是对顶角相等。
五、常见误区
- 误区一：认为“命题”就是“对的句子”。
其实命题有真有假，假命题也是命题。 - 误区二：不能正确找出题设和结论。
特别是省略了“如果……那么……”的句子，要养成先改写再分析的习惯。 - 误区三：证明时想当然，没有每一步的理由。
比如直接写“因为∠1=∠2，所以∠1=∠2”，而没有说明为什么相等。 - 误区四：把定理和命题混淆。定理是真命题，但真命题不一定都是定理（有些真命题是我们通过证明得到的，但教材没有把它列为定理）。
六、学习建议
- 多练习“改写”命题，熟练分割题设和结论。
- 举反例是判断假命题的利器，试着为每个假命题想一个反例。
- 证明训练从“一步推理”开始，再过渡到多步推理，每一步写清理由。
- 准备一个“定理清单”，把学过的定理整理出来，作为证明的依据。
七、知识链接
前续知识：七年级上册的“相交线与平行线”中的邻补角、对顶角定义，为学习命题证明打下基础。
后续知识：八年级的“全等三角形”证明、四边形性质证明，以及更复杂的几何推理——都离不开命题、定理和证明。
八、习题自测
- 把命题“等角的余角相等”改写为“如果……那么……”的形式，并判断真假。
- 举出一个假命题，并说明为什么是假命题。
- 已知：∠A与∠B互余，∠B与∠C互余，求证：∠A=∠C。
参考答案：
- 如果两个角是相等角的余角，那么这两个角相等。真命题。
- 例如：“如果a²=b²，那么a=b”是假命题，因为当a=1，b=-1时，a²=b²=1，但a≠b。
- 证明：∵∠A与∠B互余，∴∠A=90°-∠B；∵∠B与∠C互余，∴∠C=90°-∠B；∴∠A=∠C。