高二数学反证法.ppt

《高二数学反证法.ppt》由会员分享，可在线阅读，更多相关《高二数学反证法.ppt（25页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、2.2.2 2.2.2 反证法反证法直接证明：直接证明：(1)综合法综合法(2)分析法分析法由因导果由因导果执果索因执果索因得到一个明显得到一个明显成立的结论成立的结论P Q1Q1 Q2Q2 Q3Qn Q 将将9 9个球分别染成红色或白色。那么个球分别染成红色或白色。那么无论怎样染，至少有无论怎样染，至少有5 5个球是同色的。你个球是同色的。你能证明这个结论吗？能证明这个结论吗？引例引例1：间接证明：间接证明：不是直接从原命题的条件逐步不是直接从原命题的条件逐步推得命题成立的证明方法。推得命题成立的证明方法。反证法反证法是一种常用的是一种常用的间接证明间接证明的方法。的方法。反证法：反证法：假

2、设命题结论的反面成立，经过正确的假设命题结论的反面成立，经过正确的推理推理,引出矛盾，因此说明假设错误引出矛盾，因此说明假设错误,从而从而证明原命题成立证明原命题成立,这样的的证明方法叫反这样的的证明方法叫反证法。证法。反证法的思维方法：反证法的思维方法：正难则反正难则反 一般地，假设原命题不成立，一般地，假设原命题不成立，经过正确的经过正确的推理，推理，最后得出矛盾。最后得出矛盾。因此说明假设错因此说明假设错误，从而证明了原命题成立，误，从而证明了原命题成立，这样的证明这样的证明方法叫做方法叫做反证法反证法（归谬法）。（归谬法）。其过程包括：其过程包括：反设反设假设命题的结论不成立；假设命题

3、的结论不成立；存真存真由矛盾结果，断定反设不真，从由矛盾结果，断定反设不真，从而肯定原结论成立。而肯定原结论成立。归谬归谬从假设出发，经过一系列正确的从假设出发，经过一系列正确的推理，得出推理，得出矛盾矛盾；归缪矛盾：归缪矛盾：（1 1）与已知条件）与已知条件矛盾矛盾；（2 2）与已有公理、定理、定义）与已有公理、定理、定义矛盾；矛盾；（3 3）自相矛盾。）自相矛盾。例例1 1 已知已知a0a0，证明，证明x x的方程的方程ax=bax=b有且只有一个根。有且只有一个根。应用反证法的情形：应用反证法的情形：(1)(1)直接证明困难直接证明困难;(2)(2)需分成很多类进行讨论需分成很多类进行讨

4、论（3)3)结论为结论为“至少至少”、“至多至多”、“有无穷有无穷多个多个”-类命题；类命题；（4 4）结论为）结论为 “唯一唯一”类命题；类命题；正难则反正难则反!常见否定用语常见否定用语是是不是不是 有有没有没有等等不等不等 成立成立不成立不成立都是都是不都是，即至少有一个不是不都是，即至少有一个不是都有都有不都有，即至少有一个没有不都有，即至少有一个没有都不是都不是部分或全部是，即至少有一个是部分或全部是，即至少有一个是唯一唯一至少有两个至少有两个至少有一个有（是）至少有一个有（是）全部没有（不是）全部没有（不是）至少有一个不至少有一个不全部都全部都P P例例3 3：证明：圆的两条不全是

5、直径的相交：证明：圆的两条不全是直径的相交弦不能互相平分弦不能互相平分.已知：在已知：在O O中中,弦弦ABAB、CDCD相交于相交于P P，且，且ABAB、CDCD不全是直径不全是直径 求证：求证：ABAB、CDCD不能互相平分。不能互相平分。A AB BC CD DO O用反证法证明：圆的两条不是直径用反证法证明：圆的两条不是直径的相交弦不能互相平分。的相交弦不能互相平分。已知已知：如图，在：如图，在 O中，弦中，弦AB、CD交于点交于点P，且，且AB、CD不是直径不是直径.求求证：证：弦弦AB、CD不被不被P平分平分.例例 1 1证明：证明：假设弦假设弦AB、CD被被P平分平分，连结连结

6、 AD、BD、BC、AC,DPOBAC因为弦因为弦AB、CD被被P点平分，所以四边形点平分，所以四边形ACBD是平行四边形是平行四边形所以所以因为因为 ABCD为圆内接四边形为圆内接四边形所以所以因此因此所以，对角线所以，对角线AB、CD均为直径，均为直径，这与已知条件矛盾，即假设不成立这与已知条件矛盾，即假设不成立所以，弦所以，弦AB、CD不被不被P平分。平分。用反证法证明：圆的两条不是直径用反证法证明：圆的两条不是直径的相交弦不能互相平分。的相交弦不能互相平分。已知已知：如图，在：如图，在 O中，弦中，弦AB、CD交于点交于点P，且，且AB、CD不是直径不是直径.求求证：证：弦弦AB、CD

7、不被不被P平分平分.POBADC例例 1 1由于由于P点点一定不是圆心一定不是圆心O，连结连结OP，根据垂径定理的推论，有根据垂径定理的推论，有所以，弦所以，弦AB、CD不被不被P平分。平分。证明：证明：假设弦假设弦AB、CD被被P平分，平分，即过点即过点P有两条直线与有两条直线与OP都垂直，都垂直，这与垂线性质矛盾，即假设不成立这与垂线性质矛盾，即假设不成立证法二证法二OPAB，OPCD，演练反馈演练反馈2 2、平面内有四个点，没有三点共线，、平面内有四个点，没有三点共线，、平面内有四个点，没有三点共线，、平面内有四个点，没有三点共线，证明：以任意三个点为顶点的三角形不可能都是锐角三角形证明

8、：以任意三个点为顶点的三角形不可能都是锐角三角形证明：以任意三个点为顶点的三角形不可能都是锐角三角形证明：以任意三个点为顶点的三角形不可能都是锐角三角形证明：假设以任意三个点为顶点的三角形都是锐角三角形。记四个 点为A、B、C、D。考虑点D在 之内或之外两种情况。(1)如果点D在 之内，根据假设，DABC都为锐角三角形所以这与一个周角为这与一个周角为360矛盾。矛盾。演练反馈演练反馈2 2、平面内有四个点，没有三点共线，、平面内有四个点，没有三点共线，、平面内有四个点，没有三点共线，、平面内有四个点，没有三点共线，证明：以任意三个点为顶点的三角形不可能都是锐角三角形证明：以任意三个点为顶点的三

9、角形不可能都是锐角三角形证明：以任意三个点为顶点的三角形不可能都是锐角三角形证明：以任意三个点为顶点的三角形不可能都是锐角三角形(1)如果点D在 之外，根据假设，ADBC都是锐角三角形，即这与四边形内角和矛盾。这与四边形内角和矛盾。所以，综上所述，假设不成立，从而题目结论成立所以，综上所述，假设不成立，从而题目结论成立。即这些三角形不可能都为锐角三角形。即这些三角形不可能都为锐角三角形。总结提炼总结提炼1 1.用反证法证明命题的一般步骤是什么用反证法证明命题的一般步骤是什么?用反证法在归谬中所导出的矛盾可以用反证法在归谬中所导出的矛盾可以是与题设矛盾是与题设矛盾,与假设矛盾与假设矛盾,与已知定

10、义、与已知定义、公理、定理矛盾，自相矛盾等公理、定理矛盾，自相矛盾等反设反设 归谬归谬 结论结论2.用反证法证题用反证法证题,矛盾的主要类型有哪些矛盾的主要类型有哪些?推理推理 合情推理合情推理 演绎推理演绎推理（归纳、类比）（归纳、类比）（三段论）（三段论）证明证明 直接证明直接证明 间接证明间接证明（分析法、综合法）（分析法、综合法）（反证法）（反证法）数学数学公理化思想公理化思想例例1 1：用反证法证明：用反证法证明：如果如果ab0ab0，那么，那么 例例4 4 求证：求证：是无理数。是无理数。思考？思考？A A、B B、C C三个人，三个人，A A说说B B撒谎，撒谎，B B说说C C

11、撒谎，撒谎，C C说说A A、B B都撒谎。则都撒谎。则C C必定必定是在撒谎，为什么？是在撒谎，为什么？分析分析:假设假设C没有撒谎没有撒谎,则则C真真.-那么那么A假且假且B假假;由由A A假假,知知B B真真.这与这与B B假矛盾假矛盾.那么那么假设假设C C没有撒谎不成立没有撒谎不成立;则则C C必定是在撒谎必定是在撒谎.思考题思考题:甲、乙、丙三箱共有小球甲、乙、丙三箱共有小球384384个个,先先由甲箱取出若干放进乙、丙两箱内由甲箱取出若干放进乙、丙两箱内,所放个所放个数分别为乙、丙箱内原有个数数分别为乙、丙箱内原有个数,继而由乙箱继而由乙箱取出若干个球放进甲、丙两箱内取出若干个球放进甲、丙两箱内,最后由丙最后由丙箱取出若干个球放进甲、乙两箱内箱取出若干个球放进甲、乙两箱内,方法同方法同前前.结果三箱内的小球数恰好相等结果三箱内的小球数恰好相等.求甲、乙、求甲、乙、丙三箱原有小球数丙三箱原有小球数甲甲:208:208个个,乙乙:112:112个个,丙丙:64:64个个