《222反证法１.ppt》由会员分享，可在线阅读，更多相关《222反证法１.ppt（12页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、2.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没有撒谎没有撒谎, , 则则C C真真; ;由由A A假假, , 知知B B真真. . 那么假设那么假设“C C没有撒谎没有撒谎”不成立不成立; ;则则C C必定是在撒谎必定是在撒谎. .那么那么A A假且
2、假且B B假假; ;这与这与B B假矛盾假矛盾. .推出矛盾推出矛盾. .推翻假设推翻假设. .原命题成立原命题成立. .分析分析: :由假设由假设 反证法：反证法：假设原命题不成立，假设原命题不成立，经过正确的推理经过正确的推理, ,得出矛盾，得出矛盾，因此说明假设错误因此说明假设错误, ,从而证明原命题成立从而证明原命题成立, ,这样的的证明方法叫这样的的证明方法叫反证法反证法反证法的基本步骤：反证法的基本步骤：四步四步得出矛盾的方法：得出矛盾的方法：（1 1）与已知条件矛盾；）与已知条件矛盾；（2 2）与已有公理、定理、定义矛盾；）与已有公理、定理、定义矛盾； （3 3）自相矛盾。）自相
3、矛盾。应用反证法的情形：应用反证法的情形：(1)(1)直接证明比较困难直接证明比较困难; ; (2) (2)直接证明需分成很多类直接证明需分成很多类, ,而对立命题分类较少而对立命题分类较少; ;（3)3)结论有结论有“至少至少”,“,“至多至多”,“,“有无穷多个有无穷多个”之类字样之类字样（4 4）结论为）结论为 “ “唯一唯一”之类的命题；之类的命题；.例例1.1.已已知知a,b,ca,b,c为为正正数数，求求证证: :111111 a+,b+,c+ a+,b+,c+中中至至少少有有一一个个不不小小于于2 2bcabca解题反思：证明本题时，你是怎么想到反证法的？反设时应注意什么？反证法
4、中归谬是核心步骤，本题中得到的 逻辑矛盾归属哪一类？例2.已知四面体SABC中，SA底面ABC，ABC是锐角三角形，H是点A在面SBC上的射影求证：H不可能是SBC的垂心ABCHDS解题反思：证明该问题的关键是哪一步？本题中得到的逻辑矛盾归属哪一类？例例3 已知已知a0，证：假设方程ax+b = 0(a 0)至少存在两个根，证：假设方程ax+b = 0(a 0)至少存在两个根，1 12 21 12 2不不妨妨设设其其中中的的两两根根分分别别为为x x ，x x 且且x x x x1212则ax = b，ax = b则ax = b，ax = b1212ax = axax = ax1 12 2 a
5、 ax x - -a ax x = = 0 01 12 2 a a（x x - -x x ） = = 0 012121212 x x ，x -x 0 x x ，x -x 0 a = 0 a = 0 与已知a 0矛盾,与已知a 0矛盾,故假设不成立，结论成立。故假设不成立，结论成立。证明：关于证明：关于x的方程的方程ax=b有且只有一个根。有且只有一个根。 例例4 4 求证：求证： 是无理数。是无理数。2 2证：假设 2是有理数，证：假设 2是有理数，m m则则存存在在互互质质的的整整数数m m，n n使使得得2 2 = =，n n m m = =2 2n n2 22 2 m m= = 2 2n
6、 n2 2m m 是是偶偶数数，从从而而m m必必是是偶偶数数，故故设设m m= =2 2k k（k kN N）22222222从而有4k = 2n ，即n = 2k从而有4k = 2n ，即n = 2k2 2n 也是偶数，n 也是偶数，这与m，n互质矛盾！这与m，n互质矛盾！所以假设不成立，2是有理数成立。所以假设不成立，2是有理数成立。解题反思：解题反思：本题中得到的逻辑矛盾归属哪一类？本题中得到的逻辑矛盾归属哪一类？121212122222112211221:若p p = 2(q +q ),证明:关于x的方程1:若p p = 2(q +q ),证明:关于x的方程x +p x+q = 0与
7、x +p x+q = 0中至少有一x +p x+q = 0与x +p x+q = 0中至少有一个有实根.个有实根.2 22 22 22 2: :若若a a, ,b b, ,c c均均为为实实数数, ,且且a a = = x x - -2 2y y+ +, ,2 2b b = = y y - -2 2z z+ +, ,c c = = z z - -2 2x x+ +, ,3 36 6求求证证: :a a, ,b b, ,c c中中至至少少有有一一个个大大于于0 0. .练习：练习：归纳总结：1.哪些命题适宜用反证法加以证明？笼统地说，正面证明繁琐或困难时宜用反证法；具体地讲，当所证命题的结论为否定形式或 含有“至多”、“至少”等不确定词， 此外，“存在性”、“唯一性”问题.2.2.归谬归谬是是“反证法反证法”的核心步骤，归谬的核心步骤，归谬得到的逻辑矛盾，常见的类型有哪些？得到的逻辑矛盾，常见的类型有哪些？ 归谬包括推出的结果与已知定义、公归谬包括推出的结果与已知定义、公理、定理、公式矛盾，或与已知条件、理、定理、公式矛盾，或与已知条件、临时假设矛盾，以及自相矛盾等各种临时假设矛盾，以及自相矛盾等各种情形情形. .