初中第1章 推理与证明1.3 几何证明举例优秀ppt课件

这是一份初中第1章 推理与证明1.3 几何证明举例优秀ppt课件，共20页。PPT课件主要包含了章节导读，1定义与证明，2证明，3几何证明举例，如何证明，互逆命题的推导与证明，推论的意义与运用，反证法的证明范式，合情推理到逻辑推理，学习目标等内容，欢迎下载使用。
明确区分定理与推论的逻辑关系
掌握“由定理直接推出推论”的演绎方法
能够运用推论简化证明过程，迁移推理方法解决新问题
希帕索斯的“无理”之死——推论的不可反驳性
毕达哥拉斯学派奉行“万物皆整数比”的理念
认为一切数都可以表示成整数或两个整数之比。
这激怒了毕达哥拉斯学派，他们以“背叛”罪名判处希帕索斯死刑
那么数学推论到底是什么？它有什么意义和用途？
今天我们将从“三角形的内角和”定理出发
看它会诞生出何种“危险推论”，同时探索推论的意义。
“三角形内角和”定理的证明
【回顾】上学期，我们从基本事实（如平角定义、平行线性质）出发，说明了“三角形的内角和等于180°”的正确性。
怎样严格证明“三角形的内角和等于180°”呢？
证明：三角形的内角和等于180°。✅ 已知：如图，∠A、∠B、∠C是△ABC的三个内角。✅ 求证：∠A + ∠B + ∠C = 180°。
（1）通过“剪拼法”可将三个角拼为平角（上学期实验方法）；
（2）类似地，我们可以通过“作平行线”（辅助线），将角“转移”到同一顶点，利用平行线性质实现证明。
作辅助线：延长BC至D，过点C作CE∥AB
所以∠B = ∠ECD（两直线平行，同位角相等）
∠A = ∠ACE（两直线平行，内错角相等）
∠ACB + ∠ACE + ∠ECD = 180°（平角的定义）
∠ACB + ∠A + ∠B = 180°（等量代换）
【定理结论】 △内角和定理：三角形的内角和等于180°
❓ 你还能想到其他添加辅助线的方法吗？
例：过点A作BC的平行线，或过点B作AC的平行线
三角形外角的性质与推论
观察下图，三角形的一个外角∠ACD与它不相邻的两个内角∠A、∠B之间有怎样的数量关系？
由以上证明可知： ∠ACD = ∠ACE + ∠ECD = ∠A + ∠B（两直线平行，内错角/同位角相等）
⇒ ∠ACD > ∠A，∠ACD > ∠B（不等式性质）
推论一：三角形的一个外角等于与它不相邻的两个内角之和
推论二：三角形的一个外角大于与它不相邻的任意一个内角
直角三角形的性质与推论
在Rt△ABC中，∠C=90°，∠A与∠B有什么数量关系？
证明：在RT△ABC中
因为∠A + ∠B + ∠C = 180°（三角形内角和定理）
所以∠A + ∠B = 180° - ∠C（等式性质）
所以∠C = 90°（已知直角）
所以∠A + ∠B = 90°（代入计算）
同样，也可以证明以上条件与结论反过来也成立
推论一：直角三角形的性质定理： 直角三角形的两个锐角互余
推论二：直角三角形的判定定理： 有两个角互余的三角形是直角三角形
知识总结：推论与定理的区别
经严格证明的核心真命题
由定理/基本事实直接推出的真命题
不依赖其他定理（依赖公理/基本事实）
必须依赖已有定理（如内角和定理）
复杂（多步辅助线/公理组合，如作平行线证内角和）
简单（1-2步推导，如外角=180°-内角和）
数学体系的“地基”，可推导多个推论
定理的“延伸应用”，直接服务解题
推论是定理的逻辑延伸，推理是连接“已知”与“未知”的桥梁。 无论是定理还是推论，都是数学严谨性的体现！
已知：在△ABC中，∠B=∠C，D是BC边上一点；过点D作 DE⊥AB，DF⊥BC，垂足分别为E、D。✅求证：∠FDE=∠C。
证明：因为DE⊥AB，DF⊥BC（已知）
所以∠DEB=90°，∠FDC=90°（垂直的定义）
因为∠EDC是△EBD的外角（外角定义）
所以∠EDC=∠B+∠DEB（三角形的外角=不相邻两内角和）
因为∠EDC=∠FDE+∠FDC（已知）
所以∠FDE+∠FDC=∠B+∠DEB（等量代换）
所以∠FDE+90°=∠B+90°（等量代换）
因为∠B=∠C（已知）
所以∠FDE=∠C（等量代换）
本题中，我们使用了三角形内角和的推论，想想要是不用词条推论，会多多少条步骤?你能总结推论的意义吗?
1.**知识延伸的捷径**：从定理“生长”出新结论，避免重复证明
（如外角性质直接用内角和推导）
2.**解题效率的提升**：推论作为“半成品工具”，简化复杂问题
（如用互余性质快速求直角三角形锐角）
3.**逻辑思维的训练**：体会“定理→推论”的严谨链条，培养“言必有据”的推理习惯
通过情境中希帕索斯的故事我们可以知道，推论还具有不可反驳性，下面就让我们体会合理运用定理与推论是如何简化证明过程的
合理使用定理简化证明过程
1.证明：四边形四个内角的和等于360°。✅ 已知：如图，∠A、∠B、∠C，∠D是四边形ABCD的四个内角。✅ 求证：∠BAD + ∠B + ∠BCD +∠D=360°
证明：连接AC，可得△ ABC与△ ACD
所以∠B+∠BAC+∠ACB=180°，∠D+∠DAC+∠DCA=180°（三角形内角和定理）
因为∠BAD=∠BAC+∠DAC，∠BCD=∠BCA+∠DCA（角的和的定义）
所以∠BAD + ∠B + ∠BCD +∠D=180°+180°=360°（等量代换）
合理使用推论简化证明过程
2.✅ 已知：如图，在Rt△ABC中，∠ACB=90∘，CD⊥AB，垂足为点D✅ 求证：∠1=∠B
证明：因为∠ACB=90°（已知）
所以∠A + ∠B = 90°（直角三角形两锐角互余）
因为CD⊥AB（已知）
所以∠ADC=90°（垂直定义）
所以∠A + ∠1 = 90°（直角三角形两锐角互余）
所以∠1 = ∠B（同角的余角相等）
3.✅ 已知：如图，D是△ABC内一点，连接DB、DC。✅ 求证：∠BDC>∠A
证明：延长BD交AC于E（构造外角）
因为∠BDC是△CDE的外角（外角定义）
所以∠BDC > ∠DEC（三角形外角大于不相邻内角）
因为∠DEC是△ABE的外角（外角定义）
所以∠DEC > ∠A（三角形外角大于不相邻内角）
所以∠BDC > ∠A（不等式传递性）
一、填空第2题证明“∠1=∠B”时，两次用到“直角三角形两锐角互余”，该结论是由“______________________”（填定理名称）直接推出的，因此它是该定理的________（填“定理”或“推论”）。 第3题证明“∠BDC>∠A”的关键依据是“三角形的外角大于任何一个不相邻的内角”，该结论是“________________”（填定理名称）的推论，其作用是__________________________（填推论的意义，如“简化角的大小关系证明”）。
直接建立不相邻角的大小关系
2.（即时训练变式）在第2题图中，已知Rt△ABC中∠ACB=90°，CD⊥AB，若∠A=40°，仅用“直角三角形两锐角互余”这一推论，求∠1和∠B的度数，并说明推论如何简化计算。
提示：在前面证明∠1=∠B时，不仅仅用到了“直角三角形的两锐角互余”这一推论，还用到了“等角的余角相等”这一定理
解：在Rt△ABC中，∠B=90°-∠A=50°（直角三角形两锐角互余推论）
在Rt△ACD中，∠1=90°-∠A=50°（直角三角形两锐角互余推论）
简化意义：直接用推论得出结果，无需重新计算三角形内角和。
? 已知： ① ∠ACE是△ABC的外角； ② BD平分∠ABC，CD平分∠ACE。
? 求证： ∠D = ½∠A。
因为 BD平分∠ABC（已知）
所以 ∠DBC = ½∠ABC，同理∠DCE = ½∠ACE（角平分线定义）
因为 ∠ACE是△ABC的外角（已知）
所以 ∠D = ∠DCE - ∠DBC（等式变形）
= ½∠ACE - ½∠ABC
= ½(∠A + ∠ABC - ∠ABC) （等量代换）
所以 ∠ACE = ∠A + ∠ABC，同理∠DCE = ∠DBC + ∠D（三角形的外角和定理）
由已知定理直接推出的真命题，但依赖于已有的定理（无需重新证明）
 建立“已知”与“未知”的桥梁
? 优先用推论：如看到三角形外角，立即想到“外角定理”（不用内角和重新推导）
✏️ 进行代数化简：如用推论结果消去中间角，快速得结论。
? 可结合其他定理：如将分角转化为原角的一半，便于代入