2020版高考文科数学（北师大版）一轮复习课件：第七章 不等式、推理与证明 7.4 .pptxVIP

7.4　综合法、分析法、反证法--知识梳理考点自诊1.综合法与分析法 求证的结论 条件 定义、公理、定理及运算法则 充分条件 结论 --知识梳理考点自诊2.反证法(1)反证法的定义:在假定命题结论　的前提下,经过推理,若推出的结果与定义、公理、定理矛盾,或与命题中的已知条件相矛盾,或与假定相矛盾,从而说明命题结论的反面不可能成立,由此断定命题结论成立的方法叫反证法.?(2)用反证法证明的一般步骤:①反设——假设命题的结论不成立;②归谬——根据假设进行推理,直到推出矛盾为止;③结论——断言假设不成立,从而肯定原命题的结论成立.反面成立 --知识梳理考点自诊1.判断下列结论是否正确(请在括号中打“√”或“×”)(1)综合法是直接证明,分析法是间接证明. (　)(2)分析法是从要证明的结论出发,逐步寻找使结论成立的充要条件. (　)(3)用反证法证明结论“ab”时,应假设“ab”. (　)(4)反证法是指将结论和条件同时否定,推出矛盾. (　)(5)在解决问题时,常常用分析法寻找解题的思路与方法,再用综合法展现解决问题的过程. (　)(6)证明不等式 最合适的方法是分析法. (　)× × × × √ √ --知识梳理考点自诊2.若a,b,c是不全相等的实数,求证:a2+b2+c2ab+bc+ca.证明过程如下:因为a,b,c∈R,所以a2+b2≥2ab,b2+c2≥2bc,c2+a2≥2ac.又因为a,b,c不全相等,所以以上三式至少有一个等号不成立,所以将以上三式相加得2(a2+b2+c2)2(ab+bc+ac),所以a2+b2+c2 ab+bc+ca.此证法是(　)A.分析法 B.综合法C.分析法与综合法并用 D.反证法B解析:从已知条件出发,推出要证的结论,由因导果是综合法.故选B.--知识梳理考点自诊3.(2018山东菏泽模拟,5)设m,n,t都是正数,则 三个数(　)A.都大于4 B.都小于4C.至少有一个大于4 D.至少有一个不小于4D解析:依题意,令m=n=t=2,则三个数为4,4,4,排除A,B,C选项,故选D.4.用反证法证明命题“三角形三个内角至少有一个不大于60°”时,应假设　 　.?三个内角都大于60° 解析: “三角形三个内角至少有一个不大于60°”的对立面为“三个内角都大于60°”.--考点1考点3考点2综合法的应用考向1　数列中的证明例1(1)(2018天津,理18)设{an}是等比数列,公比大于0,其前n项和为Sn(n∈N+),{bn}是等差数列.已知a1=1,a3=a2+2,a4=b3+b5,a5=b4+2b6.①求{an}和{bn}的通项公式;②设数列{Sn}的前n项和为Tn(n∈N+),--考点1考点3考点2(1)解 ①设等比数列{an}的公比为q.由a1=1,a3=a2+2,可得q2-q-2=0.因为q0,可得q=2,故an=2n-1.设等差数列{bn}的公差为d.由a4=b3+b5,可得b1+3d=4.由a5=b4+2b6,可得3b1+13d=16,从而b1=1,d=1,故bn=n.所以,数列{an}的通项公式为an=2n-1,数列{bn}的通项公式为bn=n.--考点1考点3考点2--考点1考点3考点2思考综合法的适用题型是哪些?综合法证明问题是怎样实现的?解题心得1.综合法的适用范围是:(1)定义明确的问题,如证明函数的单调性、奇偶性等,求证没有限制条件的等式或不等式.(2)已知条件明确,并且容易通过分析和应用条件逐步逼近结论的题型.2.综合法是一种由因索果的证明方法,其逻辑依据也是三段论式的演绎推理方法,因此要保证前提条件正确,推理合乎规律,这样才能保证结论的正确性.其过程一般是从命题的条件出发,利用定义、公理、定理及运算法则,通过演绎推理,一步一步地接近要证明的结论,直到完成命题的证明.--考点1考点3考点2--考点1考点3考点2--考点1考点3考点2--考点1考点3考点2分析法的应用(1)解 定义域为(0,1)∪(1,+∞),因为当m0时,由f(x)0,得xe;由f(x)0,得0x1或1xe,此时函数的递增区间为(e,+∞),递减区间为(0,1),(1,e),当m=0时,f(x)=0,函数无单调区间,当m0时,由f(x)0,得xe;由f(x)0,得0x1或1xe,此时函数的递减区间为(e,+∞),递增区间为(0,1),(1,e).--考点1考点3考点2--考点1考点3考点2思考分析法的证明思路是什么,适用于何种题型?思路分析(1)函数求导,由f(x)0得函数减区间,由f(x)0得函数的增区间;--考点1考点3考点2解题心得1.逆向思考是用分析法证题的主要思想,通过反推,逐步寻找使结论成立的充分条件.正确把握转化方向是使问题顺利获解的关键.2.证明较复杂的问题时,可以采用两头凑