222直接证明与间接证明.ppt_第1页
222直接证明与间接证明.ppt_第2页
222直接证明与间接证明.ppt_第3页
222直接证明与间接证明.ppt_第4页
222直接证明与间接证明.ppt_第5页
已阅读5页，还剩13页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、间接证明,前面我们学习了直接证明的两种最基本的方法： 综合法和分析法，其基本特点如下：,反证法(reduction to absurdity)是间接证明的一种基本方法，对于这种方法，我们在日常生活中并不陌生，在我们日常生活中，我们经常不自觉的利用这种方法来解决一些实际问题。,古时候有个人叫王戎，7岁那年的某一天和小伙伴在路边玩，看见一棵李子树上的果实多得把树枝都快压断了，小伙伴们都跑去摘，只有王戎站着没动。他说：“李子是苦的,我不吃。”小伙伴摘来一尝，李子果然苦的没法吃。,路边苦李,小伙伴问王戎:“这就怪了!你又没有吃,怎么知道李子是苦的啊?”,王戎说:“如果李子是甜的,树长在路边,那么李子早

2、就没了！李子现在还那么多,所以啊,肯定李子是苦的!”,例1,如果直接证明，我们基本上是不知道从哪里着手，虽然我们有方法计算它的值，但不可能将它无止境的计算下去，这样做比较麻烦或根本就不可能，那么我们就采用反证法来证明。,反证法：,反证法,1.定义：从命题的反面出发，引出矛盾，从而证明原命题成立，这样的证明方法叫做反证法。,2、反证法的基本思路：只要证明所求证的结论不成立是错误的，从而肯定求证的结论是成立的。,3.反证法证题的基本步骤,假设命题的结论不成立,即假 设结论的反面成立；,从这个假设出发，经过推理论证，得出矛盾；,(3) 由矛盾判定假设不正确， 从而肯定命题的结论正确。,归缪矛盾： （

3、1）与已知条件矛盾； （2）与已有公理、定理、定义矛盾； （3）可能与临时假设矛盾； （4）自相矛盾。,反证法的一般适用情形： （1）结论为否定性命题； （2）结论为“至少”、“至多”类命题； （3）结论为 “唯一”类命题； （4）结论为 “有无穷多个”类命题。,例2(反证法)证明：圆的两条不全是直径的相交弦不能互相平分.,已知：在O中,弦AB、CD交于P，且AB、CD不是直径 求证：弦AB、CD不被P平分。,证明：假设AB，CD相互平分，则四边形ABCD为平行四边形,ACBADB，CADCBD,ABCD为圆内接四边形,ACB +ADB 180，CAD+ CBD180,ACBCAD90,弦AB

4、,CD均为直径，与已知矛盾,AB,CD不可能平分,1、求证：两条直线相交，只有一个交点。,已知：直线 、 相交,求证：直线 、 只有一个交点。,练习,例3,证明:,证明 假设_或_, 由于_时,_, 与 (x-a)(x-b)0矛盾, 又_时,_, 与(x-a)(x-b)0矛盾, 所以_.,x=a,x=b,x=a,(x-a)(x-b)=0,x=b,(x-a)(x-b)=0,x a且x b,2.求证：若(x-a)(x-b)0,则x a且x b.,+条件,结论,“对”,“不对”,新结论,条件,矛盾,成立,直接证明(综合、分析),间接证明(反证法),1、反证法的基本思路,2、反证法的一般步骤,3、反证法是间接证明,4、反证法作

人人文库> 全部分类> 办公材料 > 思想汇报

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论