还剩1页未读,继续阅读
文本内容:
www.ks5u.com《反证法》教材解读
一、重点知识梳理反证法(间接证明)是不同于综合法与分析法(直接证明)的又一种证明方法,它不是从原命题的条件逐步推得命题成立反证法就是一种常用的间接证明方法反证法的证明过程可以概括为“否定—推理—否定”,即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题)的过程用反证法证明“若p则q”的过程可以用以下框图表示这个过程包括下面三个步骤
(1)反设——假设命题的结论不成立,即假定原结论的反面为真;
(2)归谬——从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;
(3)存真——由矛盾结果,断定反设不真,从而肯定原结论成立说明
1、反证法的原理否定之否定等于肯定
2、反证法的实质原命题和它的逆否命题是等价命题
二、疑、难点解析利用反证法证明不等式,如何依据题设条件和不等式的结论制造矛盾是本节内容的一个难点例
1、若、,且,求证与至少有一个小于证明假设与均不小于,即,且∵、,∴且∴,∴这与已知相矛盾∴假设不成立,故原命题正确点评证明的结论中若有“至多”“至少”等字词时,常可以考虑用反证法解决注意
(1)利用反证法证明时,第一步“假设”不要写成“设”
(2)应用反证法证题要充分理解两个否定第一个否定是指“否定结论”;第二个否定是指“逻辑推理结果否定了假设”例
2、已知函数试用反证法证明方程fx=0没有负数根证法1假设存在满足,则∵∴,即与假设矛盾,故方程fx=0没有负数根证法2假设存在满足,
①若,则,∴,这与矛盾;
②若,则,∴,这与矛盾故方程fx=0没有负数根点评命题中含有否定词时,常用反证法注意
(1)由以上证明过程可以看出,用反证法证明问题时,推出矛盾的途径多种多样一定要明确矛盾的所在,不可稀里糊涂总之无论是在日常生活中还是在数学中,都经常应用反证法.而且对于处理正面复杂性问题、至多至少性问题、否定性问题、唯一性问题、存在性问题以及无理性问题等,反证法都具有特殊的优越性反证法的证题过程其实是证明原命题“若p则q”的否定“若p则¬q”是错误的我们在学习反证法时会出现两方面的困难1“否定结论”部分,把握不清结论的“反”是什么使用反证法证明问题时,准确地做出反设(即否定结论)是正确运用反证法的前提,常用的“结论词”与“反设词”列表如下词语等于大于小于都是一定是至少有一个至少n个至多一个至多n个只有一个P或qP且q对所有x成立词语的否定不等于小于等于大于等于不都是一定不是一个也没有至多n-1个至少两个至少n+1个没有或至少有两个¬P且¬q¬P或¬q存在某个x不成立
2、“导出矛盾”部分,有时与已知条件相矛盾;有时与假设相矛盾;而有时又是与某个定义、公理、定理或事实相矛盾,还有的是自相矛盾.因此我们有时弄不明白究竟是与什么矛盾.肯定条件p否定结论q导致逻辑矛盾“若p则q”为真“p且┐q”为假。