版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、命题与证明命题与证明本课内容本节内容2.2 前面我们学习了许多有关前面我们学习了许多有关三角形的概念三角形的概念 (如三角形、等腰三角形、如三角形、等腰三角形、等边三角形以及三角形的高线、等边三角形以及三角形的高线、中线、角平分线等中线、角平分线等)如:如: 三角形的一边与另一边的延长三角形的一边与另一边的延长线所组成的角叫作三角形的外角线所组成的角叫作三角形的外角. 不在同一直线上的三条线段不在同一直线上的三条线段首尾相接所构成的图形叫作三首尾相接所构成的图形叫作三角形;角形;ABCD 像这样,对一个概念的含义加以描像这样,对一个概念的含义加以描述说明或作出明确规定的语句叫作这个述说明或作出
2、明确规定的语句叫作这个概念的概念的定义定义. 例如:例如:“把数与表示数的字母用运算符把数与表示数的字母用运算符号连接而成的式子叫作代数式号连接而成的式子叫作代数式”是是“代数代数式式”的定义的定义. “同一平面内没有公共点的两条直线叫同一平面内没有公共点的两条直线叫作平行线作平行线”是是“平行线平行线”的定义的定义.说出下列概念的定义:说出下列概念的定义:(1)方程;方程; 说一说说一说 在三角形中,一个角的平分线在三角形中,一个角的平分线与这个角的对边相交,这个角的顶与这个角的对边相交,这个角的顶点与交点之间的线段叫作三角形的点与交点之间的线段叫作三角形的角平分线角平分线.我们把含有未知数
3、的等式叫做我们把含有未知数的等式叫做方程方程.(2)三角形的角平分线三角形的角平分线. 在现实生活中,我们经常要在现实生活中,我们经常要对一件事情作出判断对一件事情作出判断. 数学中同样有许多问题需数学中同样有许多问题需要我们作出判断要我们作出判断.下列叙述事情的语句中,哪些是对事情作出了判断下列叙述事情的语句中,哪些是对事情作出了判断?议一议议一议(1)三角形的内角和等于三角形的内角和等于180;(2)如果如果| a | = 3,那么那么a = 3;(3)1月份有月份有31天;天; (4)作一条线段等于已知线段;作一条线段等于已知线段;(5)一个锐角与一个钝角互补吗一个锐角与一个钝角互补吗?
4、 一般地,对某一件事情作出判断的语句一般地,对某一件事情作出判断的语句(陈述句陈述句)叫作叫作命题命题. 例如,上述语句例如,上述语句(1),(),(2),(),(3)都都是命题;是命题; 语句语句(4),(),(5)没有对事情作出判断,没有对事情作出判断,就不是命题就不是命题. (1)三角形的内角和等于三角形的内角和等于180;(2)如果如果| a | = 3,那么那么a = 3;(3)1月份有月份有31天;天; (4)作一条线段等于已知线段;作一条线段等于已知线段;(5)一个锐角与一个钝角互补吗一个锐角与一个钝角互补吗?观察观察下列命题的表述形式有什么共同点下列命题的表述形式有什么共同点?
5、(1)如果如果a = b且且b = c,那么,那么a = c;(2)如果两个角的和等于如果两个角的和等于90,那么这两个角,那么这两个角 互为余角互为余角. 它们的表述形式都是它们的表述形式都是“如果如果,那么,那么”.”. 命题通常写成命题通常写成“如果如果,那么,那么”的形式,的形式,其中其中“如果如果”引出的部分就是引出的部分就是条件条件,“那么那么”引出引出的部分就是的部分就是结论结论. 例如,对于上述命题例如,对于上述命题(2), “ “两个角的和等于两个角的和等于90”就是条件,就是条件, “这两个角互为余角这两个角互为余角”就是结论就是结论.(2)如果两个角的和等于如果两个角的和
6、等于90,那,那么这两个角互为余角么这两个角互为余角. 有时为了叙述的简便,命题也可以省略关联有时为了叙述的简便,命题也可以省略关联词词“如果如果”、“那么那么”. 如如:“如果两个角是对顶角,那么这两个角如果两个角是对顶角,那么这两个角相等相等”可以简写成可以简写成“对顶角相等对顶角相等”; “ “如果两个角是同一个角的余角,那么这两如果两个角是同一个角的余角,那么这两个角相等个角相等” 可以简写成可以简写成“同角的余角相等同角的余角相等”. .做一做做一做(1)指出下列命题的条件和结论,并改写成指出下列命题的条件和结论,并改写成 “ “如果如果,那么,那么”的形式:的形式:命题命题条件条件
7、结论结论能被能被2整除的数整除的数 是偶数是偶数.有公共顶点的两有公共顶点的两 个角是对顶角个角是对顶角.两直线平行,同两直线平行,同 位角相等位角相等.同位角相等,两同位角相等,两 直线平行直线平行.那么这个数是偶数那么这个数是偶数如果一个数能被如果一个数能被2整除整除那么这两个角是对顶角那么这两个角是对顶角如果两个角有公共顶点如果两个角有公共顶点那么它们的同位角相等那么它们的同位角相等如果两条直线平行如果两条直线平行那么这两条直线平行那么这两条直线平行如果两个同位角相等如果两个同位角相等(2)上述命题上述命题与与的条件与结论之间有什么联系的条件与结论之间有什么联系?两直线平行,同位角相等两
8、直线平行,同位角相等.同位角相等,两直线平行同位角相等,两直线平行. 命题命题与与的条件的条件与结论互换了位置与结论互换了位置. 对于两个命题,如果一个命题的条件和结对于两个命题,如果一个命题的条件和结论分别是另一个命题的结论和条件,我们把这论分别是另一个命题的结论和条件,我们把这样的两个命题称为样的两个命题称为互逆命题互逆命题,其中一个叫作,其中一个叫作原原命题命题,另一个叫作,另一个叫作逆命题逆命题. 例如,上述命题例如,上述命题与与就是互逆命题就是互逆命题.两直线平行,同位角相等两直线平行,同位角相等.同位角相等,两直线平行同位角相等,两直线平行. 从上我们可以看出,只要将一个命题的条从
9、上我们可以看出,只要将一个命题的条件和结论互换,就可得到它的逆命题,所以每件和结论互换,就可得到它的逆命题,所以每个命题都有逆命题个命题都有逆命题.练习练习1. 下列语句中,哪些是命题,哪些不是命题下列语句中,哪些是命题,哪些不是命题?(2)两点之间线段最短;两点之间线段最短;(4)过一点有且只有一条直线与已知直线垂直过一点有且只有一条直线与已知直线垂直.(3)任意一个三角形的三条中线都相交于一点吗任意一个三角形的三条中线都相交于一点吗?(1)如果如果x=3,求,求 的值;的值;3 2xx- -不是命题不是命题是命题是命题不是命题不是命题是命题是命题2. 将下列命题改写成将下列命题改写成“如果
10、如果,那么,那么” 的形式的形式.(1)两条直线相交,只有一个交点;两条直线相交,只有一个交点;(2)个位数字是个位数字是5的整数一定能被的整数一定能被5整除;整除;答:如果两条直线相交,那么这两条直线答:如果两条直线相交,那么这两条直线 只有一个交点只有一个交点.答:如果一个整数的个位数字是答:如果一个整数的个位数字是5,那么这,那么这 个数一定能被个数一定能被5整除整除.(4)三角形的一个外角大于它的任何一个内角三角形的一个外角大于它的任何一个内角.(3)互为相反数的两个数之和等于互为相反数的两个数之和等于0;答:如果两个数是互为相反数,那么这答:如果两个数是互为相反数,那么这 两个数之和
11、等于两个数之和等于0.答:如果某答:如果某角是角是三角形的外角,那么这个三角形的外角,那么这个角大于它的任何一个内角角大于它的任何一个内角.3. 写出下列命题的逆命题:写出下列命题的逆命题:(1)若两数相等,则它们的绝对值也相等;若两数相等,则它们的绝对值也相等;(2)如果如果m是整数,那么它也是有理数;是整数,那么它也是有理数;(3)两直线平行,内错角相等;两直线平行,内错角相等;(4)两边相等的三角形是等腰三角形两边相等的三角形是等腰三角形.答:绝对值相等的两个数相等答:绝对值相等的两个数相等答:如果答:如果m是有理数,那么它也是整数是有理数,那么它也是整数答:内错角相等,两直线平行答:内
12、错角相等,两直线平行答:等腰三角形的两边相等答:等腰三角形的两边相等议一议议一议 下列命题中,哪些正确,哪些错误下列命题中,哪些正确,哪些错误?并说并说一说你的理由一说你的理由.(1)每一个月都有每一个月都有31天;天;(2)如果如果a是有理数,那么是有理数,那么a是整数是整数.(3)同位角相等;同位角相等;(4)同角的补角相等同角的补角相等.错误错误错误错误错误错误正确正确 上面四个命题中,命题上面四个命题中,命题(4)是正确的,是正确的,命题命题(1),(2),(3)都是错误的都是错误的. 我们把正确的命题称为我们把正确的命题称为真命题真命题,把错误的命,把错误的命题称为题称为假命题假命题
13、. (1)每一个月都有每一个月都有31天;天;(2)如果如果a是有理数,那么是有理数,那么a是整数是整数.(3)同位角相等;同位角相等; (4)同角的补角相等同角的补角相等. 要判断一个命题是真命题,常常要从命题的条要判断一个命题是真命题,常常要从命题的条件出发,通过讲道理件出发,通过讲道理(推理推理),得出其结论成立,得出其结论成立,从而判断这个命题为真命题,这个过程叫从而判断这个命题为真命题,这个过程叫证明证明. 例如,命题例如,命题“同角的补角相等同角的补角相等”通过推理可以判通过推理可以判断出它是真命题断出它是真命题. . 由于由于1+2=180,1+3=180,所以所以2=180-
14、-1,3=180- -1.因此因此2=3(等量代换等量代换). .于是,我们得出:于是,我们得出:同角同角(或等角或等角)的补角相等的补角相等. 要判断一个命题是假命题,只需举出一个例子要判断一个命题是假命题,只需举出一个例子(反例反例),),它符合命题的条件,但不满足命题的结它符合命题的条件,但不满足命题的结论,从而就可判断这个命题为假命题论,从而就可判断这个命题为假命题. 例如,要判断命题例如,要判断命题“如果如果a是有理数,那么是有理数,那么a是是整数整数”是一个假命题,我们举出是一个假命题,我们举出“0.1是有理数,但是有理数,但是是0.1不是整数不是整数”这一例子即可判断该命题是假命
15、题这一例子即可判断该命题是假命题. 我们通常把这种方法称为我们通常把这种方法称为“举反例举反例”.判断下列命题为真命题的依据是什么判断下列命题为真命题的依据是什么?说一说说一说(1)如果如果a是整数,那么是整数,那么a是有理数;是有理数;(2)如果如果ABC是等边三角形,那么是等边三角形,那么ABC是是 等腰三角形等腰三角形. 分别是根据有理数、等腰分别是根据有理数、等腰(等边等边)三角形的定义作出的三角形的定义作出的判断判断. 从上可以看到,在判断一个命题是否为真从上可以看到,在判断一个命题是否为真命题时常常要利用一些概念的定义,但是光用命题时常常要利用一些概念的定义,但是光用定义只能判断一
16、些很简单的命题是否为真定义只能判断一些很简单的命题是否为真. 事实上,对于绝大多数命题的真假的判断,事实上,对于绝大多数命题的真假的判断,光用定义是远远不够的光用定义是远远不够的. 古希腊数学家欧几里得古希腊数学家欧几里得(Euclid,约公元,约公元前前330前前275年)对他那个时代的数学知识作年)对他那个时代的数学知识作了系统的总结,他挑选了一些人们在长期实践了系统的总结,他挑选了一些人们在长期实践中总结出来的公认的真命题作为证明的原始依中总结出来的公认的真命题作为证明的原始依据,称这些真命题为公理据,称这些真命题为公理.本书中,我们把少数真命题作为本书中,我们把少数真命题作为基本事实基
17、本事实. 例如,两点确定一条直线;两点之间线段最短等例如,两点确定一条直线;两点之间线段最短等. . 人们可以用定义和基本事实作为推理的出发点,人们可以用定义和基本事实作为推理的出发点,去判断其他命题的真假去判断其他命题的真假. 例如在七年级下册,我们从基本事实出发证明例如在七年级下册,我们从基本事实出发证明了一些有关平行线的结论了一些有关平行线的结论. .基本事实基本事实同位角相等,两直线平行同位角相等,两直线平行. .内错角相等,两直线平行内错角相等,两直线平行.同旁内角互补,两直线平行同旁内角互补,两直线平行.我们把经过证明为真的命题叫作我们把经过证明为真的命题叫作定理定理. 例如,例如
18、,“三角形的内角和等于三角形的内角和等于180”称为称为“三角形内角和定理三角形内角和定理”. . 定理也可以作为判断其他命题真假的依据,定理也可以作为判断其他命题真假的依据,由某定理直接得出的真命题叫作这个定理的由某定理直接得出的真命题叫作这个定理的推论推论. 例如例如,“三角形的一个外角等于与它不相邻三角形的一个外角等于与它不相邻的两个内角的和的两个内角的和”称为称为“三角形内角和定理的推三角形内角和定理的推论论”,也可称为也可称为“三角形外角定理三角形外角定理”. 当一个命题是真命题时,它的逆命题不一定是当一个命题是真命题时,它的逆命题不一定是真命题真命题. 例如例如,“如果如果1和和2
19、是对顶角是对顶角,那么那么1=2”是真命题是真命题,但它的逆命题但它的逆命题“如果如果1=2,那么那么1和和2是对顶角是对顶角”就是假命题就是假命题. 如果一个定理的逆命题能被证明是真命题,那如果一个定理的逆命题能被证明是真命题,那么就叫它是原定理的么就叫它是原定理的逆定理逆定理,这两个定理叫作,这两个定理叫作互逆互逆定理定理. 我们前面学过的定理中就有互逆的定理我们前面学过的定理中就有互逆的定理. 例如,例如,“内错角相等,两直线平行内错角相等,两直线平行”和和“两直两直线平行,内错角相等线平行,内错角相等”是互逆的定理是互逆的定理. .练习练习1. 下列命题中,哪些是真命题,哪些是假命题下
20、列命题中,哪些是真命题,哪些是假命题? 请说说你的理由请说说你的理由.(1)绝对值最小的数是绝对值最小的数是0;答:真命题答:真命题(2)相等的角是对顶角;相等的角是对顶角;(3)一个角的补角大于这个角;一个角的补角大于这个角;(4)在同一平面内,如果直线在同一平面内,如果直线al,bl, 那么那么ab.答:假命题答:假命题答:假命题答:假命题答:真命题答:真命题2. 举反例说明下列命题是假命题:举反例说明下列命题是假命题:(1)两个锐角的和是钝角;两个锐角的和是钝角;(2)如果数如果数a,b的积的积ab0,那么,那么a,b都是正数;都是正数;(3)两条直线被第三条直线所截同位角相等两条直线被
21、第三条直线所截同位角相等.答:直角三角形的两个锐角和不是钝角答:直角三角形的两个锐角和不是钝角答:答:- -1和和- -3的积是的积是( (- -1)()(- -3) )0,- -1和和- -3不是正数不是正数.答:两条相交的直线答:两条相交的直线a、b被第三条直线被第三条直线l所截,所截, 它们的同位角不相等它们的同位角不相等3. 试写出两个命题,要求它们不仅是互逆命题,试写出两个命题,要求它们不仅是互逆命题, 而且都是真命题而且都是真命题.答:两直线平行,内错角相等。答:两直线平行,内错角相等。 内错角相等,两直线平行。内错角相等,两直线平行。 观察、操作、实验是人们认识事物的重观察、操作
22、、实验是人们认识事物的重要手段,而且人们可以从中猜测发现出一些要手段,而且人们可以从中猜测发现出一些结论结论. 采用剪拼或度量的方法,猜测采用剪拼或度量的方法,猜测“三角形的三角形的外角和外角和”等于多少度等于多少度.做一做做一做 从剪拼或度量可以猜测三角形的三个外角之和从剪拼或度量可以猜测三角形的三个外角之和等于等于360,但是剪拼时难以真正拼成一个周角,但是剪拼时难以真正拼成一个周角,只是接近周角;分别度量这三个角后再相加,结果只是接近周角;分别度量这三个角后再相加,结果可能接近可能接近360,但不能很准确地都得到,但不能很准确地都得到360. 另外,由于不同形状的三角形有无数个,我另外,
23、由于不同形状的三角形有无数个,我们也不可能用剪拼或度量的方法来一一验证,因们也不可能用剪拼或度量的方法来一一验证,因此,我们只能猜测任何一个三角形的外角和都为此,我们只能猜测任何一个三角形的外角和都为360. 此时猜测出的命题仅仅是一种猜想,未必都此时猜测出的命题仅仅是一种猜想,未必都是真命题是真命题. 要确定这个命题是真命题,还需要通过推理要确定这个命题是真命题,还需要通过推理的方法加以证明的方法加以证明. 数学上证明一个命题时,通常从命题的条件数学上证明一个命题时,通常从命题的条件出发,运用定义、基本事实以及已经证明了的定出发,运用定义、基本事实以及已经证明了的定理和推论,通过一步步的推理
24、,最后证实这个命理和推论,通过一步步的推理,最后证实这个命题的结论成立题的结论成立. 证明的每一步都必须要有根据证明的每一步都必须要有根据. 证明命题证明命题“三角形的外角和为三角形的外角和为360”是真命题是真命题.动脑筋动脑筋 在分析出这一命题的条件和结论后,我们在分析出这一命题的条件和结论后,我们就可以按如下步骤进行:就可以按如下步骤进行: 已知:如图,已知:如图,BAF,CBD和和ACE分分别是别是ABC的三个外角的三个外角.求证:求证:BAF+CBD+ACE=360.证明如图,证明如图, BAF=2+3,BAF+CBD+ACE=2( (1+2+3)()(等式的性质等式的性质).).C
25、BD=1+3,ACE=1+2(三角形外角定理三角形外角定理),1+2+3=180( (三角形内角和定理三角形内角和定理) ), BAF+CBD+ACE=2180=360.证明与图形有关的命题时,一般有以下步骤:证明与图形有关的命题时,一般有以下步骤:第一步第一步第二步第二步第三步第三步画出图形画出图形写出已知、求证写出已知、求证写出证明的过程写出证明的过程根据题意根据题意根据命题的条件和结论,结合图形根据命题的条件和结论,结合图形通过分析,找出证明的途径通过分析,找出证明的途径例例1 已知:如图,在已知:如图,在ABC中,中,B=C,点,点D在线在线 段段BA的延长线上,射线的延长线上,射线A
26、E平分平分DAC.求证:求证:AEBC.举举例例证明:证明:DAC =B +C(三角形外角定理三角形外角定理),B=C(已知已知), DAC=2B(等式的性质等式的性质). .又又AE平分平分DAC(已知已知),DAC=2DAE(角平分线的定义角平分线的定义)DAE=B(等量代换等量代换). .AEBC(同位角相等,两直线平行同位角相等,两直线平行)例例2 已知:已知:A,B,C是是ABC的内角的内角.求证:求证:A,B,C中至少有一个角大中至少有一个角大 于或等于于或等于60. 分析分析 这个命题的结论是这个命题的结论是“至少有一个至少有一个”,也就是,也就是说可能出现说可能出现“有一个有一
27、个”、“有两个有两个”、“有三个有三个”这三这三种情况种情况. 如果直接来证明,将很繁琐,因此,我们将从如果直接来证明,将很繁琐,因此,我们将从另外一个角度来证明另外一个角度来证明.证明证明 假设假设A,B,C 中没有一个角大于中没有一个角大于 或等于或等于60,即即A60,B60,C60,则则A+B+C180.这与这与“三角形的内角和等于三角形的内角和等于180”矛盾,矛盾,所以假设不正确所以假设不正确.因此,因此,A, B, C中至少有一个角大中至少有一个角大于或等于于或等于60. 像这样,当直接证明一个命题为真有困难时,像这样,当直接证明一个命题为真有困难时,我们可以先假设命题不成立,然后利用命题的条件我们可以先假设命题不成立,然后利用命题的条件或有关的结论,通过推理导出矛盾,从
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年工程质量基础素养考核题含答案
- 基于数据挖掘技术的中文病历分析与应用探索
- 基于数据仓库的财险业务分析系统:设计、实现与应用洞察
- 2026年注册消防工程师继续教育试题含答案
- 基于数值模拟的包钢150吨LF炉吹气位置与温度分布协同优化研究
- 基于改进CPSO算法的电子产品生产调度优化研究
- 基于挠曲电效应解析外毛细胞电动性的理论探究
- 基于扬声器阵列的多区域声重放:原理、技术与应用的深度剖析
- 基于扫描电子显微镜的图形检测系统:设计、实现与应用
- 基于战略契合的DFLZ公司技术开发人员能力素质模型构建与招聘实践
- 小学生保护眼睛健康讲座课件
- 致盲性眼病科普
- 驾驶人员技能培训课件
- 2025年中职(动漫与游戏制作)二维动画制作试题及答案
- 亮剑的团队精神
- 儿童电除颤教学课件
- 东北林业大学《生物科学专业英语》2023-2024学年第二学期期末试卷
- 建筑物拆除工程合同模板
- DB32T 3262-2017 移动泵机组运行与维护规范
- 会计基础第四版 课件 项目四 运用借贷记账法
- 2024年全国职业院校技能大赛高职组(社区服务实务赛项)考试题库(含答案)
评论
0/150
提交评论