- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
【创新设计】高中数学新人教A版选修2-2课件:第二章 推理与证明2.2.2反证法
第二章 §2.2 直接证明与间接证明 1.了解反证法是间接证明的一种方法. 2.理解反证法的思考过程,会用反证法证明数学问题. 学习目标 栏目索引 知识梳理 自主学习 题型探究 重点突破 当堂检测 自查自纠 知识梳理 自主学习 知识点一 间接证明 答案 间接 不是直接从原命题的条件逐步推得命题成立,像这种不是直接证明的方法通常称为 证明. 常见的间接证明的方法是 . 反证法 知识点二 反证法 答案 不成立 1.反证法定义 假设原命题 ,经过正确的推理,最后得出矛盾,因此说明 ,从而证明了 ,这种证明方法叫做反证法. 2.反证法常见的矛盾类型 反证法的关键是在正确的推理下得出矛盾. 这个矛盾可以是与 矛盾,或与 矛盾,或与__________ 矛盾等. 假设错误 原命题成立 已知条件 假设 定义、公理、 定理、事实 答案 3.反证法中常用的“结论词”与“反设词”如下: 结论词 至少有一个 __________ 至少有n个 至多有__个 反设词 ___________ (不存在) 至少有两个 至多有 _______个 至少有 (n+1)个 结论词 只有一个 对所有x成立 对______x不成立 反设词 没有或至少 有两个 存在______x 不成立 存在某个x成立 结论词 都是 ________ p或q p__ q 反设词 _______ 不一定是 綈p__綈q 綈p或綈q 至多有一个 n 一个也没有 (n-1) 任意 某个 一定是 且 不都是 且 思考 (1)有人说反证法就是通过证明逆否命题来证明原命题,这种说法对吗?为什么? 答案 这种说法是错误的,反证法是先否定命题,然后再证明命题的否定是错误的,从而肯定原命题正确,不是通过逆否命题证题. 命题的否定与原命题是对立的,原命题正确,其命题的否定一定不对. (2)反证法主要适用于什么情形? 答案 要证的结论与条件之间的联系不明显,直接由条件推出结论的线索不够清晰;如果从正面证明,需要分成多种情形进行分类讨论,而从反面进行证明,只要研究一种或很少的几种情形. 返回 答案 题型探究 重点突破 题型一 用反证法证明结论否定的问题 解析答案 反思与感悟 例1 如图所示,AB,CD为圆的两条相交弦,且不全为直径,求证:AB,CD不能互相平分. 反思与感悟 证明 连接AC,CB,BD,DA,假设AB,CD互相平分, 则四边形ACBD为平行四边形, ∴∠ACB=∠ADB,∠CAD=∠CBD. ∵四边形ACBD为圆的内接四边形, ∴∠ACB+∠ADB=180°,∠CAD+∠CBD=180°, ∴∠ACB=90°,∠CAD=90°, ∴对角线AB,CD均为圆的直径,与已知条件矛盾, ∴AB,CD不能互相平分. 反思与感悟 对于结论否定型命题,正面证明需要考虑的情况很多,过程烦琐且容易遗漏,故可以考虑采用反证法.一般当题目中含有“不可能”“都不”“没有”等否定性词语时,宜采用反证法证明. 跟踪训练1 已知正整数a,b,c满足a2+b2=c2.求证a,b,c不可能都是奇数. 解析答案 证明 假设a,b,c都是奇数, 则a2,b2,c2都是奇数. 左边=奇数+奇数=偶数, 右边=奇数,得偶数=奇数,矛盾. ∴假设不成立,∴a,b,c不可能都是奇数. 题型二 用反证法证明唯一性问题 解析答案 例2 用反证法证明:过已知直线a外一点A只有一条直线b与已知直线a平行. 证明 假设过点A还有一条直线b′与已知直线a平行, 即b∩b′=A,b′∥a,又b∥a, 由平行公理知b′∥b. 这与b∩b′=A矛盾,故假设错误, 所以过已知直线a外一点A只有一条直线b与已知直线a平行. 反思与感悟 证明“唯一性”问题的方法:“唯一性”包含“有一个”和“除了这个没有另外一个”两层意思.证明后一层意思时,采用直接证法往往会相当困难,因此一般情况下都采用间接证法,即用反证法(假设“有另外一个”,推出矛盾)或同一法(假设“有另外一个”,推出它就是“已知那一个”)证明,而用
您可能关注的文档
- 【创新设计】-高中数学苏教版选修1-2配套课件:2.1.1 合情推理.ppt
- 【创新设计】-高中数学人教A版选修1-2【配套课件】:3章末.ppt
- 【创新设计】-高中数学苏教版选修1-2配套课件:2.1.3 推理案例赏析.ppt
- 【创新设计】-高中数学人教A版选修1-2【配套课件】:4章末.ppt
- 【创新设计】-高中数学苏教版选修1-2配套课件:2.2.2 间接证明 .ppt
- 【创新设计】-高中数学苏教版选修1-2配套课件:3.1 数系的扩充 .ppt
- 【创新设计】-高中数学苏教版选修1-2配套课件:3.2.1 复数加、减法与乘法的运算法则.ppt
- 【创新设计】-高中数学苏教版选修1-2配套课件:3.2.2 复数的乘方及除法运算 .ppt
- 【创新设计】-高中数学苏教版选修1-2配套课件:3.3 复数的几何意义.ppt
- 【创新设计】高一数学人教B版必修4课件:1.1.1 角的概念的推广.ppt
- 数据仓库:Redshift:Redshift与BI工具集成.docx
- 数据仓库:Redshift:数据仓库原理与设计.docx
- 数据仓库:Snowflake:数据仓库成本控制与Snowflake定价策略.docx
- 大数据基础:大数据概述:大数据处理框架MapReduce.docx
- 实时计算:GoogleDataflow服务架构解析.docx
- 分布式存储系统:HDFS与MapReduce集成教程.docx
- 实时计算:Azure Stream Analytics:数据流窗口与聚合操作.docx
- 实时计算:Kafka Streams:Kafka Streams架构与原理.docx
- 实时计算:Kafka Streams:Kafka Streams连接器开发与使用.docx
- 数据仓库:BigQuery:BigQuery数据分区与索引优化.docx
文档评论(0)