(全国通用)2019届高考数学大一轮复习 第十三章 推理与证明、算法、复数 13.2 直接证明与间接证明课件_第1页
(全国通用)2019届高考数学大一轮复习 第十三章 推理与证明、算法、复数 13.2 直接证明与间接证明课件_第2页
(全国通用)2019届高考数学大一轮复习 第十三章 推理与证明、算法、复数 13.2 直接证明与间接证明课件_第3页
(全国通用)2019届高考数学大一轮复习 第十三章 推理与证明、算法、复数 13.2 直接证明与间接证明课件_第4页
已阅读5页,还剩72页未读 继续免费阅读

下载本文档

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

文档简介

1、13.2直接证明与间接证明第十三章推理与证明、算法、复数基础知识自主学习课时作业题型分类深度剖析内容索引基础知识自主学习1.直接证明直接证明(1)综合法定义:一般地,利用已知条件和某些数学定义、公理、定理等,经过一系列的 ,最后推导出所要证明的结论成立,这种证明方法叫做综合法.框图表示:(其中P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论).思维过程:由因导果.知识梳理推理论证(2)分析法定义:一般地,从 出发,逐步寻求使它成立的 ,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明方法叫做分析法.框图表示:(其中Q表示要证明的结

2、论).思维过程:执果索因.要证明的结论充分条件2.间接证明间接证明反证法:一般地,假设原命题 (即在原命题的条件下,结论不成立),经过正确的推理,最后得出 ,因此说明假设错误,从而证明 的证明方法.不成立矛盾原命题成立题组一思考辨析题组一思考辨析1.判断下列结论是否正确(请在括号中打“”或“”)(1)综合法是直接证明,分析法是间接证明.()(2)分析法是从要证明的结论出发,逐步寻找使结论成立的充要条件.()(3)用反证法证明结论“ab”时,应假设“aQ B.PQC.PQ2,又P0,Q0,PQ.3.P91B组T2设实数a,b,c成等比数列,非零实数x,y分别为a与b,b与c的等差中项,则 等于

3、A.1 B.2 C.4 D.6答案解析123456123456解析答案题组三易错自纠题组三易错自纠4.若a,b,c为实数,且ab0,则下列命题正确的是 A.ac2abb2123456解析解析a2aba(ab),ab0,ab0,a2ab.又abb2b(ab)0,abb2,由得a2abb2.5.用反证法证明命题:“设a,b为实数,则方程x3axb0至少有一个实根”时,要作的假设是 A.方程x3axb0没有实根B.方程x3axb0至多有一个实根C.方程x3axb0至多有两个实根D.方程x3axb0恰好有两个实根解析答案123456解析解析方程x3axb0至少有一个实根的反面是方程x3axb0没有实根

4、,故选A.解析答案1234566.(2017德州一模)如果A1B1C1的三个内角的余弦值分别等于A2B2C2的三个内角的正弦值,则A2B2C2是_三角形.钝角123456解析解析由条件知,A1B1C1的三个内角的余弦值均大于0,则A1B1C1是锐角三角形,假设A2B2C2是锐角三角形.123456所以A2B2C2是钝角三角形.题型分类深度剖析1.(2018绥化模拟)设a,b,c均为正实数,则三个数A.都大于2 B.都小于2C.至少有一个不大于2 D.至少有一个不小于2题型一综合法的应用自主演练自主演练解析解析a0,b0,c0,当且仅当abc1时,“”成立,故三者不能都小于2,即至少有一个不小于

5、2.解析答案解析答案a0,b0且ab3.(2018武汉月考)若a,b,c是不全相等的正数,求证:证明证明证明a,b,c(0,),由于a,b,c是不全相等的正数,上述三个不等式中等号不能同时成立,上式两边同时取常用对数,得(1)综合法是“由因导果”的证明方法,它是一种从已知到未知(从题设到结论)的逻辑推理方法,即从题设中的已知条件或已证的真实判断(命题)出发,经过一系列中间推理,最后导出所要求证结论的真实性.(2)综合法的逻辑依据是三段论式的演绎推理.思维升华思维升华题型二分析法的应用师生共研师生共研证明所以cos x1cos x20,sin(x1x2)0,1cos(x1x2)0,故只需证明1c

6、os(x1x2)2cos x1cos x2,即证1cos x1cos x2sin x1sin x22cos x1cos x2,即证cos(x1x2)0, 0,1223xx1223xx12332xx1233xx13x23x12332xx1233xx(1)逆向思考是用分析法证题的主要思想,通过反推,逐步寻找使结论成立的充分条件.正确把握转化方向是使问题顺利解决的关键.(2)证明较复杂的问题时,可以采用两头凑的办法,即通过分析法找出某个与结论等价(或充分)的中间结论,然后通过综合法证明这个中间结论,从而使原命题得证.思维升华思维升华证明题型三反证法的应用多维探究多维探究解答命题点命题点1证明否定性命

7、题证明否定性命题典例典例 (2018株州月考)设an是公比为q的等比数列.(1)推导an的前n项和公式;解解设an的前n项和为Sn,则当q1时,Sna1a1a1na1;当q1时,Sna1a1qa1q2a1qn1, qSna1qa1q2a1qn, 得,(1q)Sna1a1qn,(2)设q1,证明:数列an1不是等比数列.证明证明假设an1是等比数列,则对任意的kN*,(ak11)2(ak1)(ak21),证明a10,2qkqk1qk1.q0,q22q10,q1,这与已知矛盾.假设不成立,故an1不是等比数列.命题点命题点2证明存在性命题证明存在性命题典例典例 已知四棱锥SABCD中,底面是边长为

8、1的正方形,又SBSD ,SA1.(1)求证:SA平面ABCD;证明证明由已知得SA2AD2SD2,SAAD.同理SAAB.又ABADA,AB平面ABCD,AD平面ABCD,SA平面ABCD.证明(2)在棱SC上是否存在异于S,C的点F,使得BF平面SAD?若存在,确定F点的位置;若不存在,请说明理由.解解假设在棱SC上存在异于S,C的点F,使得BF平面SAD.BCAD,BC 平面SAD.BC平面SAD.而BCBFB,平面FBC平面SAD.这与平面SBC和平面SAD有公共点S矛盾,假设不成立.不存在这样的点F,使得BF平面SAD.解答命题点命题点3证明唯一性命题证明唯一性命题典例典例 (201

9、8宜昌模拟)已知M是由满足下列条件的函数构成的集合:对任意f(x)M,方程f(x)x0有实数根;函数f(x)的导数f(x)满足0f(x)1.解答解解当x0时,f(0)0,所以方程f(x)x0有实数根0;证明证明假设方程f(x)x0存在两个实数根, (),则f()0,f()0.不妨设,根据题意存在c(,),满足f()f()()f(c).因为f(),f(),且,所以f(c)1.与已知0f(x)1矛盾.又f(x)x0有实数根,所以方程f(x)x0有且只有一个实数根.(2)集合M中的元素f(x)具有下面的性质:若f(x)的定义域为D,则对于任意m,nD,都存在x0(m,n),使得等式f(n)f(m)(

10、nm)f(x0)成立.试用这一性质证明:方程f(x)x0有且只有一个实数根.证明应用反证法证明数学命题,一般有以下几个步骤:第一步:分清命题“pq”的条件和结论;第二步:作出与命题结论q相反的假设 q;第三步:由p和 q出发,应用正确的推理方法,推出矛盾结果;第四步:断定产生矛盾结果的原因在于开始所作的假设 q不真,于是原结论q成立,从而间接地证明了命题pq为真.所说的矛盾结果,通常是指推出的结果与已知公理、已知定义、已知定理或已知事实矛盾,与临时假设矛盾以及自相矛盾等都是矛盾结果.思维升华思维升华跟踪训练跟踪训练 若f(x)的定义域为a,b,值域为a,b(a1,所以b3.解答解得ab,这与已

11、知矛盾.故不存在.典例典例 (12分)(2018衡阳调研)直线ykxm(m0)与椭圆W: y21相交于A,C两点,O是坐标原点.(1)当点B的坐标为(0,1),且四边形OABC为菱形时,求AC的长;(2)当点B在W上且不是W的顶点时,证明:四边形OABC不可能为菱形.反证法在证明题中的应用思想方法思想方法思想方法指导规范解答思想方法指导思想方法指导 在证明否定性命题,存在性命题,唯一性命题时常考虑用反证法证明,应用反证法需注意:(1)掌握反证法的证明思路及证题步骤,正确作出假设是反证法的基础,应用假设是反证法的基本手段,得到矛盾是反证法的目的.(2)当证明的结论和条件联系不明显、直接证明不清晰

12、或正面证明分类较多、而反面情况只有一种或较少时,常采用反证法.(3)利用反证法证明时,一定要回到结论上去.规范解答规范解答(1)解解因为四边形OABC为菱形,则AC与OB相互垂直平分.由于O(0,0),B(0,1),(2)证明证明假设四边形OABC为菱形,因为点B不是W的顶点,且ACOB,所以k0.消y并整理得(14k2)x28kmx4m240. 6分设A(x1,y1),C(x2,y2),则因为M为AC和OB的交点,且m0,k0,所以AC与OB不垂直. 10分所以四边形OABC不是菱形,与假设矛盾.所以当点B在W上且不是W的顶点时,四边形OABC不可能是菱形.12分课时作业A.ABC B.AC

13、BC.BCA D.CBA基础保分练解析答案12345678910111213141516123456789101112131415162.分析法又称执果索因法,若用分析法证明:“设abc,且abc0,求证 ”索的因应是 A.ab0 B.ac0C.(ab)(ac)0 D.(ab)(ac)0解析答案12345678910111213141516 (ac)2ac3a2 a22acc2ac3a20 2a2acc20 (ac)(2ac)0 (ac)(ab)0.3.(2017郑州模拟)设x0,P2x2x,Q(sin xcos x)2,则 A.PQ B.P0,所以P2;又(sin xcos x)21sin

14、2x,而sin 2x1,所以Q2.于是PQ.故选A.解析答案123456789101112131415164.已知p3q32,证明:pq2.用反证法证明时,可假设pq2;若a,bR,|a|b|2,故中的假设错误;对于,其假设正确,故选D.5.若 ,则下列结论不正确的是 A.a2b2 B.abb2C.ab|ab|解析答案12345678910111213141516a2b2,abb2,ab1;ab2;ab2;a2b22;ab1.其中能推出:“a,b中至少有一个大于1”的条件是 A. B.C. D.解析答案12345678910111213141516但a1,b2,故推不出;若a2,b3,则ab1

15、,故推不出;对于,即ab2,则a,b中至少有一个大于1,下面用反证法证明:假设a1且b1,则ab2与ab2矛盾,因此假设不成立,a,b中至少有一个大于1.12345678910111213141516答案123456789101112131415167.用反证法证明命题“a,bR,ab可以被5整除,那么a,b中至少有一个能被5整除”,那么假设的内容是_.a,b都不能被5整除解析答案12345678910111213141516解析答案12345678910111213141516cn1cn解析解析由条件得则cn随n的增大而减小,cn10,则实数p的取值范围是_.技能提升练解析答案1234567

16、8910111213141516解析解析若二次函数f(x)0在区间1,1内恒成立,12345678910111213141516证明12345678910111213141516证明证明由于x1,y1,只需证xy(xy)1yx(xy)2.将上式中的右式减左式,得yx(xy)2xy(xy)1(xy)21xy(xy)(xy)(xy1)(xy1)(xy)(xy1)(xy1)(xyxy1)(xy1)(x1)(y1).12345678910111213141516因为x1,y1,所以(xy1)(x1)(y1)0,从而所要证明的不等式成立.解解当n1时,a1S12a12,则a11.又anSn2,所以an1

17、Sn12,拓展冲刺练1234567891011121314151615.(2018中山模拟)已知数列an的前n项和为Sn,且满足anSn2.(1)求数列an的通项公式;解答证明证明假设存在三项按原来顺序成等差数列,记为ap1,aq1,ar1(pqr,且p,q,rN*),12345678910111213141516(2)求证:数列an中不存在三项按原来顺序成等差数列.证明所以22rq2rp1. (*)又因为pqk)总成立,则称数列an是“P(k)数列”.(1)证明:等差数列an是“P(3)数列”;证明12345678910111213141516证明证明因为an是等差数列,设其公差为d,则ana1(n1)d,从而,当n4时,ankanka1(nk1)da1(nk1)d2a12(n1)d2an,k1,2,3,所以an3an2an1an1an2an36an,因此等差数列an是“P(3)数列”.证明12345678910111213141516(2)若数列an既是“P(2)数列”,又是“P(3

温馨提示

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

评论

0/150

提交评论