搜索
2.2.2反证法复习1.直接证明的两种基本证法：综合法和分析法2.这两种基本证法的推证过程和特点：由因导果执果索因3、在实际解题时，两种方法如何运用？通常用分析法寻求思路，再由综合法书写过程综合法已知条件结论分析法结论已知条件路边苦李王戎7岁时,与小伙伴们外出游玩,看到路边的李树上结满了果子.小伙伴们纷纷去摘取果子,只有王戎站在原地不动…王戎回答说:“树在道边而多子,此必苦李.”小伙伴摘取一个尝了一下果然是苦李.王戎是怎样知道李子是苦的呢?他运用了怎样的推理方法?王戎的推理方法是:假设李子不苦,则因树在“道”边,李子早就被别人采摘,这与“多子”产生矛盾.所以假设不成立,李为苦李.发生在身边的例子:妈妈:小华,听说邻居小芳全家这几天在外地旅游.小华:不可能,我上午还在学校碰到了她和她妈妈呢!上述对话中,小华要告诉妈妈的命题是什么?他是如何推断该命题的正确性的?小芳全家没外出旅游.小芳全家没外出旅游.假设小芳全家外出旅游,那么今天不可能碰到小芳,与上午在学校碰到小芳和她妈妈矛盾,所以假设不成立,所以小芳全家没有外出旅游.把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明注：反证法是最常见的间接证法，同一法也是一种间接证法.一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾。因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法。理论•反证法的证明过程：否定结论——推出矛盾——肯定结论，即分三个步骤：反设—归谬—存真反设——假设命题的结论不成立；存真——由矛盾结果，断定反设不成立，从而肯定原结论成立。归谬——从假设出发，经过一系列正确的推理，````````得出矛盾；用反证法证明命题的过程用框图表示为：肯定条件否定结论导致逻辑矛盾反设不成立结论成立常用的互为否定的表述方式：至少有一个——至少有三个——至少有n个——最多有一个——一个也没有至多有两个至多有(n-1)个至少有两个≥1＜1≥3＜3≥n＜n≤1＞1原词语否定词原词语否定词等于任意的是至少有一个都是至多有一个大于至少有n个小于至多有n个对所有x,成立对任何x，不成立准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式.不是不都是不大于大于或等于一个也没有至少有两个至多有（n-1)个至少有（n+1)个存在某x，不成立存在某x,成立不等于某个例1：已知：一个整数的平方能被2整除，求证：这个数是偶数。证明：假设a不是偶数，则a是奇数，不妨设a=2n+1(n是整数)∴a2=(2n+1)2=4n2+4n+1=4n(n+1)+1∴a2是奇数，与已知矛盾。∴假设不成立，所以a是偶数。注：直接证明难以下手的命题，改变其思维方向，从进行反面思考，问题可能解决得十分干脆。例题例2：求证：不可能成等差数列5,3,2注：否定型命题(命题的结论是“不可能……”，“不能表示为……”，“不是……”，“不存在……”，“不等于……”，“不具有某种性质”等)常用反证法解题反思：•证明本题时，你是怎么想到反证法的？•反证法中归谬是核心步骤，本题中得到的逻辑矛盾是什么？例3已知a≠0，证明x的方程ax=b有且只有一个根。12则ax=b，ax=b12∴ax=ax12∴ax-ax=012∴a（x-x）=0∵a≠012120,即∴x-xx=x12与xx矛盾故假设不成立，结论成立。证：由于a≠0，因此方程至少有一个根x=b/a，注:结论中的有且只有(有且仅有)形式出现,是唯一性问题,常用反证法```如果方程不只一个根，不妨设x1,x2（x1≠x2)是方程的两个根./4///abababa已知直线，和平面，如果，，且，求证例：apb归纳总结：三个步骤：反设—归谬—存真归缪矛盾：（1）与已知条件矛盾；（2）与已有公理、定理、定义矛盾；（3）自相矛盾。一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾。因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法。（1）直接证明有困难正难则反!归纳总结：哪些命题适宜用反证法加以证明？牛顿曾经说过：“反证法是数学家最精当的武器之一”（3）唯一性命题（2）否定性命题（4）至多，至少型命题唐·吉诃德悖论小说《唐·吉诃德》里描写过一个国家．它有一条奇怪的法律：每一个旅游者都要回答一个问题。问，你来这里做什么？如果旅游者回答对了。一切都好办。如果回答错了，他就要被绞死。一天，有个旅游者回答——旅游者：我来这里是要被绞死。这时，卫兵慌了神，如果他们不把这人绞死，他就说错了，就得受绞刑。可是，如果他们绞死他，他就说对了，就不应该绞死他。为了做出决断，旅游者被送到国王那里。苦苦想了好久，国王才说——国王：不管我做出什么决定，都肯定要破坏这条法律。我们还是宽大为怀算了，让这个人自由吧。趣味数学推理与证明推理证明合情推理演绎推理直接证明间接证明类比推理归纳推理分析法综合法反证法知识结构例1用反证法证明：如果ab0，那么ab证：假设ab不成立，则a≤b若a=b，则a=b,与已知ab矛盾,若ab，则ab,与已知ab矛盾,故假设不成立，结论ab成立。注：直接证明难以下手的命题，改变其思维方向，从结论入手进行反面思考，问题可能解决得十分干脆。补充例题