欢迎来到天天文库
浏览记录
ID:10178119
大小:83.00 KB
页数:5页
时间:2018-06-12
《高中数学选修1-2常考题型:反证法》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、反证法【知识梳理】1.反证法假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这种证明方法叫做反证法.2.反证法常见的矛盾类型反证法的关键是在正确的推理下得出矛盾,这个矛盾可以是与已知条件矛盾,或与假设矛盾,或与定义、公理、定理、事实矛盾等.【常考题型】题型一、用反证法证明否定性命题【例1】 设函数f(x)=ax2+bx+c(a≠0)中,a,b,c均为整数,且f(0),f(1)均为奇数.求证:f(x)=0无整数根.[证明] 假设f(x)=0有整数根n,则an2+bn+c=0(n∈Z),
2、而f(0),f(1)均为奇数,即c为奇数,a+b为偶数,则an2+bn=-c为奇数,即n(an+b)为奇数.∴n,an+b均为奇数,又∵a+b为偶数,∴an-a为奇数,即a(n-1)为奇数,∴n-1为奇数,这与n为奇数矛盾.∴f(x)=0无整数根.【类题通法】1.用反证法证明否定性命题的适用类型一般地,当题目中含有“不可能”“都不”“没有”等否定性词语时,宜采用反证法证明.2.反证法的一般步骤用反证法证明命题时,要从否定结论开始,经过正确的推理,导出逻辑矛盾,从而达到新的否定(即肯定原命题)的过程.这个过程包括下面三个步骤:(1)反设——假设命题的结论不成
3、立,即假设原结论的反面为真;(2)归谬——由“反设”作为条件,经过一系列正确的推理,得出矛盾;(3)存真——由矛盾结果断定反设错误,从而肯定原结论成立.即反证法的证明过程可以概括为:反设——归谬——存真.【对点训练】设a,b,c,d∈R,且ad-bc=1,求证:a2+b2+c2+d2+ab+cd≠1.证明:假设a2+b2+c2+d2+ab+cd=1.因为ad-bc=1,所以a2+b2+c2+d2+ab+cd+bc-ad=0,即(a+b)2+(c+d)2+(a-d)2+(b+c)2=0,所以a+b=0,c+d=0,a-d=0,b+c=0,则a=b=c=d=0
4、,这与已知条件ad-bc=1矛盾.故假设不成立,所以a2+b2+c2+d2+ab+cd≠1.题型二、用反证法证明唯一性命题【例2】 已知:一点A和平面α.求证:经过点A只能有一条直线和平面α垂直.[证明] 根据点A和平面α的位置关系,分两种情况证明.(1)如图,点A在平面α内,假设经过点A至少有平面α的两条垂线AB,AC,那么AB,AC是两条相交直线,它们确定一个平面β,平面β和平面α相交于经过点A的一条直线a.因为AB⊥平面α,AC⊥平面α,a⊂α,所以AB⊥a,AC⊥a,在平面β内经过点A有两条直线都和直线a垂直,这与平面几何中经过直线上一点只能有已知
5、直线的一条垂线相矛盾.(2)如图,点A在平面α外,假设经过点A至少有平面α的两条垂线AB,AC(B,C为垂足),那么AB,AC是两条相交直线,它们确定一个平面β,平面β和平面α相交于直线BC,因为AB⊥平面α,AC⊥平面α,BC⊂α,所以AB⊥BC,AC⊥BC.在平面β内经过点A有两条直线都和BC垂直,这与平面几何中经过直线外一点只能有已知直线的一条垂线相矛盾.综上,经过一点A只能有平面α的一条垂线.【类题通法】用反证法证明唯一性命题的适用类型(1)当证明结论是“有且只有”“只有一个”“唯一”等形式的命题时,由于反设结论易于导出矛盾,所以用反证法证明唯一性
6、比较简单.(2)证明“有且只有一个”的问题,需要证明两个方面,即存在性问题和唯一性问题两个方面.【对点训练】用反证法证明:过已知直线a外一点A有且只有一条直线b与已知直线a平行.证明:由两条直线平行的定义可知,过点A至少有一条直线与直线a平行.假设过点A还有一条直线b′与已知直线a平行,即b∩b′=A,b′∥a.因为b∥a,由平行公理知b′∥b.这与假设b∩b′=A矛盾,所以假设错误,原命题成立.题型三、用反证法证明“至少”“至多”等存在性命题【例3】 已知a1+a2+a3+a4>100,求证:a1,a2,a3,a4中至少有一个数大于25.[证明] 假设a
7、1,a2,a3,a4均不大于25,即a1≤25,a2≤25,a3≤25,a4≤25,则a1+a2+a3+a4≤25+25+25+25=100,这与已知a1+a2+a3+a4>100矛盾,故假设错误.所以a1,a2,a3,a4中至少有一个数大于25.【类题通法】常见“结论词”与“反设词”原结论词至少有一个至多有一个至少有n个至多有n个反设词一个也没有(不存在)至少有两个至多有(n+1)个至少有(n-1)个原结论词只有一个对所有x成立对任意x不成立反设词没有或至少有两个存在某个x不成立存在某个x成立原结论词都是一定是p或qp且q反设词不都是不一定是p且qp或q
8、【对点训练】已知函数y=f(x)在区间(a,b)上是增函数.求证:
此文档下载收益归作者所有