版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
学必求其心得,业必贵于专精学必求其心得,业必贵于专精PAGE13-学必求其心得,业必贵于专精2.2。2反证法学习目标核心素养1.了解反证法是间接证明的一种基本方法.2.理解反证法的思考过程,会用反证法证明数学问题.(重点、难点)通过反证法证明数学问题的学习,提升学生的逻辑推理、数学抽象素养.一、反证法一般地,由证明p⇒q转向证明¬q⇒r⇒…⇒t,t与假设矛盾,或与某个真命题矛盾,从而判定¬q为假,推出q为真的方法,叫做反证法.二、反证法常见的矛盾类型反证法的关键是在正确的推理下得出矛盾.这个矛盾主要是指:(1)与假设矛盾;(2)与数学公理、定理、公式、定义或已被证明了的结论矛盾;(3)与公认的简单事实矛盾.1.判断(正确的打“√”,错误的打“×”)(1)反证法属于间接证明问题的方法. ()(2)反证法的证明过程既可以是合情推理也可以是一种演绎推理. ()(3)反证法推出的矛盾不能与已知相矛盾. ()[解析](1)正确.反证法其实是证明其逆否命题成立,所以它属于间接证明问题的方法.(2)错误.反证法从证明过程看是一种严谨的演绎推理.(3)错误.反证法推出的矛盾可以与已知相矛盾.[答案](1)√(2)×(3)×2.用反证法证明命题:“三角形的内角中至少有一个不大于60°”,假设正确的是()A.假设三个内角都不大于60°B.假设三个内角都大于60°C.假设三个内角至多有一个大于60°D.假设三个内角至多有两个大于60°[解析]根据反证法的定义,假设是对原命题结论的否定,故假设三个内角都大于60°.[答案]B3.用反证法证明“若x2-1=0,则x=-1或x=1”时,应假设__________.[解析]“x=-1或x=1”的否定是“x≠-1且x≠1".[答案]x≠-1且x≠1用反证法证明否定性命题【例1】等差数列{an}的前n项和为Sn,a1=1+eq\r(2),S3=9+3eq\r(2)。(1)求数列{an}的通项an与前n项和Sn;(2)设bn=eq\f(Sn,n)(n∈N*),求证:数列{bn}中任意不同的三项都不可能成为等比数列.[思路探究]第(1)问应用an=a1+(n-1)d和Sn=na1+eq\f(1,2)n(n-1)d两式求解.第(2)问先假设存在三项bp,bq,br成等比数列,再用反证法证明.[解](1)设等差数列{an}的公差为d,由已知得eq\b\lc\{\rc\(\a\vs4\al\co1(a1=\r(2)+1,,3a1+3d=9+3\r(2),))∴d=2,故an=2n-1+eq\r(2),Sn=n(n+eq\r(2)).(2)证明:由(1)得bn=eq\f(Sn,n)=n+eq\r(2)。假设数列{bn}中存在三项bp,bq,br(p,q,r∈N*互不相等)成等比数列,则beq\o\al(2,q)=bpbr,即(q+eq\r(2))2=(p+eq\r(2))(r+eq\r(2)),∴(q2-pr)+(2q-p-r)eq\r(2)=0.∵p,q,r∈N*,∴eq\b\lc\{\rc\(\a\vs4\al\co1(q2-pr=0,,2q-p-r=0,))∴eq\b\lc\(\rc\)(\a\vs4\al\co1(\f(p+r,2)))eq\s\up20(2)=pr,(p-r)2=0,∴p=r,这与p≠r矛盾.所以数列{bn}中任意不同的三项都不可能成为等比数列.1.当结论中含有“不"“不是"“不可能”“不存在”等词语的命题,此类问题的反面比较具体,适合应用反证法.例如证明异面直线,可以假设共面,再把假设作为已知条件推导出矛盾.2.反证法必须从否定结论进行推理,即应把结论的反面作为条件,且必须根据这一条件进行推证,否则,仅否定结论,不从结论的反面出发进行推理,就不是反证法.3.常见否定词语的否定形式如下表所示:否定词语否定词语的否定形式没有有不大于大于不等于等于不存在存在1.已知方程f(x)=ax+eq\f(x-2,x+1)(a>1),证明:方程f(x)=0没有负数根.[证明]假设x0是方程f(x)=0的负数根,则x0〈0,x0≠-1且ax0+eq\f(x0-2,x0+1)=0,所以ax0=-eq\f(x0-2,x0+1)。又当x0〈0时,0〈ax0〈1,故0<-eq\f(x0-2,x0+1)<1,即0〈-1+eq\f(3,x0+1)〈1,1〈eq\f(3,x0+1)〈2,解得eq\f(1,2)〈x0〈2。这与x0<0矛盾,所以假设不成立,故方程f(x)=0没有负数根.用反证法证明“至多"“至少”问题【例2】已知x,y,z均大于零,求证:x+eq\f(4,y),y+eq\f(4,z),z+eq\f(4,x)这三个数中至少有一个不小于4。[思路探究]本题中含有“至少",不宜直接证明,故可采用反证法证明.[解]假设x+eq\f(4,y),y+eq\f(4,z),z+eq\f(4,x)都小于4,即x+eq\f(4,y)<4,y+eq\f(4,z)〈4,z+eq\f(4,x)<4,于是得eq\b\lc\(\rc\)(\a\vs4\al\co1(x+\f(4,y)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(y+\f(4,z)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(z+\f(4,x)))〈12,而eq\b\lc\(\rc\)(\a\vs4\al\co1(x+\f(4,y)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(y+\f(4,z)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(z+\f(4,x)))=eq\b\lc\(\rc\)(\a\vs4\al\co1(x+\f(4,x)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(y+\f(4,y)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(z+\f(4,z)))≥2eq\r(x·\f(4,x))+2eq\r(y·\f(4,y))+2eq\r(z·\f(4,z))=12,这与eq\b\lc\(\rc\)(\a\vs4\al\co1(x+\f(4,y)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(y+\f(4,z)))+eq\b\lc\(\rc\)(\a\vs4\al\co1(z+\f(4,x)))〈12矛盾,因此假设错误,即x+eq\f(4,y),y+eq\f(4,z),z+eq\f(4,x)中至少有一个不小于4.1.用反证法证明“至少”“至多"型命题,可减少讨论情况,目标明确.否定结论时需弄清楚结论的否定是什么,避免出现错误.2.用反证法证明“至多、至少"问题时常见的“结论词”与“反设词”如下:结论词反设词结论词反设词至少有一个一个也没有对所有x成立存在某个x0不成立至多有一个至少有两个对任意x不成立存在某个x0成立至少有n个至多有n-1个p或q¬p且¬q至多有n个至少有n+1个p且q¬p或¬q2.若x>0,y〉0,且x+y〉2,求证:eq\f(1+y,x)与eq\f(1+x,y)至少有一个小于2。[证明]假设eq\f(1+y,x)与eq\f(1+x,y)都不小于2,即eq\f(1+y,x)≥2,eq\f(1+x,y)≥2。∵x>0,y〉0,∴1+y≥2x,1+x≥2y,两式相加得2+(x+y)≥2(x+y).∴x+y≤2,这与已知中x+y〉2矛盾.∴假设不成立,原命题成立.故eq\f(1+y,x)与eq\f(1+x,y)至少有一个小于2。用反证法证明“唯一性”命题[探究问题]1.用反证法证明数学命题的步骤是什么?[提示](1)反设:假设命题的结论不成立,即假定原结论的反面为真.(2)归谬:从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾的结果.(3)存真:由矛盾的结果断定反设不真,从而肯定原结论成立.2.如何证明两条相交直线有且只有一个交点?[提示]假设两条直线a,b不只有一个交点,则至少有两个交点A和B,这样同时经过点A,B的直线就有两条,这与“经过两点有且只有一条直线”相矛盾.所以两条相交直线有且只有一个交点.【例3】已知一点A和平面α.求证:经过点A只能有一条直线和平面α垂直.[思路探究][解]根据点A和平面α的位置关系,分两种情况证明.(1)如图①,点A在平面α内,假设经过点A至少有平面α的两条垂线AB,AC,那么AB,AC是两条相交直线,它们确定一个平面β,平面β和平面α相交于经过点A的一条直线a。因为AB⊥平面α,AC⊥平面α,a⊂α,所以AB⊥a,AC⊥a,在平面β内经过点A有两条直线都和直线a垂直,这与平面几何中经过直线上一点只能有已知直线的一条垂线相矛盾.图①(2)如图②,点A在平面α外,假设经过点A至少有平面α的两条垂线AB和AC(B,C为垂足),那么AB,AC是两条相交直线,它们确定一个平面β,平面β和平面α相交于直线BC,因为AB⊥平面α,AC⊥平面α,BC⊂α,所以AB⊥BC,AC⊥BC。图②在平面β内经过点A有两条直线都和BC垂直,这与平面几何中经过直线外一点只能有已知直线的一条垂线相矛盾.综上,经过一点A只能有一条直线和平面α垂直.证明“有且只有一个”的问题,需要证明两个命题,即存在性和唯一性.当证明结论以“有且只有”“只有一个”“唯一存在”等形式出现的命题时,由于反设结论易于导出矛盾,所以用反证法证其唯一性就较简单明了.3.若函数f(x)在区间[a,b]上的图象连续不断,且f(a)〈0,f(b)〉0,且f(x)在[a,b]上单调递增,求证:f(x)在(a,b)内有且只有一个零点.[证明]由于f(x)在[a,b]上的图象连续不断,且f(a)<0,f(b)〉0,即f(a)·f(b)〈0,所以f(x)在(a,b)内至少存在一个零点,设零点为m,则f(m)=0,假设f(x)在(a,b)内还存在另一个零点n,即f(n)=0,则n≠m.若n〉m,则f(n)>f(m),即0>0,矛盾;若n<m,则f(n)<f(m),即0<0,矛盾.因此假设不正确,即f(x)在(a,b)内有且只有一个零点.1.应用反证法推出矛盾的推理过程中可作为条件使用的是()①结论的否定;②已知条件;③公理、定理、定义等;④原结论.A.①② B.②③C.①②③ D.①②④[解析]根据反证法的基本思想,应用反证法推出矛盾的推导过程中可把“结论的否定”“已知条件”“公理、定理、定义"等作为条件使用.[答案]C2.实数a,b,c不全为0等价于()A.a,b,c均不为0B.a,b,c中至多有一个为0C.a,b,c中至少有一个为0D.a,b,c中至少有一个不为0[解析]不全为0即至少有一个不为0,故选D.[答案]D3.命题“△ABC中,若A〉B,则a>b”的结论的否定应该是()A.a〈b B.a≤bC.a=b D.a≥b[解析]“大于”的否定是“不大于”,即“小于或等于”,故选B.[答案]B4.用反证法证明某命题时,对某结论:“自然数a,b,c中无偶数”,正确的假设为________.[解析]a,b,c中无偶数,即a,b,c都是奇数,反设应是“a,b,c中至少有一个偶数”.[答案]
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 二零二五年度城市民宿租赁合同示范文本2篇
- 矿井急救培训方案
- 二零二五版房屋收购与附带家具家电合同6篇
- 路桥路面改造施工方案
- 二零二五版离婚程序指导及双方自愿协议合同3篇
- 二零二五年度城市基础设施建设外协合同申请与验收办法3篇
- 二零二五版学生校外住宿安全协议与住宿合同违约赔偿合同3篇
- 二零二五年度奢侈品退换货标准协议模板3篇
- 银行高层装修方案
- 二零二五年度教育机构校园装修工程协议书2篇
- 煤矿反三违培训课件
- 向流程设计要效率
- 安全文明施工的管理要点
- 2024年中国航空发动机集团招聘笔试参考题库含答案解析
- 当代中外公司治理典型案例剖析(中科院研究生课件)
- GMP-基础知识培训
- 动力管道设计手册-第2版
- 2022年重庆市中考物理试卷A卷(附答案)
- Python绘图库Turtle详解(含丰富示例)
- 煤矿机电设备检修技术规范完整版
- 榆林200MWp并网光伏发电项目可行性研究报告
评论
0/150
提交评论