2023学年习题:反证法_第1页
2023学年习题:反证法_第2页
2023学年习题:反证法_第3页
2023学年习题:反证法_第4页
2023学年习题:反证法_第5页
已阅读5页,还剩2页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

反证法一、选择题1.否定结论“至多有两个解”的说法中,正确的是()A.有一个解B.有两个解C.至少有三个解D.至少有两个解[答案]C[解析]在逻辑中“至多有n个”的否定是“至少有n+1个”,所以“至多有两个解”的否定为“至少有三个解”,故应选C.2.否定“自然数a、b、c中恰有一个偶数”时的正确反设为()A.a、b、c都是奇数B.a、b、c或都是奇数或至少有两个偶数C.a、b、c都是偶数D.a、b、c中至少有两个偶数[答案]B[解析]a,b,c三个数的奇、偶性有以下几种情况:①全是奇数;②有两个奇数,一个偶数;③有一个奇数,两个偶数;④三个偶数.因为要否定②,所以假设应为“全是奇数或至少有两个偶数”.故应选B.3.用反证法证明命题“三角形的内角中至少有一个不大于60°”时,反设正确的是()A.假设三内角都不大于60°B.假设三内角都大于60°C.假设三内角至多有一个大于60°D.假设三内角至多有两个大于60°[答案]B[解析]“至少有一个不大于”的否定是“都大于60°”.故应选B.4.用反证法证明命题:“若整系数一元二次方程ax2+bx+c=0(a≠0)有有理根,那么a,b,c中至少有一个是偶数”时,下列假设正确的是()A.假设a,b,c都是偶数B.假设a、b,c都不是偶数C.假设a,b,c至多有一个偶数D.假设a,b,c至多有两个偶数[答案]B[解析]“至少有一个”反设词应为“没有一个”,也就是说本题应假设为a,b,c都不是偶数.5.命题“△ABC中,若∠A>∠B,则a>b”的结论的否定应该是()A.a<bB.a≤bC.a=bD.a≥b[答案]B[解析]“a>b”的否定应为“a=b或a<b”,即a≤b.故应选B.6.已知a,b是异面直线,直线c平行于直线a,那么c与b的位置关系为()A.一定是异面直线B.一定是相交直线C.不可能是平行直线D.不可能是相交直线[答案]C[解析]假设c∥b,而由c∥a,可得a∥b,这与a,b异面矛盾,故c与b不可能是平行直线.故应选C.7.设a,b,c∈(-∞,0),则三数a+eq\f(1,b),c+eq\f(1,a),b+eq\f(1,c)中()A.都不大于-2B.都不小于-2C.至少有一个不大于-2D.至少有一个不小于-2[答案]C[解析]eq\b\lc\(\rc\)(\a\vs4\al\co1(a+\f(1,b)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(c+\f(1,a)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(b+\f(1,c)))=eq\b\lc\(\rc\)(\a\vs4\al\co1(a+\f(1,a)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(b+\f(1,b)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(c+\f(1,c)))∵a,b,c∈(-∞,0),∴a+eq\f(1,a)=-eq\b\lc\[\rc\](\a\vs4\al\co1(-a+\b\lc\(\rc\)(\a\vs4\al\co1(-\f(1,a)))))≤-2b+eq\f(1,b)=-eq\b\lc\[\rc\](\a\vs4\al\co1(-b+\b\lc\(\rc\)(\a\vs4\al\co1(-\f(1,b)))))≤-2c+eq\f(1,c)=-eq\b\lc\[\rc\](\a\vs4\al\co1(-c+\b\lc\(\rc\)(\a\vs4\al\co1(-\f(1,c)))))≤-2∴eq\b\lc\(\rc\)(\a\vs4\al\co1(a+\f(1,b)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(c+\f(1,a)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(b+\f(1,c)))≤-6∴三数a+eq\f(1,b)、c+eq\f(1,a)、b+eq\f(1,c)中至少有一个不大于-2,故应选C.8.若P是两条异面直线l、m外的任意一点,则()A.过点P有且仅有一条直线与l、m都平行B.过点P有且仅有一条直线与l、m都垂直C.过点P有且仅有一条直线与l、m都相交D.过点P有且仅有一条直线与l、m都异面[答案]B[解析]对于A,若存在直线n,使n∥l且n∥m则有l∥m,与l、m异面矛盾;对于C,过点P与l、m都相交的直线不一定存在,反例如图(l∥α);对于D,过点P与l、m都异面的直线不唯一.9.有甲、乙、丙、丁四位歌手参加比赛,其中只有一位获奖,有人走访了四位歌手,甲说:“是乙或丙获奖”,乙说:“甲、丙都未获奖”,丙说:“我获奖了”,丁说:“是乙获奖了”,四位歌手的话只有两句是对的,则获奖的歌手是()A.甲B.乙C.丙D.丁[答案]C[解析]因为只有一人获奖,所以丙、丁只有一个说对了,同时甲、乙中只有一人说对了,假设乙说的对,这样丙就错了,丁就对了,也就是甲也对了,与甲错矛盾,所以乙说错了,从而知甲、丙对,所以丙为获奖歌手.故应选C.10.已知x1>0,x1≠1且xn+1=eq\f(xn(x\o\al(2,n)+3),3x\o\al(2,n)+1)(n=1,2…),试证“数列{xn}或者对任意正整数n都满足xn<xn+1,或者对任意正整数n都满足xn>xn+1”,当此题用反证法否定结论时,应为()A.对任意的正整数n,都有xn=xn+1B.存在正整数n,使xn=xn+1C.存在正整数n,使xn≥xn+1且xn≤xn-1D.存在正整数n,使(xn-xn-1)(xn-xn+1)≥0[答案]D[解析]命题的结论是“对任意正整数n,数列{xn}是递增数列或是递减数列”,其反设是“存在正整数n,使数列既不是递增数列,也不是递减数列”.故应选D.二、填空题11.命题“任意多面体的面至少有一个是三角形或四边形或五边形”的结论的否定是________.[答案]没有一个是三角形或四边形或五边形[解析]“至少有一个”的否定是“没有一个”.12.用反证法证明命题“a,b∈N,ab可被5整除,那么a,b中至少有一个能被5整除”,那么反设的内容是________________.[答案]a,b都不能被5整除[解析]“至少有一个”的否定是“都不能”.13.用反证法证明命题:“一个三角形中不能有两个直角”的过程归纳为以下三个步骤:①∠A+∠B+∠C=90°+90°+∠C>180°,这与三角形内角和为180°相矛盾,则∠A=∠B=90°不成立;②所以一个三角形中不能有两个直角;③假设∠A,∠B,∠C中有两个角是直角,不妨设∠A=∠B=90°.正确顺序的序号排列为____________.[答案]③①②[解析]由反证法证明的步骤知,先反证即③,再推出矛盾即①,最后作出判断,肯定结论即②,即顺序应为③①②.14.用反证法证明质数有无限多个的过程如下:假设______________.设全体质数为p1、p2、…、pn,令p=p1p2…pn+1.显然,p不含因数p1、p2、…、pn.故p要么是质数,要么含有______________的质因数.这表明,除质数p1、p2、…、pn之外,还有质数,因此原假设不成立.于是,质数有无限多个.[答案]质数只有有限多个除p1、p2、…、pn之外[解析]由反证法的步骤可得.三、解答题15.已知:a+b+c>0,ab+bc+ca>0,abc>0.求证:a>0,b>0,c>0.[证明]用反证法:假设a,b,c不都是正数,由abc>0可知,这三个数中必有两个为负数,一个为正数,不妨设a<0,b<0,c>0,则由a+b+c>0,可得c>-(a+b),又a+b<0,∴c(a+b)<-(a+b)(a+b)ab+c(a+b)<-(a+b)(a+b)+ab即ab+bc+ca<-a2-ab-b2∵a2>0,ab>0,b2>0,∴-a2-ab-b2=-(a2+ab+b2)<0,即ab+bc+ca<0,这与已知ab+bc+ca>0矛盾,所以假设不成立.因此a>0,b>0,c>0成立.16.已知a,b,c∈(0,1).求证:(1-a)b,(1-b)c,(1-c)a不能同时大于eq\f(1,4).[证明]证法1:假设(1-a)b、(1-b)c、(1-c)a都大于eq\f(1,4).∵a、b、c都是小于1的正数,∴1-a、1-b、1-c都是正数.eq\f((1-a)+b,2)≥eq\r((1-a)b)>eq\r(\f(1,4))=eq\f(1,2),同理eq\f((1-b)+c,2)>eq\f(1,2),eq\f((1-c)+a,2)>eq\f(1,2).三式相加,得eq\f((1-a)+b,2)+eq\f((1-b)+c,2)+eq\f((1-c)+a,2)>eq\f(3,2),即eq\f(3,2)>eq\f(3,2),矛盾.所以(1-a)b、(1-b)c、(1-c)a不能都大于eq\f(1,4).证法2:假设三个式子同时大于eq\f(1,4),即(1-a)b>eq\f(1,4),(1-b)c>eq\f(1,4),(1-c)a>eq\f(1,4),三式相乘得(1-a)b(1-b)c(1-c)a>eq\b\lc\(\rc\)(\a\vs4\al\co1(\f(1,4)))3①因为0<a<1,所以0<a(1-a)≤eq\b\lc\(\rc\)(\a\vs4\al\co1(\f(1-a+a,2)))2=eq\f(1,4).同理,0<b(1-b)≤eq\f(1,4),0<c(1-c)≤eq\f(1,4).所以(1-a)a(1-b)b(1-c)c≤eq\b\lc\(\rc\)(\a\vs4\al\co1(\f(1,4)))3.②因为①与②矛盾,所以假设不成立,故原命题成立.17.已知函数f(x)是(-∞,+∞)上的增函数,a,b∈R.(1)若a+b≥0,求证:f(a)+f(b)≥f(-a)+f(-b);(2)判断(1)中命题的逆命题是否成立,并证明你的结论.[解析](1)证明:∵a+b≥0,∴a≥-b.由已知f(x)的单调性得f(a)≥f(-b).又a+b≥0⇒b≥-a⇒f(b)≥f(-a).两式相加即得:f(a)+f(b)≥f(-a)+f(-b).(2)逆命题:f(a)+f(b)≥f(-a)+f(-b)⇒a+b≥0.下面用反证法证之.假设a+b<0,那么:eq\b\lc\\rc\(\a\vs4\al\co1(a+b<0⇒a<-b⇒f(a)<f(-b),a+b<0⇒b<-a⇒f(b)<f(-a)))⇒f(a)+f(b)<f(-a)+f(-b).这与已知矛盾,故只有a+b≥0.逆命题得证.18.(2022·湖北理,20改编)已知数列{bn}的通项公式为bn=eq\f(1,4)eq\b\lc\(\rc\)(\a\vs4\al\co1(\f(2,3)))n-1.求证:数列{bn}中的任意三项不可能成等差数列.[解析]假设数列{bn}存在三项br、bs、bt(r<s<t)按某种顺序成等差数列,由于数列{bn}是首项为eq\f(1,4),公比为eq\f(2,3)的等比数列,于是有bt>bs>br,则只可能有2bs=br+bt成立.∴2·eq\f

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论