命题、定理、证明——专题复习与综合应用
本专题复习七年级下册“命题、定理、证明”核心内容，从命题的识别与结构出发，系统梳理定理与公理的关系，重点掌握证明的规范书写与推理方法。通过变式例题和易错点分析，提升逻辑推理与几何证明的综合能力。
1. 命题——逻辑的原子单位
在数学中，命题是判断一件事情的语句。比如：“如果两条直线都与第三条直线平行，那么这两条直线也互相平行。”这是一个命题，因为它作出了一个判断。
1.1 命题的结构
每个命题都由条件（题设）和结论（题断）两部分组成。通常写成“如果……那么……”的形式。
- 条件：已知事项
- 结论：由条件推出的事项
1.2 真假命题
- 真命题：条件成立时，结论一定成立。
- 假命题：条件成立时，结论不一定成立（举一个反例即可）。
例1 判断下列语句是否为命题？如果是，指出真假，并改写为“如果……那么……”形式。
- 对顶角相等。
- 画一条线段等于已知线段。
- 同位角相等。
解答：
- 是命题，真命题。改写：如果两个角是对顶角，那么这两个角相等。
- 不是命题，因为它是描述性语句，没有判断。
- 是命题，假命题（反例：两条不平行的直线被第三条直线所截，同位角不相等）。改写：如果两个角是同位角，那么这两个角相等。
易错提示：命题必须是一个完整的判断句，疑问句、祈使句都不是命题。
2. 定理与公理——数学大厦的基石
公理是人们在长期实践中总结出来的、不需要证明的真命题（如“两点确定一条直线”）。
定理是经过推理论证为真的命题，可以作为后续推理的依据（如“对顶角相等”“平行线的判定定理”等）。
定理和公理都是真命题，但公理不需要证明，定理需要证明。
3. 证明——从条件到结论的推理链
证明是一个严谨的逻辑推理过程。每一步都要有依据（已知、定义、公理、定理等）。
3.1 证明的一般步骤
- 审题：明确条件和结论，必要时画出图形。
- 写已知求证：用几何语言或符号表述。
- 分析思路：从条件出发，联想相关定理，寻找推理路径。
- 书写证明：步步有据，条理清晰。
3.2 证明方法简介
- 综合法：从已知条件出发，逐步推出结论（由因导果）。
- 分析法：从结论出发，逆向寻找需要的条件（执果索因）。
- 反证法（拓展）：假设结论不成立，推出矛盾，从而证明结论成立。
4. 典型例题精讲
例2（基础证明） 证明：对顶角相等。
分析：如图，两条直线AB、CD相交于点O，形成两对对顶角：∠AOC与∠BOD，∠AOD与∠BOC。只要证明其中一对相等即可。
已知：直线AB、CD相交于点O。
求证：∠AOC = ∠BOD。
证明：
∵ 点O在直线AB上（已知），
∴ ∠AOC与∠BOC互为邻补角（邻补角定义），
∴ ∠AOC + ∠BOC = 180°（邻补角互补）。
同理，∵ 点O在直线CD上，
∴ ∠BOD + ∠BOC = 180°（邻补角互补）。
∴ ∠AOC + ∠BOC = ∠BOD + ∠BOC（等量代换），
∴ ∠AOC = ∠BOD（等式性质）。
因此，对顶角相等得证。
例3（综合证明 — 平行线的性质与判定） 已知：如图，AB∥CD，EF分别交AB、CD于G、H，且∠1=∠2。求证：GP∥HQ。
分析：要证明GP∥HQ，可以利用“同位角相等，两直线平行”或“内错角相等”或“同旁内角互补”。观察图形，∠1和∠2是直线GP、HQ被截线EF所截的同位角吗？不是，因为∠1在GP、EF之间，∠2在HQ、EF之间。我们需要找到∠1和∠2的关系以及∠3、∠4的关系。
已知：如图，AB∥CD，EF交AB于G，交CD于H，∠1=∠2。
求证：GP∥HQ。
证明：
∵ AB∥CD（已知），
∴ ∠3=∠4（两直线平行，内错角相等）。
又∵ ∠1=∠2（已知），
∴ ∠1+∠3 = ∠2+∠4（等式性质）。
而∠1+∠3 = ∠PGH，∠2+∠4 = ∠GHQ（角的和差）。
∴ ∠PGH = ∠GHQ（等量代换）。
∴ GP∥HQ（内错角相等，两直线平行）。
易错提示：不能直接认为∠1和∠2是内错角，因为它们不是两条直线被第三条直线所截形成的。辅助线或中间角（如∠3、∠4）常是桥梁。
例4（拓展 — 反证法思想） 求证：在一个三角形中，至少有一个内角不小于60°。
分析：直接证明“至少有一个”比较困难，考虑反面：假设三角形中所有内角都小于60°，则内角和小于180°，与三角形内角和为180°矛盾。
证明（反证法）：
假设三角形ABC中，三个内角∠A、∠B、∠C都小于60°，即∠A<60°，∠B<60°，∠C<60°。
那么∠A+∠B+∠C<60°+60°+60°=180°。
但已知三角形内角和等于180°（定理），与假设矛盾。
所以假设不成立，故三角形中至少有一个内角不小于60°。
易错提示：反证法第一步要写出与结论相反的假设，注意“至少有一个”的反面是“全部都不满足”。
5. 常见误区与纠正
- 误区1：“所有真命题都是定理。” —— 错，定理是经过证明的真命题，但有些真命题（如公理）无需证明。
- 误区2：证明时只写结论，没有推理依据。 —— 每一步都必须注明理由（已知、定义、定理等）。
- 误区3：假命题无需举反例。 —— 判断假命题必须找到一个使条件满足但结论不成立的例子。
- 误区4：混淆命题的条件和结论。 —— 改写“如果……那么……”时，要准确把握因果关系。
6. 学习建议
- 熟记课本中的公理和定理，尤其是平行线的判定与性质、垂直、对顶角、邻补角等。
- 练习将自然语言命题改写为“如果……那么……”形式，提升逻辑表达能力。
- 做题时先画草图，标出已知条件和要证的结论，养成“看图说话”的习惯。
- 尝试一题多解，比如同一几何证明用不同判定定理完成。
- 整理错题本，记录自己推理中的逻辑漏洞。
7. 知识链接
- 七年级上册：线、角、相交线、平行线的基础概念。
- 七年级下册：平行线的判定与性质、三角形内角和定理。
- 八年级几何：全等三角形、等腰三角形、平行四边形，这些都需要更强的证明能力。
- 数与代数：方程的解法也涉及等价变形（每一步都有依据），与证明思想一脉相承。
8. 习题自测
- 将命题“同角的补角相等”改写为“如果……那么……”形式，并判断真假。
- 已知：如图，AB∥CD，∠1=∠2。求证：∠E=∠F。（图形参考图2，但点和线需调整）
- 用反证法证明：一个三角形中至多有一个直角。
答案速查：
- 如果两个角是同一个角的补角，那么这两个角相等。真命题（等角的补角相等）。
- 证明：∵ AB∥CD，∴ ∠ABC=∠BCD（两直线平行，内错角相等）。又 ∠1=∠2，∴ ∠ABC-∠1=∠BCD-∠2，即∠EBC=∠BCF。∴ EB∥CF（内错角相等，两直线平行）。∴ ∠E=∠F（两直线平行，内错角相等）。（注意调整图形对应关系）。
- 假设三角形中有两个直角，则第三个角为0°，内角和>180°，与三角形内角和180°矛盾。故假设不成立，所以至多有一个直角。