13.2.2演绎证明-课件-2026-2027学年沪科版数学八年级上册

该初中数学课件聚焦“演绎证明”核心知识点，通过回顾平行线判定基本事实导入，衔接欧几里得公理化演绎范式，构建从已知到定理推理的学习支架，帮助学生理解演绎证明的定义与逻辑脉络。 其亮点在于以分层练习（选择、填空、解答题）和典例分析（如证明对顶角相等、OE⊥OF）为载体，强化推理依据标注与规范书写，培养学生的推理意识和逻辑思维。教师可直接使用完整习题与解析提升教学效率，学生能在严谨证明训练中夯实几何基础，发展理性精神。

沪科版数学8年级上册精做课件 授课教师： . 班 级： 8年级（ ）班 . 时 间： . 2026年7月11日 13.2.2演绎证明 第13章 三角形中的边角关系、 命题与证明 沪科版数学八年级上册13.2.2演绎证明练习题 本次练习题围绕13.2.2演绎证明核心知识点编写，重点考查演绎证明的定义与特点、证明的完整步骤、推理依据的选取、规范书写已知、求证、证明过程、简单几何命题的演绎推理等重难点考点。题型延续固定分层结构，包含选择题、填空题、解答题，难度循序渐进，贴合几何逻辑推理入门要求，帮助学生掌握演绎证明的严谨思维，规范几何解题书写格式，夯实几何证明基础。 一、选择题（每题4分，共20分） 1. 演绎证明的核心特点是（） A. 直观猜测得出结论 B. 依据定义、公理、定理，逻辑推理得出结论 C. 仅凭举例得出结论 D. 通过测量估算结论 2. 几何演绎证明的完整步骤不包括（） A. 根据题意画图 B. 写出已知、求证 C. 主观推断结论 D. 规范书写证明过程 3. 几何推理每一步的依据不能是（） A. 已知条件 B. 个人猜想 C. 公理定理 D. 定义性质 4. 下列关于演绎证明的说法正确的是（） A. 推理过程无需严谨 B. 是严谨的逻辑推理过程 C. 可以省略推理步骤 D. 结论无需依据验证 5. 证明“对顶角相等”的推理依据不可能用到的是（） A. 平角定义 B. 等式性质 C. 垂直定义 D. 等量代换 二、填空题（每题4分，共24分） 6. 从已知条件出发，依据定义、公理、定理，经过一步步推理得出结论的过程叫做__________。 7. 几何证明的标准三步格式：__________、__________、证明。 8. 演绎证明的每一步推理都必须有可靠的__________，保证逻辑严谨。 9. 已知是题目给出的条件，__________是需要证明成立的结论。 10. 等量代换、等式性质、不等式性质，均是几何推理常用的__________。 11. 演绎证明得出的结论是__________的，区别于举例、猜测的结论。 三、解答题（共56分） 12.（18分）简述几何演绎证明的完整书写流程，并说明每一步的书写要求。 13.（18分）已知：∠1与∠2互余，∠2与∠3互余，求证：∠1=∠3，写出完整演绎证明过程。 14.（20分）已知：直线AB、CD相交于点O，求证：对顶角∠AOC=∠BOD，书写规范完整的证明步骤，并标注每一步推理依据。 参考答案及解析 一、选择题 1. B 解析：演绎证明是严谨的逻辑推理，依靠定义、公理、定理推导结论，不依靠猜测与测量。 2. C 解析：几何证明必须严谨推导，不能主观推断，画图、写已知求证、推理证明是必备步骤。 3. B 解析：几何推理依据只能是已知、定义、公理、定理，个人猜想不能作为推理依据。 4. B 解析：演绎证明是严谨、有序的逻辑推理过程，步骤完整、依据充分。 5. C 解析：对顶角相等的证明依托平角定义与等式性质，无需用到垂直定义。 二、填空题 6. 演绎证明 7. 已知；求证 8. 依据 9. 求证 10. 推理依据 11. 准确可靠 三、解答题 12. 解：首先根据题意画出几何图形；其次准确写出题目已知条件与需要证明的结论；最后分步书写推理过程，每一步标注对应依据，逻辑连贯、步骤完整，最终推出求证结论。 13. 证明：∵∠1与∠2互余（已知），∴∠1+∠2=90°（互余定义）。∵∠2与∠3互余（已知），∴∠2+∠3=90°（互余定义）。∴∠1=∠3（同角的余角相等）。 14. 证明：∵AB、CD相交于点O（已知），∴∠AOC+∠AOD=180°，∠BOD+∠AOD=180°（平角的定义）。∴∠AOC=∠BOD（同角的补角相等）。 本套习题聚焦演绎证明核心内容，重点训练学生掌握几何证明规范格式、推理依据选取、严谨逻辑推导的能力，贴合本节几何入门重难点。习题由浅入深，侧重基础证明步骤训练，帮助学生摆脱直观思维，建立严谨的演绎推理模式，熟练掌握几何证明书写规范，为后续复杂几何证明题型筑牢核心基础。（字数900） 知识回顾 在学习平行线时，我们通过作图观察，得到了判断两条直线平行的基本方法： 两条直线被第三条直线所截,如果同位角相等,那么这两条直线平行．简单地说，同位角相等,两直线平行． 基本事实 论证几何,源于希腊数学家欧几里得( Euclid,约前 330-前 275)的《原本》,这部著作确立了数学中公理化的演绎范式，这种范式要求学科中每个真命题必须是在它之前已建立的一些命题的逻辑结论,而所有推理的原始共同出发点是一些定义和基本事实. 新知探究 有些命题,如:“对顶角相等”“同角的补角相等”等,是从基本事实或其他真命题出发,用推理方法判断为正确的,并被选作判断命题真假的依据,这样的真命题叫作定理. 从已知条件出发,依据定义、基本事实、定理,并按照逻辑规则,推导出结论这一方法称为演绎推理(或演绎法).演绎推理的过程,就是演绎证明. 新知探究 例3　　已知:如图,直线c与直线a,b相交,且∠1=∠2．求证:a // b. 证明　 ∵　∠１＝∠２（已知） 又　∵　∠１＝∠3 （对顶角相等） ∴　∠2＝∠3 （等量代换） ∴　a // b　 （同位角相等，两直线平行） 符号“∵”读作“因为”,符号“∴”读作“所以”。 推理依据 典例分析 在下列各题的括号内，填上推理的依据． １．已知：如图，点Ｂ，Ａ，Ｅ在一条直线上，∠１＝∠Ｂ． 求证：∠Ｃ＝∠２． 证明　∵∠１＝∠Ｂ,（ ） 　　　∴AD∥BC．（ ） ∴∠Ｃ＝∠２（ ） 已知 同位角相等，两直线平行 两直线平行，内错角相等 课堂练习 ２.已知：如图，直线EF与直线AB，CD相交，∠1=∠2。求证：AB∥CD。 证明 ∵∠1=∠2，（　　　　　　　　　　） 又∵∠2=∠3，（　　　　　　　　　　） ∴∠1=∠3，（　　　　　　　　　　） ∴AB∥CD。（　　　　　　　　　　） 已知 对顶角相等 同位角相等，两直线平行 等量代换 课堂练习 例４　已知：如图，∠AOB+∠BOC=180°，OE平分∠AOB，OF平分∠BOC。求证：OE⊥OF。 分析 ∠EOF=90° ∠１＋∠2=90° 典例分析 例４　已知：如图，∠AOB+∠BOC=180°，OE平分∠AOB，OF平分∠BOC。求证：OE⊥OF。 证明　∵　OE平分∠AOB，OF平分∠BOC ∴∠1＝∠AOB，∠2＝∠BOC， ∵∠AOB+∠BOC=180° ∴∠1+∠2= ∴OE⊥OF （已知） （角平分线的定义） （等式性质） （垂直的定义） （已知） 典例分析 知识点1 基本事实与定理 1. 命题“对顶角相等”是( ) D A. 角的定义 B. 假命题 C. 基本事实 D. 定理 返回 中考考法 10 2. 下列说法正确的是( ) A A. 命题一定有逆命题 B. 所有的定理一定有逆定理 C. 真命题的逆命题一定是真命题 D. 假命题的逆命题一定是假命题 返回 中考考法 11 知识点2 推理与证明 3. 下列说法错误的是( ) B A. 命题是判断一件事情正确或不正确的句子 B. 基本事实的正确性必须得到证明 C. 证明假命题举一个反例即可 D. 演绎推理的过程叫作证明 返回 中考考法 12 4. ［2025安庆四中模拟］阅读下面材料，①~④步中的数学 依据错误的是 ( ) 如图，已知直线， ，______________________ 求证： . 证明： ，（已知） .（垂直的定义） 又 ，（已知） .（同位角相等，两直线平行） .（等量代换） .（垂直的定义） A. ① B. ② C. ③ D. ④ B 返回 中考考法 13 5. 在括号内填写推理依据： 如图，已知,, , ,求 的度数. 垂直的定义 等式的性质 解：, ,（已知） .（____________） 又 ,（已知） .（____________） 中考考法 14 .（________________________） .（_______________________ ） ,（已知） .（等量代换） 内错角相等，两直线平行 两直线平行，内错角相等 返回 中考考法 6. 如图，点， ， 在一条直线上， . （1）请直接添加一个与直线 有关 的条件，由此可得出是 的平 分线. 添加 . 中考考法 16 （2）请直接添加一个与有关的条件，由此可得出 是 的平分线. 答案不唯一，如 . 中考考法 17 （3）如果“点，， 在一条直线上， ”不变，请你把（1）中添加的条件 与所得的结论互换，所得的命题是否是真命 题？并说明理由. 中考考法 18 【解】是真命题.理由：是 的平分线， 点,, 在一条直线上, . . 又， ， ， . 返回 中考考法 19 课堂小结 已知条件 定义 基本事实 定理 结论 演绎推理的过程,就是演绎证明. 演绎推理 $