- 1、本文档共17页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
2.2.2反证法84054.ppt
2.2 直接证明与间接证明 2.2.2 反 证 法 * * 复习 1.直接证明的两种基本证法: 综合法和分析法 2.这两种基本证法的推证过程和特点: 由因导果 执果索因 3、在实际解题时,两种方法如何运用? 通常用分析法寻求思路,再由综合法书写过程 综合法 已知条件 结论 分析法 结论 已知条件 (1)如果有5只鸽子飞进两只鸽笼,至少有3只鸽子在同一只鸽笼,对吗? (2)A、B、C三个人,A说B撒谎,B说C撒谎,C 说A、B都撒谎。则C在撒谎吗?为什么? 分析:假设C没有撒谎, 则A、B都撒谎. 由A撒谎, 知B没有撒谎. 那么假设C没有撒谎不成立, 则C必定是在撒谎. 这与B撒谎矛盾. 思考? 把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明 注:反证法是最常见的间接证法, 一般地,假设原命题不成立(即在原命题的条件下,结论不成立), 经过正确的推理, 最后得出矛盾。 因此说明假设错误,从而证明了原命题成立, 这样的证明方法叫做反证法。 理论 例1:已知:整数a的平方能被2整除, 求证:a是偶数。 证明:假设a不是偶数, 则a是奇数,不妨设a=2n+1(n是整数) ∴a2=(2n+1)2=4n2+4n+1=4n(n+1)+1 ∴a2是奇数,与已知矛盾。 ∴假设不成立,所以a是偶数。 注:直接证明难以下手的命题,改变其思维方向,从反面进行思考,问题可能解决得十分干脆。 例题 反证法的证明过程: 否定结论——推出矛盾——肯定结论, 即分三个步骤:反设—归谬—存真 反设——假设命题的结论不成立; 存真——由矛盾结果,断定反设不成立,从而 肯定原结论成立。 归谬——从假设出发,经过一系列正确的推理, ````````得出矛盾; 用反证法证明命题的过程用框图表示为: 肯定条件 否定结论 导 致 逻辑矛盾 反设 不成立 结论 成立 用反证法证明:圆的两条不是直径的相交弦不能互相平分。 已知:如图,在⊙O中,弦AB、CD交于点P,且AB、CD不是直径.求证:弦AB、CD不被P平分. 例 2 证明: 假设弦AB、CD被P平分, 连结 AD、BD、BC、AC, D P O B A C 因为弦AB、CD被P点平分,所以四边形ABCD是平行四边形 所以 因为 ABCD为圆内接四边形 所以 因此 所以,对角线AB、CD均为直径, 这与已知条件矛盾,即假设不成立 所以,弦AB、CD不被P平分。 用反证法证明:圆的两条不是直径的相交弦不能互相平分。 已知:如图,在⊙O中,弦AB、CD交于点P,且AB、CD不是直径.求证:弦AB、CD不被P平分. P O B A D C 例 2 由于P点一定不是圆心O,连结OP,根据垂径定理的推论,有 所以,弦AB、CD不被P平分。 证明: 假设弦AB、CD被P平分, 即过点P有两条直线与OP都垂直, 这与垂线性质矛盾,即假设不成立 证法二 OP⊥AB,OP⊥CD, 练习: 例3 已知a≠0,证明x的方程ax=b有且只有一个根。 证:由于a ≠0,因此方程至少有一个根x=b/a, 注:结论中的有且只有(有且仅有)形式出现, 是唯一性问题,常用反证法 ``` 如果方程不只一个根,不妨设x1,x2 (x1 ≠x2 )是方程的两个根. 例4:已知x0,y0,x+y2, 求证: 中至少有一个小于2。 分析:所谓至少有一个,就是不可能没有,要证“至少有一个”只要证明它的反面“所有都”不成立即可. 注:“至少”、“至多” 型命题常用反证法 归纳总结: 三个步骤:反设—归谬—存真 归缪矛盾: (1)与已知条件矛盾; (2)与已有公理、定理、定义矛盾; (3)自相矛盾。 一般地,假设原命题不成立(即在原命题的条件下,结论不成立), 经过正确的推理, 最后得出矛盾。 因此说明假设错误,从而证明了原命题成立, 这样的证明方法叫做反证法。 (1)直接证明有困难 正难则反! 归纳总结: 哪些命题适宜用反证法加以证明? 牛顿曾经说过:“反证法是数学家最精当的武器之一” (3)唯一性命题 (2)否定性命题 (4)至多,至少型命题 * *
您可能关注的文档
- (P68)例1:1000以内数的认识.ppt
- (R)营销人员素质1.ppt
- (一)河南省2013年普通高中学生地理学业水平考试.doc
- (一)潮州音乐.doc
- (一)语音识记(谌晗).ppt
- (三)文言翻译.ppt
- (三)破坏耕地类违法案件行政处罚指南.doc
- (上海)高中历史_第五分册_第27—28课_资本主义经济危机和罗斯福新政【免费】.ppt
- (上课用)第16课血肉筑长城(教案).doc
- (专题报道一).doc
- 数据仓库: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)