




已阅读5页,还剩27页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
.,13.2命题与证明(2),八(2)是我家,我爱我家!,.,眼见为实,.,眼见为实,.,实践出真知!,眼见未必为实!,眼见为实,.,观察,猜想,度量,实验得出的结论未必都正确;一个命题的真假,常常需要进行有根有据的推理才能作出正确的判断,要确定一个命题是真命题,光靠举几个例子是不够的,要对它的正确性进行论证。在论证过程中,必须追本求源,最后,只能确定几个不需要再作论证的,其正确性是人们在长期实践中检验所得的真命题,作为判断其他命题真假的依据.,.,.,阅读课本思考下列问题,1我们已经学过哪些定义?2.什么叫基本事实?我们已经学过的基本事实有哪些?3.什么叫定理?我们已经学过的定理有哪些?4.什么叫演绎推理?什么叫证明?证明的一般步骤有哪些?证明的依据有哪些?5.能够写出简单命题的推理过程及依据。,.,定义的概念:能界定某个对象含义的句子叫做定义.,举例(1)能够被2整除的数叫做偶数;(2)由不在同一条直线上的三条线段首尾顺次联结所组成的图形叫做三角形;(3)有一个角是直角的三角形叫做直角三角形.,问:你还能举出一些例子吗?,.,例如:1、“具有中华人民共和国国籍的人,叫做中华人民共和国公民”是“中华人民共和国公民”的定义;,2、“两点之间线段的长度,叫做这两点之间的距离”是“两点的距离”的定义;,3、“在一个方程中,只含有一个未知数,并且未知数的指数是1,这样的方程叫做一元一次方程”是“一元一次方程”的定义;,4、“两组对边分别平行的四边形叫做平行四边形”是“平行四边形”的定义;,5、“从总体中抽取部分个体叫做总体的一个样本”是“样本”的定义;,何谓定义,.,知识连接,人们在长期实践中检验所得的真命题,作为判断其他命题真假的依据,这些作为原始根据的真命题称为基本事实。,.,问题1:你能举出几个前面已学过的基本事实吗?,如:关于直线:两点确定一条直线.关于平行:经过直线外一点,有且只有一条直线平行于已知直线.关于线段:两点之间,线段最短,.,跟同伴交流,回顾我们学过的命题,哪些是定理?,有些命题,如:“对顶角相等”,“三角形三个内角的和等于180”等,它们的正确性已经经过推理得到证实,并被作为判断其他命题真假的依据,这样的真命题称为定理。推理的过程叫做证明.,如:平行线判定定理:内错角相等,两直线平行同旁内角互补,两直线平行平行线性质定理:两直线平行,内错角相等.两直线平行,同旁内角互补.三角形内角和定理:三角形内角和等于180度余角(补角)性质:同角(等角)的余角(或补角)相等,.,例题:,1.证明的步骤:(1)_;(2)_(3)_,根据题意画出图形;,经过分析,找出已知条件推出结论的途径,写出证明过程;,根据题设、结论,结合图形,写出已知、求证;,2.证明:“内错角相等,两直线平行”。,分析:(1)画出图形,(2)找出题设:结论:,两直线被第三条直线所截,形成的内错角相等,这两条直线平行,写出已知:求证:,如图,直线c与直线a、b相交,且1=2,ab,(3)写证明过程,.,例题:,已知:如图,直线c与直线a、b相交,且1=2,求证:ab.,证明:,1=2,()又1=3,()2=3,()ab,(),已知,对顶角相等,等量代换,同位角相等,两直线平行,.,想一想:,基本事实和定理有什么共同点和不同点?,共同点:都是真命题不同点:基本事实的正确性是人们长期实践检验所证实的,不需要证明。定理的正确性是依赖推理证实的.,.,基本事实和定理,基本事实:人们从长期的实践中总结出来,作为判断其他命题真假的依据,这些作为原始依据的真命题叫做公理,例如:线段公理:两点之间,线段最短;平行公理:两直线平行,同位角相等.定理:从公理或其他真命题出发,用推理方法证明为正确的、并进一步作为判断其他命题真假的依据,这样的真命题叫做定理。例如:两直线平行,内错角相等;对顶角相等.基本事实和定理的共同点和不同点:共同点:都是真命题不同点:基本事实的正确性是人们长期实践检验所证实的,定理的正确性是依赖推理证实的.,.,什么叫“演绎推理”?从已知条件出发,根据定义、基本事实、已证定理,并根据逻辑规则,推导出结论的方法叫“演绎推理”。,看谁答得快?,.,你知道吗?,演绎推理的过程,叫做演绎证明,简称证明。,.,例题1.已知:如图,AOB+BOC=180,OE平分AOB,OF平分BOC,求证:OEOF,.,当堂检测:,1.已知:如图,AB与CD相交于点O,1=D,2=C。求证:ADBC,A,O,B,D,C,2,1,.,试一试,已知,如图:1=B,求证:2=C,A,B,C,D,E,1,2,证明:1=B(),AEBC(),2=C(),已知,同位角相等,两直线平行,两直线平行,内错角相等,想一想:有没有其他方法?,.,想一想,.如图,已知:ABCD,ADBC。求证:A=D,A,B,C,D,.已知,如图:,、分别是、的平分线求证:,A,B,C,D,F,E,.,试一试,已知,如图,1=2。求证:ABCD,A,B,C,D,E,F,1,2,2.已知,如图O是直线AB上一点,OD,OE平分AOC和COD。求证:ODOE,A,B,O,C,D,E,.,通过上述例子,请同学们归纳证明是怎样一个过程,证明过程中,推理的依据有哪些?同伴之间互相交流一下。,归纳结果:证明是由条件(已知)出发,经过一步一步的推理,论证,最后,推出结论(求证)正确的过程。证明过程中,推理的依据可以是公基本事实,也可以是定理,定义,已知条件,推论。,.,证明:BDAC,EFAC3=4=90BD/EF2=CBD又1=21=CBDGD/BCADG=C,(已知),(垂直的定义),(同位角相等,两直线平行),(已知),(等量代换),(内错角相等,两直线平行),(两直线平行,内错角相等),证明并写出每一步推理的理由例2:已知:如图,BDAC,EFAC,D,F是垂足,1=2,求证:ADG=C,(两直线平行,同位角相等),.,练习:1.已知,如图,ABBF,CDBF,1=2求证:3=4,证明:ABBF,CDBFB=CDF=90AB/又1=2AB/EF/3=4,已知,垂直的性质,垂直于同一条直线的两直线平行,(已知),(内错角相等,两直线平行),平行于同一直线的两直线平行,两直线平行,同
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 科室一级护理质控的意义
- 希沃课件播放指南
- 小长假收心教育主题班会
- 新形势下医院思想文化工作研究
- 套管培训大纲
- 绿色出行倡导者司机雇佣合同范本
- 财务顾问保密协议及企业财务诊断与改善合同
- 白酒品牌授权生产及销售合作协议
- 工业园区厂房拆除及搬迁补偿合同
- 城市公交车辆特许经营权承包合同
- 广东省佛山市南海区2023-2024学年七年级下学期期末生物学试题(原卷版)
- 《建筑基坑工程监测技术标准》(50497-2019)
- 2023年深静脉血栓形成的诊断和治疗的指南
- QData数据库一体机方案介绍
- 化工仓储管理系统方案
- 2021-2022学年贵州省黔东南州高一下学期期末文化水平测试数学试题【含答案】
- (精心整理)初三数学几何的动点问题专题练习及答案
- 高血压脑出血外科治疗临床路径
- 核电工程施工隐患排查专项培训课件
- Q_SLB0402-2005 产品钢印及标记移植
- 劳动者个人职业健康监护档案(样板)
评论
0/150
提交评论