22_间接证明(反证法)(人教A选修1-2)资料.pptVIP

22_间接证明(反证法)(人教A选修1-2)资料.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* * 2.2直接证明与间接证明 2.2.2 反证法 一般地,利用已知条件和某些已经学过的定义、定理、公理等,经过一系列的推理、论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法。 特点:“由因导果” 复习 综合法又叫由因导果法或顺推证法. 1.综合法的定义: 一般地,从要证明的结论出发,逐步寻求推证过程中,使每一步结论成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明的方法叫做分析法. 2.分析法的定义: 分析法又叫执果索因法或叫逆推证法 特点:“执果索因” 思考? 将9个球分别染成红色或白色.那么无论怎样染,至少有5个球是同色的,你能证明这个结论吗? 分析:假设有某种染法使红色球和白色球的个数都不超过4, 则球的总数应不超过4+4=8, 这与球的总数是9矛盾.因此,无论怎样染,至少有5个球是同色的. 把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明 注:反证法是最常见的间接证法, 一般地,假设原命题不成立(即在原命题的条件下,结论不成立), 经过正确的推理, 最后得出矛盾。 因此说明假设错误,从而证明了原命题成立, 这样的证明方法叫做反证法(归谬法)。 理论 否定结论——推出矛盾——肯定结论, 即分三个步骤:反设—归谬—存真 反证法的证明过程: 例1:已知a≠0,证明x的方程ax=b有且只有一个根。 证明:由于a ≠0,因此方程至少有一个根x=b/a, 注:若结论中有且只有(有且仅有),唯一存在等语 句,是唯一性问题,则常用反证法,既要证明存在 性,又要证明唯一性。 ```如果方程不只一个根,不妨设x1,x2 (x1 ≠x2 )是方程的两个根. 三个步骤:反设—归谬—存真 反证法常见的矛盾类型: (1)与假设或已知条件矛盾; (2)与已有公理、定理、定义矛盾; (3)自相矛盾; (4)与客观事实矛盾。 (1)反设——假设命题的结论不成立,即假设 结论的反面成立; (2)归谬——从这个假设出发,经过推理论证, 得出矛盾; (3)存真——由矛盾判定假设不成立,从而肯 定命题的结论成立。 例2:用反证法证明: 如果ab0,那么 说明:常用的正面叙述词语及其否定: 任意两个 至多有n个 都是 否定 否定 所有的 任意的 至少有一个 至多有一个 正面 词语 是 小于 () 大于() 等于 正面 词语 不等于 小于或 等于(≤) 大于或 等于(≥) 不是 不都是 至少有两个 一个也没有 某个 某些 至少有n+1个 某两个 思考: 例5: 已知直线a,b和平面 ,如果 且a∥b,求证:a ∥ a b P 看课本第43页,例8。 我来告诉你 1.存在性问题 2.否定性问题 3.唯一性问题 4.至多、至少类问题 5.一些基本命题、基本定理 哪些问题适宜用反证法 总之,直接证明比较困难的命题 大家议一议!

文档评论(0)

三四五 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档