7.1.3 认识证明-定理与证明 -课件-2025-2026学年2024北师大版数学八年级上册教学同步课件

幻灯片 1：封面课程标题：7.1.3 认识证明 —— 定理与证明副标题：2024 北师大版八年级数学（推理与证明核心）授课人：[授课人姓名]衔接提示：上节课我们学习了定义与命题，知道 “真命题需要验证”。但并非所有真命题都要反复验证 —— 那些经过严格证明、被广泛认可的真命题，会成为 “定理”，作为后续证明的依据。今天我们就学习 “定理” 的概念，以及数学证明的完整流程，亲手体验如何用逻辑推理证明一个真命题，让结论更具说服力！幻灯片 2：学习目标理解定理的概念，明确定理与真命题的关系（定理是经证明的真命题），能举例说明数学中的重要定理。掌握数学证明的基本流程：明确证明依据（定义、公理、定理）、规范证明步骤（已知、求证、证明）、使用严谨推理（因果对应），能规范书写简单几何命题的证明过程。体会证明的严谨性，培养 “每一步推理都有依据” 的思维习惯，为后续复杂几何证明打下基础。幻灯片 3：知识回顾与定理概念引入1. 知识回顾命题分类：真命题（题设成立则结论一定成立）、假命题（可通过反例判断）；真命题的验证：简单真命题可通过实验验证（如 “对顶角相等” 可通过测量），但复杂真命题需要严格推理。2. 定理的概念在数学中，我们把经过严格的数学证明为真的命题叫做定理。关键词解析：“经过证明”：定理不是 “猜想” 或 “经验总结”，而是通过定义、公理或已证定理，经逻辑推理确认的真命题；“可作为依据”：定理一旦被证明，就可以作为后续证明其他命题的 “已知依据”，无需再重复证明其正确性。3. 数学中常见的定理举例定理名称内容依据（部分）对顶角相等如果两个角是对顶角，那么这两个角相等平角的定义、等式性质三角形内角和定理三角形的内角和等于 180°平行线的性质、平角的定义全等三角形判定定理（SSS）三边分别相等的两个三角形全等全等三角形的定义、图形重合性平行四边形性质定理平行四边形的对边相等、对角相等全等三角形判定定理、平行四边形的定义4. 定理与真命题、公理的关系定理与真命题：定理是 “已证明的真命题”，真命题不一定是定理（如 “2 是质数” 是真命题，但因简单无需证明，不称为定理）；定理与公理（基本事实）：公理是 “公认的、无需证明的真命题”（如 “两点确定一条直线”“两点之间线段最短”），定理需依据公理、定义或其他定理证明。幻灯片 4：探究活动 1：数学证明的基本流程与依据1. 证明的定义数学中的 “证明”，是指根据已知的定义、公理、定理，通过一步步无懈可击的逻辑推理，最终确认 “待证命题为真” 的过程。核心要求：“每一步推理都有依据”，不能凭空猜想或主观判断。2. 证明的基本流程以 “证明一个几何命题” 为例，完整流程分为三步：步骤名称具体操作1明确 “已知” 和 “求证”根据命题，写出 “已知”（题设条件，即 “已知什么”）和 “求证”（结论，即 “要证明什么”）；若有图形，需结合图形描述。2分析证明思路思考 “如何从已知条件出发，结合定义、公理、定理，推导出求证的结论”，可逆向推导（从结论找需要的条件）或正向推导。3规范书写 “证明” 过程按 “因为（∵）……，所以（∴）……，依据是……” 的格式书写，确保每一步因果对应，依据明确（定义、公理、定理）。3. 证明的常用依据第一类：定义（如 “平行四边形的定义”“直角三角形的定义”）；第二类：公理（基本事实）（如 “两点确定一条直线”“过直线外一点有且只有一条直线与已知直线平行”）；第三类：已证定理（如 “对顶角相等”“三角形内角和定理”）；第四类：等式性质、不等式性质（如 “等式两边加同一个数，等式仍成立”）。幻灯片 5：探究活动 2：实例演示 —— 证明 “对顶角相等”案例：证明命题 “对顶角相等”步骤 1：明确 “已知”“求证”，画出图形图形：如图，直线 AB 与 CD 相交于点 O，∠AOC 与∠BOD 是对顶角，∠AOD 与∠BOC 是对顶角。已知：直线 AB、CD 相交于点 O，∠AOC 与∠BOD 是对顶角。求证：∠AOC = ∠BOD。步骤 2：分析证明思路要证∠AOC = ∠BOD，可利用 “平角的定义”（平角等于 180°）和 “等式性质”：∠AOC 与∠AOD 组成平角，故∠AOC + ∠AOD = 180°；∠BOD 与∠AOD 也组成平角，故∠BOD + ∠AOD = 180°；两个式子都等于 180°，且都含∠AOD，根据等式性质，∠AOC = ∠BOD。步骤 3：规范书写证明过程证明：∵ 直线AB与CD相交于点O（已知），∴ ∠AOC + ∠AOD = 180°（平角的定义：平角等于180°）， ∠BOD + ∠AOD = 180°（平角的定义）。∴ ∠AOC + ∠AOD = ∠BOD + ∠AOD（等量代换：都等于180°）。∴ ∠AOC = ∠BOD（等式性质1：等式两边同时减去同一个角∠AOD，等式仍成立）。即：对顶角相等。步骤 4：总结证明要点依据明确：每一步 “∴” 都对应 “∵”，且标注依据（如 “平角的定义”“等式性质 1”）；因果对应：从 “已知条件” 出发，逐步推导到 “求证结论”，逻辑链条完整；格式规范：使用 “∵”“∴” 符号，语句简洁，图形辅助理解。幻灯片 6：探究活动 3：再探证明 —— 证明 “三角形的一个外角等于与它不相邻的两个内角的和”案例：证明三角形外角性质定理步骤 1：明确 “已知”“求证”，画图图形：如图，△ABC 中，∠ACD 是△ABC 的一个外角（延长 BC 至 D，形成∠ACD），∠A、∠B 是与∠ACD 不相邻的内角。已知：△ABC 中，∠ACD 是外角，∠A、∠B 是与∠ACD 不相邻的内角。求证：∠ACD = ∠A + ∠B。步骤 2：分析思路（利用平行线性质或三角形内角和定理）方法：过点 C 作 CE∥AB（依据 “过直线外一点有且只有一条直线与已知直线平行”），将∠ACD 拆分为∠ACE 和∠ECD，分别证明∠ACE = ∠A，∠ECD = ∠B。步骤 3：规范证明过程证明：过点C作CE∥AB（基本事实：过直线外一点有且只有一条直线与已知直线平行）。∵ CE∥AB（已作），∴ ∠ACE = ∠A（两直线平行，内错角相等）， ∠ECD = ∠B（两直线平行，同位角相等）。∵ ∠ACD = ∠ACE + ∠ECD（角的和的定义），∴ ∠ACD = ∠A + ∠B（等量代换：将∠ACE、∠ECD替换为∠A、∠B）。即：三角形的一个外角等于与它不相邻的两个内角的和。幻灯片 7：学生活动：小组合作完成简单证明活动任务小组合作证明命题 “同角的余角相等”，按 “已知→求证→画图→证明” 步骤进行：命题含义：如果两个角都是同一个角的余角，那么这两个角相等。分工：1 人负责画图和写 “已知”“求证”，2 人分析证明思路，1 人书写证明过程，1 人检查依据是否明确。展示与互评：各小组展示证明过程，其他小组评价 “依据是否完整”“逻辑是否严谨”“格式是否规范”。参考解答图形：如图，∠1 与∠2 互余，∠1 与∠3 互余。已知：∠1 + ∠2 = 90°，∠1 + ∠3 = 90°（或∠2 是∠1 的余角，∠3 是∠1 的余角）。求证：∠2 = ∠3。证明：证明：∵ ∠1 + ∠2 = 90°，∠1 + ∠3 = 90°（已知），∴ ∠1 + ∠2 = ∠1 + ∠3（等量代换），∴ ∠2 = ∠3（等式性质1：等式两边同时减去∠1，等式仍成立）。即：同角的余角相等。教师指导引导学生注意 “余角的定义”（和为 90° 的两个角互余）的应用，确保每一步依据标注清晰；若学生思路受阻，可提示 “从‘余角的定义’出发，找到两个等式，再用等式性质推导”。幻灯片 8：随堂练习填空：证明 “平行四边形的对边相等” 时，已知：如图，四边形 ABCD 是平行四边形（AB∥CD，AD∥BC），求证：AB = CD，AD = BC。证明过程中，可连接 AC，将平行四边形分为△ABC 和△CDA，先证△ABC ≌ △CDA（依据：，如 “ASA”，因 AB∥CD 得∠BAC = ∠DCA，AD∥BC 得∠BCA = ∠DAC，AC = CA 公共边），再由全等三角形的性质（）得 AB = CD，AD = BC。解答：全等三角形判定定理（ASA）；全等三角形的对应边相等。证明命题 “如果两条直线都与第三条直线平行，那么这两条直线也互相平行”（提示：可利用 “平行公理” 或 “同位角相等，两直线平行” 证明，假设两条直线不平行，会推出矛盾）。参考证明思路：已知：直线 a∥c，直线 b∥c；求证：a∥b。假设 a 与 b 不平行，相交于点 P，则过点 P 有两条直线（a、b）与 c 平行，与 “过直线外一点有且只有一条直线与已知直线平行” 的平行公理矛盾，故假设不成立，a∥b。幻灯片 9：课堂小结核心概念：定理：经严格证明的真命题，可作为后续证明的依据；证明：从已知依据（定义、公理、定理）出发，经逻辑推理确认命题为真的过程，核心是 “每一步都有依据”。证明的关键要点：三要素：已知（条件）、求证（结论）、证明（过程）；两规范：思路规范（因果对应）、书写规范（“∵∴”+ 依据）；一核心：推理严谨，无逻辑漏洞。后续学习方向：接下来我们将学习更多几何定理（如全等三角形判定定理、平行四边形判定定理），并运用今天所学的证明流程，证明更复杂的几何命题，进一步提升逻辑推理能力。幻灯片 10：课后作业基础题：（1）证明命题 “等角的补角相等”（提示：补角定义为和为 180° 的两个角，仿照 “同角的余角相等” 的证明思路）；（2）整理本节课学习的 3 个定理（对顶角相等、三角形外角性质、同角的余角相等），写出它们的 “已知”“求证” 和关键证明依据。提升题：（1）证明 “直角三角形的两个锐角互余”（已知：△ABC 中，∠C = 90°；求证：∠A + ∠B = 90°；依据：三角形内角和定理）；（2）思考：“证明” 与 “举例子验证” 的本质区别是什么？为什么数学结论需要证明而不是仅靠举例？实践题：从数学课本中选择一个简单定理（如 “等腰三角形的两底角相等”），尝试独立写出它的证明过程，标注每一步的依据，下节课与同学交流。【2024新教材】北师大版数学 八年级上册 授课教师： . 班 级： . 时 间： . 视频导入如何证实一个命题是真命题呢？用我们以前学过的观察,实验,验证特例等方法.这些方法往往并不可靠.那已经知道的真命题又是如何证实的?能不能根据已经知道的真命题证实呢? 了解《原本》与《几何原本》；了解古希腊数学家欧几里得(Euclid,公元前300前后)；找出下列各个定义并举例．1.原名:2.公理:3.证明:4.定理:某些数学名词称为原名.公认的真命题称为公理.除了公理外,其他真命题的正确性都需要通过演绎推理的方法证实.演绎推理的过程称为证明.经过证明的真命题称为定理. 证实其他命题的正确性 推 理演绎推理的过程叫证明经过证明的真命题叫定理原名、公理一些条件+本套教科书选用九条，我们已经认识了其中的八条:1.两点确定一条直线;2.两点之间线段最短;3.同一平面内，过一点有且只有一条直线与已知直线垂直;4.两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行（简述为：同位角相等，两直线平行）;5.过直线外一点有且只有一条直线与这条直线平行;6.两边及其夹角分别相等的两个三角形全等;7.两角及其夹边分别相等的两个三角形全等;8.三边分别相等的两个三角形全等.公理等式的有关性质和不等式的有关性质（以后将会学到）都可以看作公理．“在等式或不等式中,一个量可以用它的等量来代替”.这一性质也看作公理,简称为“等量代换”.其他公理证明定理“对顶角相等” 如图，直线AB与直线CD相交于点O，∠AOC与∠BOD是对顶角.求证：∠AOC =∠BOD证明：∴ ∠AOB与∠COD都是平角( ).已知平角的定义∴ ∠AOC＋∠AOD＝180°.补角的定义 ∴ ∠AOC =∠BOD ( ).同角的补角相等∵直线AB与直线CD相交于点O ( )，∠BOD＋∠AOD＝180°( ).例 根据题设、结论，结合图形，写出已知、求证，经过分析找出由已知推出结论的途径，写出证明过程，并注明依据. 证明过程的注意事项： 证明的每一步推理都要有根据，不能“想当然”.这些根据，可以是已知条件，也可以是学过的定义、基本事实、定理等.证明的书写格式:证明定理 ：同角的补角相等.已知：∠2是∠1的补角， ∠3是∠1的补角.求证：∠2=∠3.证明：∴ ∠2＋∠1=180°( ).已知补角的定义∴ ∠2＝ 180°－∠1 ( ).等式的性质∵∠3是∠1的补角( ),已知∴ ∠3＋∠1＝180°( ).补角的定义∴ ∠3＝ 180°－∠1 ( ).等式的性质 ∴ ∠2=∠3( ).等量代换∵∠2是∠1的补角( ),132分析：要证明AB，CD平行，就需要同位角相等的条件，图中∠1与∠3就是同位角.我们只要找到：能说明它们相等的条件就行了. 从图中，我们可以发现：∠2与∠3是对顶角，所以∠3=∠2.这样我们就找到了∠1与∠3相等的确切条件了.例 如图，∠1=∠2，试说明直线AB，CD平行.证明推理的应用证明：∵∠2与∠3是对顶角∴∠3=∠2又∵∠1=∠2∴∠1=∠3∴AB∥CD（对顶角的定义）,（对顶角的性质）.（已知）,（等量代换）.（同位角相等，两直线平行）.知识点1 公理、定理1.下列命题中，不能作为公理的是( )BA.三边分别相等的两个三角形全等B.角平分线上的点到角两边的距离相等C.两点确定一条直线D.同位角相等，两直线平行 返回2.“等式两边除以同一个不为0的数，结果仍是等式”是______（填“定义”“公理”或“定理”）。定理 返回3.关于公理和定理的联系：①公理和定理都是真命题;②公理就是定理，定理也是公理;③公理和定理都可以作为推理论证的依据;④公理的正确性不需证明，定理的正确性需证明。说法正确的是_________。（填序号） ①③④ 返回知识点2 证明4.在证明过程中可作为推理依据的是( )BA.命题、定义、公理B.定理、定义、公理C.命题D.真命题 返回5. 完成下面的证明：  已知 两直线平行，内错角相等 两直线平行，同旁内角互补  返回6.根据题意，把下列推理所依据的命题写出来，并指出其是公理还是定理。 解：依据：内错角相等，两直线平行，是定理。 解：依据：两边及其夹角分别相等的两个三角形全等，是公理。 返回7.小颖同学要证明命题“角的平分线上的点到这个角的两边的距离相等”是正确的，她先画出了如图所示的图形，并写出了不完整的已知和求证。 （1）补全已知、求证和图形； （2）按小颖的想法写出证明过程。  返回 已知：____，____。求证：____。①②③一个作为结论，组成一个真命题，将你选择的等式的序号填在下面对应的横线上，然后对该真命题进行证明。  返回必做作业：从教材习题中选取；选做作业：完成练习册本课时的习题.谢谢观看！