命题、定理、证明（七年级数学专题复习）
从生活实例出发理解命题的结构（题设与结论），学会判断真假命题，认识定理的来历，并通过简单的推理步骤体会证明的含义。
一、概念导入：你在做判断吗？
每天早上你听到这样的话：“如果今天是晴天，我们就去操场做操。” —— 这是一个判断。如果真的是晴天，那么我们就去操场，这个判断就是对的；如果下大雨还去操场，就不合理了。在数学里，我们把这种 判断一件事情的语句 叫做 命题。
二、核心讲解：命题的“零件”
1. 命题的结构
任何一个命题都可以写成“如果……那么……”的形式。“如果”后面接的是 题设（条件），“那么”后面接的是 结论（结果）。比如命题：对顶角相等，可以改写成：如果两个角是对顶角，那么这两个角相等。 题设是“两个角是对顶角”，结论是“这两个角相等”。
2. 真假命题
- 真命题：如果题设成立，结论一定成立。例如“两点之间线段最短”是真命题。
- 假命题：题设成立时，结论不一定成立，可以举反例推翻。比如“相等的角是对顶角”是假命题，因为两个直角相等，但未必是对顶角。
3. 定理与证明
经过人们长期实践、推理证明，被公认是正确的真命题，叫做 定理。例如“三角形内角和等于180°”是定理。而 证明 就是从一个命题的题设出发，通过一步一步的推理（依据已知的定义、定理、公理），最后得到结论的过程。证明必须条理清楚，每一步都要有理由。
三、典型例题（由易到难）
例1：判断下列语句是否为命题？如果是，指出其真假。① 今天真热！ ② 如果a=b，b=c，那么a=c。
解：①不是命题，因为它只是感叹，没有做判断（无法判断对错）。②是命题，题设“a=b，b=c”，结论“a=c”，这是真命题（等量代换）。
例2：将命题“对顶角相等”改写成“如果……那么……”的形式，并判断真假。
解：改写：如果两个角是对顶角，那么这两个角相等。这是真命题，可以证明（利用邻补角定义或平角）。
例3：已知：如图，直线AB、CD相交于点O，OE平分∠AOC，OF平分∠BOD。求证：∠AOE＝∠BOF。
（简单证明，利用对顶角相等和角平分线定义）
证明：
∵ ∠AOC ＝ ∠BOD（对顶角相等），
且 OE平分∠AOC，OF平分∠BOD（已知），
∴ ∠AOE ＝ ½∠AOC，∠BOF ＝ ½∠BOD（角平分线定义），
∴ ∠AOE ＝ ∠BOF（等量代换）。
易错提醒：证明时必须在每一步后面写明理由，不能只有算式。
四、常见误区
- 误区1：把疑问句、感叹句当成命题。 命题必须是对事情做出判断，疑问句没有判断，如“你吃饭了吗？”不是命题。
- 误区2：认为所有命题都是正确的。 命题有真有假，判断
- 误区3：证明时只写结果，不写依据。 数学证明讲究“言之有理”，每一步都要有根据（定义、定理、已知等）。
- 误区4：定理不需要证明。 定理本身也是真命题，但它是经过证明的，不可直接用“显然”代替推理。
五、学习建议
1. 把你每天生活中的判断写成“如果……那么……”的形式，练习命题改写。
2. 牢记证明的格式：
① 写出“已知”和“求证”；
② 用“∵（因为）”和“∴（所以）”分步推理；
③ 每一步右侧用括号写明依据。
3. 多背几个常用定理（如对顶角相等、补角定义、平行线性质），它们是你证明的“工具”。
六、知识链接
- 小学基础：简单推理与判断（如“如果...那么...”）
- 当前内容：命题、定理、证明是几何推理的逻辑基础
- 后续学习：三角形全等的证明、平行四边形性质的证明等，都离不开命题和证明的规范。
习题自测
- 判断下列语句是否为命题？如果是，指出真假：
① 画一条线段等于已知线段。
② 如果a＞0，那么a²＞0。 - 将命题“同角的余角相等”改写成“如果……那么……”的形式。
- 已知：∠1与∠2互余，∠2与∠3互余。求证：∠1＝∠3。
参考答案：
1. ①不是命题（指令性语句）。②是命题，真命题。
2. 如果两个角是同一个角的余角，那么这两个角相等。
3. 证明：∵ ∠1与∠2互余，∴ ∠1+∠2＝90°；∵ ∠2与∠3互余，∴ ∠2+∠3＝90°。∴ ∠1+∠2＝∠2+∠3（等量代换）。∴ ∠1＝∠3（等式性质）。