版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、2.2.2 反证法常用的互为否定的表述方式:等于大于是 都是任意的不等于不大于不是不都是某个常用的互为否定的表述方式:至少有一个至少有三个至少有n个最多有一个一个也没有至多有两个至多有(n-1)个至少有两个1133nn11思考? A、B、C三个人,A说B撒谎,B说C撒谎,C说A、B都撒谎。则C必定是在撒谎,为什么?分析:假设C没有撒谎, 则C真. 那么A假且B假;由A假, 知B真. 这与B假矛盾.那么假设C没有撒谎不成立;则C必定是在撒谎. 先假设结论的反面是正确的,然后通过逻辑推理,推出与公理、已证的定理、定义或已知条件相矛盾,说明假设不成立,从而得到原结论正确。 这种证明方法就是-反证法
2、把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明注:反证法是最常见的间接证法。 一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾。因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法。一、探究定义否定结论推出矛盾肯定结论即分三个步骤:反设归谬存真反设假设命题的结论不成立;存真由矛盾结果,断定反设不成立,从而肯定原结论成立。 归谬从假设出发,经过一系列正确的推理,得出矛盾;二、探究反证法的证明过程归缪矛盾:(1)与已知条件矛盾;(2)与假设矛盾或自相矛盾;(3)与已有公理、定理、定义、事实矛盾.反证法的思维方法:正难则反证明:
3、在一个三角形中至少 有一个角不小于60.引例已知:A, B, C是ABC的内角.求证: A, B, C中至少有一个 不小于60已知:A, B, C是ABC的内角.求证: A, B, C中至少有一个不小于60证明:假设 的三个内角A, B, C都小于60,所以 A 60,B 60, C 60 A+B+C180这与 相矛盾.三角形内角和等于180 不能成立,所求证的结论成立.假设证明:假设不大于则或因为所以否定要全面所以假设错误,故成立注:直接证明难以下手的命题,改变其思维方向,从结论入手进行反面思考,问题可能解决得十分干脆。典例剖析(1)直接证明有困难正难则反!归纳总结:哪些命题适宜用反证法加以证明?牛顿曾经说过:“反证法是数学家最精当的武器之一” (3)唯一性命题(2)否定性命题(4)至多,至少型命题准确地作出反设(即否定结论)是非常重要的五、全课总结1、知识小结: 反证法证明的思路:假设命题的结论不成立正确的推理,得出矛盾否定假设,肯定待证明的命题2、难点提示: 利用
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 制药行业创新药物研发与质量控制方案
- 农产品追溯管理系统构建方案
- 农产品产地溯源智能管理平台开发方案
- 医药学基础智慧树知到答案2024年安徽中医药大学
- 稀土金属及其氧化物中非稀土杂质化学分析方法 第11部分:镁含量的测定 火焰原子吸收光谱法 编制说明
- 调料采购服务方案
- 2024年重庆市消防操作员《中级技能-维保方向》科目真题冲刺卷9月份A卷
- 人教部编版八年级语文上册期中专项复习试题含解析(全册)
- 全球SLAM即时定位与地图构建技术行业市场研究报告
- 历史人类学与民族历史学
- 2024年网络安全知识竞赛题库及答案
- 建设期利息估算表
- 反激式变压器设计软件(最实用)
- 某某某供水工程试运行方案
- 乳腺癌中医护理
- 河道清淤淤泥外运施工工艺
- 线切割工艺规程
- 管桁架安装方案[共94页]
- 铭记历史缅怀英雄烈士纪念日课件PPT模板
- 创新设计与实践实训报告基于西门子PLC的送料车自动往返循环控制
- 建筑工程技术专业及专业群 建设方案
评论
0/150
提交评论