高中数学第一章推理与证明3反证法教材基础北师大版选修2-2资_第1页
高中数学第一章推理与证明3反证法教材基础北师大版选修2-2资_第2页
高中数学第一章推理与证明3反证法教材基础北师大版选修2-2资_第3页
高中数学第一章推理与证明3反证法教材基础北师大版选修2-2资_第4页
全文预览已结束

下载本文档

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

文档简介

1、§3 反证法反证法是一种间接证明的方法 , 它是通过证明原命题的否定的真实性来确立原论题的真 实性的证明方法 , 在应用反证法证明问题的过程中以找它的逆否命题然后推出矛盾为根本 . 本节内容就开始学习反证法 .高手支招 1细品教材1. 间接证明间接证明是不同于直接证明的又一类证明方法 , 不是直接从原命题的条件逐步推得命题成立 的方法 .反证法就是一种常用的间接证明方法 .2. 反证法(1概念 :假定命题结论的反面成立 . 在这个前提下 , 若推出的结果与定义、公理、定理矛盾 , 或与命题中的已知条件相矛盾 , 或与假定相矛盾 , 从而断定命题结论的反面不可能成立 , 由此 断定命题

2、的结论成立 . 这样的证明方法叫做反证法 (有时也叫归谬法 .(2形式 :由证明 p q 转向证明 :q r t,t 与假设或与某个真命题矛盾 , q 为假 , 推出 q 为真 .状元笔记反证法的证明过程可以概括为“否定推理否定”,即从否定结论开始 , 经过正 确的推理 , 导致逻辑矛盾 , 从而达到新的否定 (即肯定原命题 的过程 . 用反证法证明命题“若 p 则 q”的过程可以用框图表示为: 3. 反证法的证题步骤包括以下三个步骤 :(1作出否定结论的假设 (反设 假设命题的结论不成立 , 即假定原命题的反面为真 ;(2逐步推理 , 导出矛盾 (归谬 从假设和已知条件出发 , 经过一系列正

3、确的逻辑推理 , 得 出矛盾结果 ;(3否定假设 , 肯定结论 (存真 由矛盾结果 , 断定假设不真 , 从而肯定原结论成立 .【示例】 p >0,q >0,p 3+q 3=2. 试用反证法证明 :p+q2.思路分析:此题直接由条件推证 p +q2是较困难的 , 由此用反证法证之 .证明:假设 p +q >2,p>0,q >0,(p+q 3=p 3+3p 2q +3pq 2+q 3>8.又p 3+q 3=2, 代入上式得 :3pq(p+q >6, 即 pq(p+q >2.又由 p 3+q 3=2, 得 (p+q(p2-pq +q 2 =2.由得p

4、q(p+q >(p+q(p2-pq +q 2,p+q >0.pq>p 2-pq +q 2p 2-2pq +q 2<0(p-q2<0.但这与 (p-q20相矛盾.假设 p +q >2不成立 . 故 p +q2.状元笔记归谬矛盾的几种情况 :(1与已知条件矛盾 ;(2与已有公理、 定理、 定义矛盾 ;(3自相矛 盾 ;(4与客观事实矛盾 .4. 反证法的适用情况(1结论以否定形式出现 ;(2结论以“至多”“至少”形式出现 ;(3唯一性、存在性问题 ;(4结论的反面是比原结论更具体,更容易研究的命题 .高手支招 2基础整理本节的内容主要讲述了反证法的概念、形式及其证明

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

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

最新文档

评论

0/150

提交评论