《三反证法与放缩法(精品).ppt》由会员分享,可在线阅读,更多相关《三反证法与放缩法(精品).ppt(16页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、2.3反证法与放缩法反证法与放缩法复习复习1.1.直接证明的两种基本证法:直接证明的两种基本证法:综合法和分析法综合法和分析法2.2.这两种基本证法的推证过程和特点:这两种基本证法的推证过程和特点:由因导果由因导果执果索因执果索因3 3、在实际解题时,两种方法如何运用?、在实际解题时,两种方法如何运用?通常用分析法通常用分析法寻求思路寻求思路,再由综合法,再由综合法书写过程书写过程综合法综合法已知条件已知条件结论结论分析法分析法结论结论 已知条件已知条件(1 1)如果有)如果有5 5只鸽子飞进两只鸽笼,至少有只鸽子飞进两只鸽笼,至少有3 3只只 鸽子在同一只鸽笼,对吗?鸽子在同一只鸽笼,对吗?
2、(2 2)A A、B B、C C三个人,三个人,A A说说B B撒谎,撒谎,B B说说C C撒谎,撒谎,C C 说说A A、B B都撒谎。则都撒谎。则C C在撒谎吗?为什么?在撒谎吗?为什么?分析分析:假设假设C C没有撒谎没有撒谎,则则A A、B B都撒谎都撒谎.由由A A撒谎撒谎,知知B B没有没有撒谎撒谎.那么那么假设假设C C没有撒谎不成立没有撒谎不成立,则则C C必定是在撒谎必定是在撒谎.这与这与B B撒谎矛盾撒谎矛盾.思考?思考?把这种不是直接从原命题的条件逐步把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为推得命题成立的证明方法称为间接证明间接证明注:反证法注:反证法是
3、最常见的是最常见的间接证法间接证法.一般地,假设原命题不成立(即在原命题的条件一般地,假设原命题不成立(即在原命题的条件下,结论不成立),下,结论不成立),经过正确的推理,经过正确的推理,最后得出矛盾。最后得出矛盾。因此说明假设错误,从而证明了原命题成立,因此说明假设错误,从而证明了原命题成立,这样的这样的证明方法叫做证明方法叫做反证法反证法。理论理论反证法的证明过程:反证法的证明过程:否定结论否定结论推出矛盾推出矛盾肯定结论,肯定结论,即分三个步骤:即分三个步骤:反设反设归谬归谬存真存真反设反设假设命题的结论不成立;假设命题的结论不成立;存真存真由矛盾结果,断定反设不成立,从而由矛盾结果,断
4、定反设不成立,从而 肯定原结论成立。肯定原结论成立。归谬归谬从假设出发,经过一系列正确的推理,从假设出发,经过一系列正确的推理,得出得出矛盾矛盾;用反证法证明命题的过程用框图表示为:用反证法证明命题的过程用框图表示为:肯定条件肯定条件否定结论否定结论导导 致致逻辑矛盾逻辑矛盾反设反设 不成立不成立结论结论成立成立例例1 1:已知:一个整数的平方能被已知:一个整数的平方能被2 2整除,整除,求证:这个数是偶数。求证:这个数是偶数。证明:假设证明:假设a a不是偶数,不是偶数,则则a a是奇数,不妨设是奇数,不妨设a=2n+1(na=2n+1(n是整数是整数)a a2 2=(2n+1)=(2n+1
5、)2 2=4n=4n2 2+4n+1=4n(n+1)+1+4n+1=4n(n+1)+1 a a2 2是奇数,与已知矛盾。是奇数,与已知矛盾。假设不成立,所以假设不成立,所以a a是偶数。是偶数。注:注:直接证明难以下手的命题直接证明难以下手的命题,改变其思维方向,从,改变其思维方向,从进行反面思考,问题可能解决得十分干脆。进行反面思考,问题可能解决得十分干脆。例题例题例例2 2:不可能成等差数列不可能成等差数列注:注:否定型命题否定型命题(命题的结论是命题的结论是“不可能不可能”,“不能表示为不能表示为”,“不是不是”,“不存在不存在”,“不等于不等于”,“不具有某种性质不具有某种性质”等等)
6、常用反常用反证法证法练习:练习:例例3 3:已知已知x0,y0 x0,y0,x+y2x+y2,求证:求证:中至少有一个小于中至少有一个小于2 2。分析:分析:所谓至少有一个所谓至少有一个,就是不可能没有就是不可能没有,要证要证“至少有一个至少有一个”只要证明它的反面只要证明它的反面“所有都所有都”不成不成立即可立即可.注注:“至少至少”、“至多至多”型命题型命题常用反证法常用反证法 在证明不等式时在证明不等式时,有时我们要把所证不有时我们要把所证不等式的一边适当地等式的一边适当地放大放大(或或缩小缩小)以利化简以利化简,并使它与不等式的另一边的不等并使它与不等式的另一边的不等关系更为关系更为明
7、显明显,从而得到欲证不等式成立从而得到欲证不等式成立.这种方法这种方法称为称为放缩法放缩法.它是证明不等式的常用方法它是证明不等式的常用方法.放缩法的理论放缩法的理论依据依据是是不等式的传递性不等式的传递性:ab,bc ab0ab0,那么,那么归纳总结:归纳总结:三个步骤:三个步骤:反设反设归谬归谬存真存真归缪矛盾:归缪矛盾:(1 1)与已知条件矛盾;)与已知条件矛盾;(2 2)与已有公理、定理、定义矛盾;)与已有公理、定理、定义矛盾;(3 3)自相矛盾。)自相矛盾。一般地,假设原命题不成立(即在原命题的条件一般地,假设原命题不成立(即在原命题的条件下,结论不成立),下,结论不成立),经过正确的推理,经过正确的推理,最后得出矛盾。最后得出矛盾。因此说明假设错误,从而证明了原命题成立,因此说明假设错误,从而证明了原命题成立,这样的这样的证明方法叫做证明方法叫做反证法反证法。(1)直接证明有困难)直接证明有困难正难则反正难则反!归纳总结:归纳总结:哪些命题适宜用反证法加以证明?哪些命题适宜用反证法加以证明?牛顿曾经说过:牛顿曾经说过:“反证法是数学家最精确的武器之一反证法是数学家最精确的武器之一”(3)唯一性命题)唯一性命题(2)否定性命题)否定性命题(4)至多,至少型命题)至多,至少型命题
限制150内