北师大版（2024）八年级数学上册课件 7.2 第2课时　定理与证明.pptxVIP

第7章证明2认识证明第2课时定理与证明

导入新课我们知道，举一个反例就可以证明一个命题是假命题，那么如何证实一个命题是真命题呢？用以前学过的观察、实验、验证特例等方法来证明可靠吗？能不能根据已经知道的真命题证实呢？那已经知道的真命题又是如何证实的？

探究新知哦……那可怎么办如何证实一个命题是真命题呢？用我们以前学过的观察,实验,验证特例等方法.能不能根据已经知道的真命题证实呢?这些方法往往并不可靠.那已经知道的真命题又是如何证实的?

古希腊数学家欧几里得(公元前300年前后)编写了一本书，书名叫作《原本》.为了说明每一结论的正确性，他在编写这本书时进行了大胆创造：挑选了一部分数学名词和一部分公认的真命题

作为证实其他命题的出发点和依据.

某些数学名词称为原名。公认的真命题称为公理。不需要证明。除了公理外，其他命题的真假都需要通过演绎推理的方法进行判断。1.原名：2.公理：

演绎推理的过程称为证明。经过证明的真命题称为定理。3.证明：4.定理：每个定理都只能用公理、定义和已经证明为真的命题来证明。

本套教科书选用九条，我们已经认识了其中的八条：2.两点之间线段最短。1.两点确定一条直线。3.同一平面内，过一点有且只有一条直线与已知直线垂直。基本事实

4.两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行(简述为：同位角相等，两直线平行)。

5.过直线外一点有且只有一条直线与这条直线平行。

6.两边及其夹角分别相等的两个三角形全等。SAS7.两角及其夹边分别相等的两个三角形全等。ASA另外一条基本事实我们将在后面的学习中认识它

8.三边分别相等的两个三角形全等。SSS

数与式的运算律和运算法则、等式的有关性质，以及反映大小关系的有关性质都可以作为证明的依据.其他哪些还可以作为公理?思考

例如：如果a=b，b=c，那么a=c，这一性质也可以作为证明的依据，称为“等量代换”.如果a＞b，b＞c，那么a＞c，“不等式的传递性”.

证实其他命题的正确性推理推理的过程叫证明经过证明的真命题叫定理原名、公理一些条件＋归纳总结

从基本事实出发，我们能够如何证明已经探索过的数学结论呢？定理：对顶角相等.定理：同角(等角)的补角相等.定理：同角(等角)的余角相等.定理：三角形的任意两边之和大于第三边.

试证明定理“对顶角相等”例1如图，直线AB与直线CD相交于点O，∠AOC与∠BOD是对顶角.

求证：∠AOC=∠BOD.ACODB典例精析

证明：∴∠AOB与∠COD都是平角().平角的定义∴∠AOC和∠BOD都是∠AOD的补角∴∠AOC=∠BOD().同角的补角相等∵直线AB与直线CD相交于点O()，().已知补角的定义因为所以ACODB

(1)已知：∠B和∠C是∠A的补角，求证：∠B=∠C.证明：∵∠B和∠C是∠A的补角，∴∠B=180°-∠A，∠C=180°-∠A，∴∠B=∠C(等量代换)，∴同角的补角相等.试证明定理：同角(等角)的补角相等.典例精析

(2)已知：∠A=∠B，∠C和∠D分别是∠A、∠B的补角，求证：∠C=∠D.证明：∵∠C和∠D分别是∠A、∠B的补角，∴∠C=180°-∠A，∠D=180°-∠B，∵∠A=∠B(已知)，∴∠C=∠D(等量代换)，∴等角的补角相等.

(3)已知：∠B和∠C是∠A的余角，求证：∠B=∠C.证明：∵∠B和∠C是∠A的余角，∴∠B=90°-∠A，∠C=90°-∠A，∴∠B=∠C(等量代换)，∴同角的余角相等.定理：同角(等角)的余角相等.

(4)已知：∠A=∠B，∠C和∠D分别是∠A、∠B的余角，求证：∠C=∠D.证明：∵∠C和∠D分别是∠A、∠B的余角，∴∠C=90°-∠A，∠D=90°-∠B，∵∠A=∠B(已知)，∴∠C=∠D(等量代换)，∴等角的余角相等.

1.请证明定理“三角形的任意两边之和大于第三边”.已知：如图，三角形ABC.求证：AB+BCAC，AB+ACBC，BC+ACAB.练一练ABC

证明：∵AC是以点A、点C为端点的线段，∴AB+BCAC.(两点之间线段最短)同理可得AB+ACBC，BC+ACAB.ABC

定理与证明定义定理公理证明作出明确规定的名词术语的含义公认的真命题演绎推理的过程经过证明的真命题课堂小结

B随堂练习1．下列说法正确的是(