网站大量收购独家精品文档,联系QQ:2885784924

【初中竞赛资料】全国初中数学竞赛辅导(初3)第21讲-反证法.pdf

【初中竞赛资料】全国初中数学竞赛辅导(初3)第21讲-反证法.pdf

此“教育”领域文档为创作者个人分享资料,不作为权威性指导和指引,仅供参考
  1. 1、本文档共6页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多

【初中竞赛资料】全国初中数学竞赛辅导(初3)第21讲-反证法

第二十一讲反证法

判断一个命题是否正确,既可以直接证明,又可以间接证明.反证法

就是一种间接证明的推理方法,它的推理思路是首先提出反设——在已知

条件下,暂时否定待证结论,提出与结论相反的假设;其次,推出矛盾——

从反设出发,结合已知条件,通过严密推证,导出与已知公理、定理、定义

或题设相矛盾的结果;然后,肯定结论——出现矛盾,因为是否定结论”

的结果,所以反设”不成立,从而肯定命题是正确的.

一般地,待证命题的结论中出现至多”、至少”、相等”、不等”

、存在”、不存在”、唯一”、不唯一”、有理”、无理”等断

语时,常可考虑用反证法.实际上,反证法适用于证明任何问题,只不过有

时简捷,有时复杂就是了.

例1在同一平面内,平行于同一直线的两条不同直线必定平行.

已知:(如图3-120)直线a,b,c中,a∥c,b∥c.

求证:a∥b.证(1)提出反设:假定ab.

(2)推出矛盾:由于ab,那么a,b必相交于一点,设为P.因为

a∥c,b∥c,那么过P点有a,b两条直线同时平行于c,与平行公理矛盾.

(3)肯定结论:由(2)可知假设ab错误,所以a∥b.

说明(1)本题证明中,利用平行与相交”互为否定.

(2)本题证明中,写出了(1)提出反设;(2)推出矛盾;(3)肯定结论”,

目的是使读者体会反证法的论证步骤,在实际证明时,不必写出这三个小

标题,直接写出反证法的证明过程即可.

例2如图3-121.在△ABC中,∠A的外角平分线与BC的延长线交

于E,求证:AB>AC.

第1页共6页

【初中竞赛资料】全国初中数学竞赛辅导(初3)第21讲-反证法

分析AB>AC的否定是AB≤AC,而AB≤AC只有两种情况:AB=AC和

AB<AC.以下就根据这两种情况推出矛盾.

证(1)若AB=AC,则∠B=∠3.又∠1=∠2,所以

所以AE∥BE,此与AE与BC交于E矛盾,所以AB≠AC.

(2)若AB<AC,则∠B>∠3,所以2∠B>∠B+∠3.又

∠B+∠3=∠1+∠2,∠1=∠2,所以∠B+∠3=2∠1,所以2∠B>2∠1,所以

∠B>∠1.此与外角定理∠B<∠1相矛盾,所以ABAC.

由(1),(2)得AB>AC.

说明本题结论的否定出现两种情况,即AB=AC和AB<AC.利用反证

法证明时,必须对原结论否定得彻底,即把原结论的所有可能方面一一否

定后,分别推出矛盾,最后才能肯定待证结论的正确性.

22

例3求证:当x+bx+c=0有两个不相等的非零实数根时,必有

bc≠0.

22

分析这个命题的条件是:如果x+bx+c=0有两个不相等的非零实数

根,结论是:那么bc≠0.而bC≠0的否定是bc=0,而bc=0有三种情况:

(1)b=0,C=0;(2)b=0,c≠0;(3)b≠0,c=0.

证假设bc=0.

222

(1)若b=0,c=0,方程变为x=0,那么x=x=0是方程x+bx+c=0的根,

12

这与已知条件中方程有两个不相等的非零实数根矛盾.

222222

(2)若b=0,c≠0,方程变为x+c=0,则x+c≠0,与x+bx+c=0矛盾.

2

(3)若b≠0,c=0,方程变为x+bx=0,方程根为x=0,x=-b这与条件中

文档评论(0)

gdfgjfg + 关注
实名认证
内容提供者

Protel平台绘图员持证人

付费阅读后,再购买,只需补差价。

领域认证该用户于2024年01月30日上传了Protel平台绘图员

1亿VIP精品文档

相关文档