陕西省高中数学-第一章-推理与证明 反证法教材解读素材 北师大版选修2-2.docVIP

陕西省高中数学-第一章-推理与证明 反证法教材解读素材 北师大版选修2-2.doc

  1. 1、本文档共3页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
陕西省高中数学-第一章-推理与证明 反证法教材解读素材 北师大版选修2-2.doc

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

您可能关注的文档

文档评论(0)

jiqinyu2015 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档