2.2.2反证法(2011.3.25).pptVIP

2.2 直接证明与间接证明 2.2.2 反 证 法 * 复习 1.直接证明的两种基本证法： 综合法和分析法 2.这两种基本证法的推证过程和特点： 由因导果 执果索因 3、在实际解题时，两种方法如何运用？ 通常用分析法寻求思路，再由综合法书写过程 综合法 已知条件 结论 分析法 结论 已知条件 路 边 苦 李 王戎7岁时,与小伙伴们外出游玩,看到路边的李树上结满了果子.小伙伴们纷纷去摘取果子,只有王戎站在原地不动.伙伴问他为什么不去摘？ 王戎回答说:“树在道边而多子,此必苦李.”小伙伴摘取一个尝了一下,果然是苦李. 王戎是怎么知 道李子是苦的呢? 他运用了怎样的 推理方法? （1）如果有5只鸽子飞进两只鸽笼，至少有3只鸽子在同一只鸽笼，对吗？ （2）A、B、C三个人，A说B撒谎，B说C撒谎，C 说A、B都撒谎。则C在撒谎吗？为什么？ 分析:假设C没有撒谎, 则A、B都撒谎. 由A撒谎, 知B没有撒谎. 那么假设C没有撒谎不成立, 则C必定是在撒谎. 这与B撒谎矛盾. 思考？ 理论 把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明 注：反证法是最常见的间接证法 一般地，假设原命题不成立（即在原命题的条件下,结论不成立），经过正确的推理，最后得出矛盾, 因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法。 间接证明是不同于直接证明的又一类证明方法. 反证法 归缪矛盾： （1）与已知条件矛盾； （2）与已有公理、定理、定义矛盾； （3）自相矛盾。 一般地，由证明 转向证明 而t与假设矛盾，或与某个真命题矛盾从而判定q的否定 为假，推出q为真的方法，叫做反证法 对任何x， 不成立 对所有x,成立 任意的 等于 至多有n个 小于 至少有n个 大于 至多有一个 都是 至少有一个 是 否定词 原词语 否定词 原词语 准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式. ? 不是 不都是 不大于 不小于 一个也没有 至少有两个 至多有（n-1)个 至少有（n+1)个 存在某个x，不成立 存在某个x, 成立 不等于 某个 例1： 例题 反证法的证明过程： 否定结论——推出矛盾——肯定结论， 即分三个步骤：反设—归谬—存真 反设——假设命题的结论不成立； 即假定原命题的反面为真； 存真——由矛盾结果，断定反设不成立，从而 肯定原结论成立。 归谬——从假设出发，经过一系列正确的 推理,得出矛盾； 否定结论 导致矛盾 反设不成立 原结论成立 反设 归 谬 存真 用反证法证明命题的过程用框图表示为： 用反证法证明：圆的两条不是直径的相交弦不能互相平分。 已知：如图，在⊙O中，弦AB、CD交于点P，且AB、CD不是直径.求证：弦AB、CD不被P平分. 例 2 证明： 假设弦AB、CD被P平分， 连结 AD、BD、BC、AC, D P O B A C 因为弦AB、CD被P点平分，所以四边形ABCD是平行四边形 所以 因为 ABCD为圆内接四边形 所以 因此 所以，对角线AB、CD均为直径， 这与已知条件矛盾，即假设不成立 所以，弦AB、CD不被P平分。 用反证法证明：圆的两条不是直径的相交弦不能互相平分。 已知：如图，在⊙O中，弦AB、CD交于点P，且AB、CD不是直径.求证：弦AB、CD不被P平分. P O B A D C 例 2 由于P点一定不是圆心O，连结OP，根据垂径定理的推论，有 所以，弦AB、CD不被P平分。 证明： 假设弦AB、CD被P平分， 即过点P有两条直线与OP都垂直， 这与垂线性质矛盾，即假设不成立 证法二 OP⊥AB，OP⊥CD， 例3： 例4 求证： 是无理数。 例5 已知a≠0，证明x的方程ax=b有且只有一个根。 证：由于a ≠0，因此方程至少有一个根x=b/a， 注:结论中的有且只有(有且仅有)形式出现, 是唯一性问题,常用反证法 ``` 如果方程不只一个根，不妨设x1,x2 （x1 ≠x2 )是方程的两个根. 练习1.设0 a, b, c 1， 求证:(1 ? a)b, (1 ? b)c, (1 ? c)a,不可能同时大于1/4 则三式相乘:(1?a)b?(1?b)c?(1?c)a 又∵0 a, b, c 1 ∴ 同理： 以上三式相乘:(1 ? a)a?(1 ? b)b?(1 ? c)c≤ 与①矛盾