陕西吴堡吴堡中学高中数学第三章推理与证明反证法名师点拨课件北师大选修_第1页
陕西吴堡吴堡中学高中数学第三章推理与证明反证法名师点拨课件北师大选修_第2页
陕西吴堡吴堡中学高中数学第三章推理与证明反证法名师点拨课件北师大选修_第3页
免费预览已结束，剩余10页可下载查看

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1间接证明不是从正面论证命题的真实性，而是通过证明它的等价命题，间接地达到证明的目的，最常见的间接证明是反证法,2间接论证的应用，有一定困难因为在间接证明过程中，不得不暂时离开所讨论的论题，引进许多补充的材料(如结论的反面等)，致使全部过程复杂化但这种方法我们务必学会，因为在学习中，时常会遇到这样的命题，当时并无直接证明它的论据，必须用间接法来证明它的真实性,1反证法的原理反证法的原理是“否定之否定等于肯定”反证法的主要依据是逻辑中的排中律排中律的一般表现形式是：或者是A，或者是非A，即在同一讨论过程中，A和非A有一个且仅有一个是对的不能有第三种情形出现,2反证法证题的一般步骤(1)假设：假设所要证明的结论不成立，即假设结论的反面成立；(2)归谬：从假设出发，经过推理论证，得出矛盾，这是反证法的核心，在推理论证的过程中要有意识地制造矛盾和发现矛盾,反证法可以证明的命题范围相当广泛如：唯一性问题，无限性问题，肯定性问题，否定性问题，存在性问题，不等式问题，等式问题，函数问题，整除问题，几何问题等常见的基本题型是：(1)一些基本定理；(2)“否定性”命题；(3)“唯一性”命题；(4)“必然性”命题；(5)“至少”、“至多”命题,常见的“结论词”与“反设词”归纳如下：,1如果待证命题的相反判断有多种不同情况，需对各种不同情况一一导出矛盾，加以否定，才能使原判断得到充分肯定2有些待证命题的相反判断虽然只有一种情况，但在证明过程中有必要进行分类，首先要求分类必须详尽无遗漏，并且就各类一一导出矛盾,3有些待证命题的相反判断是断言一个对象在某一范围内恒有某种属性，对此只要我们能够在该范围内举一特例导出矛盾，即可予以否定，从而达到证明的目的4用直接法证明几何问题时，所画的图形应力求准确，但反证法恰好相反，我们往往故意画出不正确的甚至不可能存在的图形，才便于探索导出矛盾的途径5有些命题在证明过程中，可以连续运用反证法，即反证法中套反证法,已知实数p满足不等式(2p1)(p2)0，用反证法证明：关于x的方程x22x5p20无实根,【错因】利用反证法进行证明时，首先对所要证明的结论进行否定性的假设，并以此为条件进行归谬，得到矛盾，则原命题成立即反
人人文库> 全部分类> 教育资料 > 中学教育

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论