内容正文:
数 学
BS
八年级
上册
木牍教育-教学设计中心 制作
※ 建议使用WPS2019打开。
7.2 定义与命题
北师版八年级上册 第七章
课程讲授
课程导入
习题解析
课堂总结
第二课时 定理与证明
前 言
学习目标及重难点
1.知道什么是公理,什么是定理,理解证明的概念;(重点)
2.了解真命题的证明、公理化思想,以及证明的出发点,通过具体事例感受证明的基本步骤和书写格式.(难点)
课时A计划
课程导入
用我们以前学过的观察、实验、验证特例等方法.
这些方法往往不可靠.
能不能根据已经知道的真命题证实呢?
那已经知道的真命题又是如何证实的?
哦……那可怎么办?
课时A计划
课程讲授
新课推进
探索1:公理与定理
1.其实,在数学发展史上,数学家们也遇到过类似的问题.公元前3世纪,人们已经积累了大量的数学知识,在此基础上,古希腊数学家欧几里得(Euclid,公元前300年前后)编写了一本书,书名叫做《原本》(Elements). 为了说明每一结论的正确性,他在编写这本书时进行了大胆创造:挑选了一部分数学名词和一部分公认的真命题作为证实其他命题的出发点和依据,其中的数学名词称为原名,公认的真命题称为公理(axiom).除了公理外,其他命题的真假都需要通过演绎推理的方法进行判断.
课时A计划
课程讲授
新课推进
2.本套教科书选用九条基本事实作为证明的出发点和依据,我们已经认识了其中的八条,它们是
(1)两点确定一条直线.
(2)两点之间线段最短.
(3)同一平面内,过一点有且只有一条直线与已知直线垂直.
(4)两条直线被第三条直线所截,如果同位角相等,那么这两条直线平行 (简述为:同位角相等,两直线平行).
(5)过直线外一点有且只有一条直线与这条直线平行.
(6)两边及其夹角分别相等的两个三角形全等.
课时A计划
课程讲授
新课推进
(7)两角及其夹边分别相等的两个三角形全等.
(8)三边分别相等的两个三角形全等.
另外一条基本事实我们将在后面的学习中认识它.
此外,数与式的运算律和运算法则、等式的有关性质,以及反映大小关系的有关性质都可以作为证明的依据. 例如,如果a=b,b=c, 那么a=c,这一性质也可以作为证明的依据,称为“等量代换”.又如,如果a>b,b>c,那么a>c,这一性质同样可以作为证明的依据.
课时A计划
课程讲授
新课推进
下列命题不是公理的是( )
A.两点确定一条直线
B.两点之间线段最短
C.两条平行线被第三条直线所截,内错角相等
D.三边分别相等的两个三角形全等
C
例1
课时A计划
课程讲授
新课推进
推理的过程称为证明,经过证明的真命题称为定理,而证明所需要的定义、公理和其他定理都编写在要证明的这个定理的前面.
1.原名:某些数学名词称为原名.
2.公理:公认的真命题称为公理.
3.证明:除了公理外,其他真命题的正确性都通过推理的方法证实.推理的过程称为证明.
4.定理:经过证明的真命题称为定理.
课时A计划
课程讲授
新课推进
(1)公理的来源是什么?
(2)定理是怎么得到的?证明定理的依据是什么?
(3)最初的定理是怎么得到的?
(4)你能否通过图表把这个关系画出来?
有关定义、公理
条件1
定理1
有关定义、公理
条件2
定理2
…
定理3
…
课时A计划
课程讲授
新课推进
证明定理“对顶角相等”
如图,直线AB与直线CD相交于点O,
∠AOC与∠BOD是对顶角.
求证:∠AOC =∠BOD
证明:
∴ ∠AOB与∠COD都是平角( )
已知
平角的定义
∴ ∠AOC+∠AOD=180°
补角的定义
∴ ∠AOC =∠BOD ( )
同角的补角相等
∵直线AB与直线CD相交于点O ( )
∠BOD+∠AOD=180°
( )
例2
课时A计划
课程讲授
新课推进
根据题设、结论,结合图形,写出已知、求证,经过分析找出由已知推出结论的途径,写出证明过程,并注明依据.
证明过程的注意事项:
证明的每一步推理都要有根据,不能“想当然”.这些根据,可以是已知条件,也可以是学过的定义、基本事实、定理等.
证明的书写格式:
归纳总结
课时A计划
课程讲授
新课推进
归纳总结
①公理是不需要推理证实的真命题;
②公理可以作为判断其他命题真假的根据.
1.对于公理:
2.对于定理:
①定理都是真命题,但真命题不一定都是定理;
②定理可以作为推证其他命题的依据.
课时A计划
课程讲授
新课推进
①根据题意,画出图形;
②根据条件和结