2018版最新高三数学一轮复习 第十一章 复数、算法、推理与证明 第四节 直接证明与间接证明课件 文.pptVIP

教材研读 考点突破 栏目索引 教材研读 考点突破 栏目索引 教材研读 考点突破 栏目索引 教材研读 考点突破 栏目索引 教材研读 考点突破 栏目索引 教材研读 考点突破 栏目索引 文数 课标版 第四节　直接证明与间接证明 内容 综合法 分析法 定义 利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论①　成立???? 从要证明的结论出发,逐步寻求使它成立的②　充分????条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止 实质 由因导果 执果索因 框图表示 P?Q1→Q1?Q2→Q2?Q3→…→Qn?Q Q?P1→P1?P2→P2?P3→…→得到一个明显成立的条件 文字语言 因为……所以…… 或由……得…… 要证……只需证……即证…… 1.直接证明 教材研读 2.间接证明 间接证明是不同于直接证明的又一类证明方法,反证法是一种常用的间接证明方法. (1)反证法的定义:假设原命题③　不成立????(即在原命题的条件下,结论不成立),经过正确的推理,最后得出④　矛盾????,因此说明假设错误,从而证明⑤　原命题成立????的证明方法. (2)用反证法证明的一般步骤:(i)反设——假设命题的结论不成立;(ii)归谬——根据假设进行推理,直到推出矛盾为止;(iii)结论——断言假设不成立,从而肯定原命题的结论成立. 判断下列结论的正误(正确的打“√”,错误的打“×”) (1)综合法是直接证明,分析法是间接证明.?(×) (2)分析法是从要证明的结论出发,逐步寻找使结论成立的必要条件.? (×) (3)反证法是将条件和结论同时否定,推出矛盾.?(×) (4)用反证法证明结论“ab”时,应假设“ab”.?(×) 1.命题“对任意角θ,cos4θ-sin4θ=cos 2θ”的证明:“cos4θ-sin4θ=(cos2θ- sin2θ)(cos2θ+sin2θ)=cos2θ-sin2θ=cos 2θ”过程应用了?(　　) A.分析法 B.综合法 C.综合法、分析法综合使用 D.间接证明法 答案????B　因为证明过程是“从左往右”,即由条件?结论,故选B. 2.用分析法证明时出现:欲使①AB,只需②CD,这里①是②的?(　　) A.充分条件　????B.必要条件 C.充要条件　????D.既不充分也不必要条件 答案????B　由题意可知,应用②?①,故①是②的必要条件. 3.用反证法证明命题:“三角形的内角中至少有一个不大于60度”,假设正确的是?(　　) A.假设三个内角都不大于60度 B.假设三个内角都大于60度 C.假设三个内角至多有一个大于60度 D.假设三个内角至多有两个大于60度 答案????B　根据反证法的定义,假设是对原命题结论的否定,故假设三个内角都大于60度.故选B. 4.下列条件:①ab0,②ab0,③a0,b0,④a0,b0,其中能使?+?≥2成 立的条件的个数是　　　????. 答案　3 解析　要使?+?≥2成立,需?0, 即a与b同号,故①③④均能使?+?≥2成立. 5.已知点An(n,an)为函数y=?图象上的点,Bn(n,bn)为函数y=x图象上的 点,其中n∈N*,设cn=an-bn,则cn与cn+1的大小关系为　　　????. 答案????cncn+1 解析　由题意知,an=?,bn=n, ∴cn=?-n=?. 显然,cn随着n的增大而减小, ∴cncn+1. 考点一　综合法的应用 典例1????(2016湖北武汉模拟)已知函数f(x)=(λx+1)ln x-x+1. (1)若λ=0,求f(x)的最大值; (2)若曲线y=f(x)在点(1, f(1))处的切线与直线x+y+1=0垂直,证明:?0. 解析　(1)f(x)的定义域为(0,+∞), 当λ=0时, f(x)=ln x-x+1. 则f (x)=?-1,令f (x)=0,解得x=1. 当0x1时, f (x)0,∴f(x)在(0,1)上是增函数; 当x1时, f (x)0,∴f(x)在(1,+∞)上是减函数. 故f(x)在x=1处取得最大值,为f(1)=0. 考点突破 (2)证明:由题意可得, f (x)=λlnx+?-1. 由题设条件,得f (1)=1,即λ=1, ∴f(x)=(x+1)ln x-x+1. 由(1)知,ln x-x+10(x0,且x≠1). 当0x1时, f(x)=(x+1)ln x-x+1=xln x+(ln x-x+1)0, ∴?0. 当x1时, f(x)=ln x+(xln x-x+1)=ln x-x?0,∴?0. 综上可知,?0. 方法技巧 用综合法证题是从已知条件出发,逐步推向结论,综合法的适用范围: (1)定义明确的问题,如判