7.2定义与命题生活情境小华与小刚正在津津有味地阅读《我们爱科学》.坐在旁边的两个人一边听着他们的谈话,一边也在悄悄地议论着。哈!这个黑客终于被逮住了.是的,现在的因特网广泛运用于我们的生活,中,给我们带来了方便,但…….这个黑客是个小偷吧?可能是个喜欢穿黑衣服的贼.可见,在交流时对名称和术语要有共同的认识才行.例如:1、“具有中华人民共和国国籍的人,叫做中华人民共和国公民”是“”的定义;2、“两点之间线段的长度,叫做这两点之间的距离”是“”的定义;两点之间的距离中华人民共和国公民一般地,能清楚地规定某一名称或术语的意义的句子叫做该名称或术语的定义.规定意义定义定义请说出下列名词的定义:⑴无理数:⑵直角三角形:⑶一次函数:⑷压强:无限不循环小数叫做无理数.有一个角是直角的三角形叫做直角三角形.一般地,形如y=kx+b(k、b都是常数且k≠0)叫做一次函数.单位面积所受的压力叫做压强.说一说:你过去还学过哪些名词或术语的定义?练一练比较下列句子在表述形式上,哪些对事情作了判断?哪些没有对事情作出判断?(1)鸟是动物.(2)若a2=4,求a的值.(3)若a2=b2,则a=b.(4)a,b两条直线平行吗?(5)画一个角等于已知角.(6)0.33是无理数.(7)两直线平行,同位角相等.判断(1)鸟是动物.(3)若a2=b2,则a=b.(6)0.33是无理数.(7)两直线平行,同位角相等.(1)鸟是动物.(2)若a2=b2,则a=b.(3)0.33是无理数.(4)两直线平行,同位角相等.上面句子的特征:有判断有对错一般地,对某一件事情作出正确或不正确的判断的句子叫做命题.命题下列句子中,哪些是命题?哪些不是命题?⑴负数都小于零.⑵两个等边三角形是全等三角形.⑶一组数据的方差越大,这组数据就越稳定.⑷下午会下雨吗?⑸所有的质数都是奇数.⑹过直线外一点作直线l的平行线.⑺北京是中国的首都.⑻|a|0(a为实数).不是是不是是是是练一练是是探索新知1、如果两个三角形的三条边对应相等,那么这三角形全等;条件结论已知事项由已知事项推断出来的事项命题都可以写成“如果……那么……”的形式;其中“如果”引出的部分是条件,“那么”引出的部分是结论。例指出下列命题的条件和结论,并改写成“如果……那么……”的形式:⑴三条边对应相等的两个三角形全等;⑵在同一个三角形中,等角对等边;⑶对顶角相等;如果两个三角形有三条边对应相等,那么这两个三角形全等。如果在同一个三角形中,有两个角相等,那么这两个角所对的边也相等。如果两个角是对顶角,那么这两个角相等。条件是:结论是:改写成:条件是:结论是:改写成:条件是:结论是:改写成:两个三角形的三条边对应相等这两个三角形全等同一个三角形中的两个角相等这两个角所对的两条边相等两个角是对顶角这两个角相等指出下列命题的条件和结论,并改写“如果……那么……”的形式:⑴两条边和它们的夹角对应相等的两个三角形全等;⑵直角三角形两个锐角互余.⑶角平分线上的点到角两边的距离相等.如果两个三角形有两条边和它们的夹角对应相等,那么这两个三角形全等.如果两个角是一个直角三角形的两个锐角,那么这两个角互余.练一练如果一个点在角平分线上,那么这个点到角两边的距离相等.比较下列句子在表述形式上,哪些对事情作了判断?哪些没有对事情作出判断?(1)鸟是动物.(2)若a2=4,求a的值.(3)若a2=b2,则a=b.(4)a,b两条直线平行吗?(5)画一个角等于已知角.(6)0.33是无理数.(7)两直线平行,同位角相等.判断(1)鸟是动物.(3)若a2=b2,则a=b.(6)0.33是无理数.(7)两直线平行,同位角相等.(1)鸟是动物.(2)若a2=b2,则a=b.(3)0.33是无理数.(4)两直线平行,同位角相等.上面句子的特征:有判断有对错命题正确的命题叫做不正确的命题叫做据此可知,一个命题有正确的和不正确的之分.真命题假命题说明假命题的方法:举反例使之具有命题的条件,而不具有命题的结论若a²=b²,则a=b如何证实一个命题是真命题呢用我们以前学过的观察,实验,验证特例等方法.这些方法往往并不可靠.能不能根据已经知道的真命题证实呢?那已经知道的真命题又是如何证实的?.哦……那可怎么办•如何证实一个命题是真命题呢?其实,在数学发展史上,数学家们也遇到类似的问题,公元前3世纪,人们已经积累了大量的数学知识,在此基础上,古希腊数学家欧几里得(公元前300前后)编写一本书,书名叫《原本》,为了说明每一个结论的正确性,他在编写这本书时进行了大胆创造:挑选了一部分数学名词和一部分公认的真命题作为证实其他命题的起始依据,证实其它命题的正确性推理2、公理:1、原名:3、证明:4、定理:课本P168—169页,了解古希腊数学家欧几里得(公元前300前后)和他的《原本》;找出下列各个定义。某些数学名词称为原名.公认的真命题称为公理.演绎推理的过程称为证明.经过证明的真命题称为定理.推理的过程叫证明经过证明的真命题叫定理原名、公理一些条件+有关概念、公理条件1定理1有关概念、公理条件2定理2定理3…………《原本》问世之前,世界上还没有一本数学书籍像《原本》这样编排,因此《原本》是一部具有划时代意义的著作。1.两点确定一条直线。2.两点之间,线段最短。3.同一平面内,过一点有且只有一条直线与已知直线垂直。4.两条直线被第三条直线所截,如果同位角相等,那么这两条直线平行。5.过直线外一点有且只有一条直线与这条直线平行。6.两边及其夹角对应相等的两个三角形全等。7.两角及其夹边对应相等的两个三角形全等。8.三边对应相等的两个三角形全等。9.两条直线被一组平行线所截,所得的对应线段成比例。(简述为:同位角相等,两直线平行)(SAS)(ASA)(SSS)本套教材选用如下九条基本事实作为证明的公理等式和不等式的有关性质都可以看作公理在等式中,一个量可以用它相等的量来代替.数与式的运算律和运算法则都可以看作公理例如:如果a=b,b=c,那么a=c,这一性质也可看作公理,称为“等量代换”.又如:如果a>b,b>c,那么a>c,这一性质也可看作公理。“不等式的传递性”从这些公理出发,就可以证明已经探索过的结论了。例如,我们可以证明下面的定理;定理同角(等角)的补角相等定理同角(等角)的余角相等定理三角形的任意两边之和大于第三边定理对顶角相等证明定理同角的补角相等。已知:∠2是∠1的补角,∠3是∠1的补角。求证:∠2=∠3证明:∴∠2+∠1=180°()已知补角的定义∴∠2=180°-∠1()等式的性质∵∠3是∠1的补角()已知∴∠3+∠1=180°()补角的定义∴∠3=180°-∠1()等式的性质∴∠2=∠3()等量代换∵∠2是∠1的补角()∠4∵∠1=∠4∠4∠4∠4∠1=∠4等证明定理对顶角相等。已知:如图,直线AB与直线CD相交于点O,∠AOC与∠BOD是对顶角。求证:∠AOC=∠BOD证明:∴∠AOB与∠COD都是平角()已知平角的定义∴∠AOC和∠BOD都是∠AOD的补角补角的定义∴∠AOC=∠BOD()同角的补角相等∵直线AB与直线CD相交于点O()()同角的余角相等已知:∠1与∠2互为余角,∠3与∠2互为余角,求证:∠1=∠3证明:∵∠1与∠2互为余角(已知)∴∠1+∠2=90°(余角的定义)∴∠1=90°-∠2(等式的性质)∵∠3与∠2互为余角(已知)∴∠3+∠2=90°(余角的定义)∴∠3=90°-∠2(等式的性质)∴∠1=∠3(等量代换)三角形的任意两边之和大于第三边已知:△ABC,求证:AB+BC>AC,BC+AC>AB,AB+AC>BC依据是:两点之间线段最短考考你!1、“两点之间,线段最短”这个语句是()A、定理B、公理C、定义D、只是命题2、“同一平面内,不相交的两条直线叫做平行线”这个语句是()A、定理B、公理C、定义D、只是命题3、下列命题中,属于定义的是()A、两点确定一条直线B、同角的余角相等C、两直线平行,内错角相等D、点到直线的距离是该点到这条直线的垂线段的长度4、下列句子中,是定理的是(),是公理的是(),是定义的是(),A、若a=b,b=c,则a=c;B、对顶角相等C、全等三角形的对应边相等,对应角相等D、有一组邻边相等的平行四边形叫做菱形E、两条平行直线被第三条直线所截,同位角相等BDC收获•三个定义•公理——公认的真命题•证明——推理的过程•定理——经过证明的真命题•八个几何公理•证明的出发点是(已知)原始依据是(定义),(公理)•证明命题的步骤1.画图2.根据条件写已知•2.根据结论写求证4.写证明过程•几个定理的证明3.A、B、C、D、E五名学生猜自己的数学成绩:A说:“如果我得优,那么B也得优。”B说:“如果我得优,那么C也得优。”C说:“如果我得优,那么D也得优。”D说:“如果我得优,那么E也得优。”大家都没有说错,但只有三个人得优。请问:得优的是哪三个人?C、D、E三个人得优。1.这节课主要学习了哪些内容?2.这节课中哪些地方容易搞错?先整理复习,后做作业……