1、第五节直接证明与间接证明、数学归纳法最新考纲1.了解直接证明的两种基本方法分析法和综合法;了解分析法和综合法的思考过程和特点.2.了解间接证明的一种基本方法反证法;了解反证法的思考过程和特点.3.了解数学归纳法的原理.4.能用数学归纳法证明一些简单的数学命题1直接证明(1)综合法定义:利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立的证明方法(2)分析法定义:从要证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止的证明方法2间接证明反证法一般地,假设原命题不成立(即在原
2、命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法3数学归纳法一般地,证明一个与正整数n有关的命题,可按下列步骤进行:(1)归纳奠基:证明当n取第一个值n0(n0N*)时命题成立;(2)归纳递推:假设nk(kn0,kN*)时命题成立,证明当nk1时命题也成立只要完成这两个步骤,就可以断定命题对从n0开始的所有正整数n都成立上述证明方法叫做数学归纳法一、思考辨析(正确的打“”,错误的打“”)(1)用数学归纳法证明问题时,第一步是验证当n1时结论成立()(2)综合法是直接证明,分析法是间接证明()(3)分析法是从要证明的结论出
3、发,逐步寻找使结论成立的充要条件()(4)用反证法证明结论“ab”时,应假设“aQ BPQCPQ,只需P2Q2,即2a1322a132,只需a213a42a213a40.因为4240成立,所以PQ成立故选A.4已知数列an满足an1anan1,nN,且a12,则a2_,a3_,a4_,猜想an_345n1易得a23,a34,a45,故猜想ann1.考点1综合法的应用掌握综合法证明问题的思路(1)综合法是“由因导果”的证明方法,它是一种从已知到未知(从题设到结论)的逻辑推理方法,即从题设中的已知条件或已证的真实判断(命题)出发,经过一系列中间推理,最后导出所要求证结论的真实性(2)综合法的逻辑依
4、据是三段论式的演绎推理设a,b,c均为正数,且abc1.证明:(1)abbcac;(2)1.证明(1)由a2b22ab,b2c22bc,c2a22ac,得a2b2c2abbcca,由题设得(abc)21,即a2b2c22ab2bc2ca1,所以3(abbcca)1,即abbcca.(2)因为a,b,c均为正数,b2a,c2b,a2c,故(abc)2(abc),即abc,所以1.母题探究本例的条件不变,证明a2b2c2.证明因为abc1,所以1(abc)2a2b2c22ab2bc2ac,因为2aba2b2,2bcb2c2,2aca2c2,所以2ab2bc2ac2(a2b2c2),所以1a2b2c
5、22(a2b2c2),即a2b2c2.(1)不等式的证明常借助基本不等式,注意其使用的前提条件“一正、二定、三相等”;(2) 应用重要不等式a2b22ab放缩时要注意待证不等式的方向性在ABC中,角A,B,C的对边分别为a,b,c,已知sin Asin Bsin Bsin Ccos 2B1.(1)求证:a,b,c成等差数列;(2)若C,求证:5a3b.证明(1)由已知得sin Asin Bsin Bsin C2sin2B,因为sin B0,所以sin Asin C2sin B,由正弦定理,得ac2b,即a,b,c成等差数列(2)由C,c2ba及余弦定理得(2ba)2a2b2ab,即有5ab3b
6、20,即5a3b.考点2分析法的应用分析法证明问题的思路及适用范围利用分析法证明问题,先从结论入手,由此逐步推出保证此结论成立的充分条件;当已知条件与结论之间的联系不够明显、直接,或证明过程中所需用的知识不太明确、具体时,往往采用分析法,特别是含有根号、绝对值的等式或不等式,常考虑用分析法已知ABC的三个内角A,B,C成等差数列,A,B,C的对边分别为a,b,c.求证:.证明要证,即证3,也就是1,只需证c(bc)a(ab)(ab)(bc),需证c2a2acb2,又ABC三内角A,B,C成等差数列,故B60,由余弦定理,得b2c2a22accos 60,即b2c2a2ac,故c2a2acb2成
7、立于是原等式成立(1)用分析法证明时,要注意书写格式的规范性,常常用“要证(欲证)”“即证”“只需证”等,逐步分析,直到一个明显成立的结论(2)证明较复杂的问题时,可以采用两头凑的办法,如本例中,通过分析法找出与结论等价(或充分)的中间结论“c2a2acb2”,然后通过综合法证明这个中间结论,从而使原命题得证若a,b(1,),证明.证明要证,只需证()2()2,只需证ab1ab0,即证(a1)(1b)0.因为a1,b1,所以a10,1b0,即(a1)(1b)0成立,所以原不等式成立考点3反证法的应用用反证法证明问题的步骤(1)反设:假定所要证的结论不成立,而设结论的反面成立(否定结论)(2)归
8、谬:将“反设”作为条件,由此出发经过正确的推理,导出矛盾,矛盾可以是与已知条件、定义、公理、定理及明显的事实矛盾或自相矛盾(推导矛盾)(3)立论:因为推理正确,所以产生矛盾的原因在于“反设”的谬误既然原命题结论的反面不成立,从而肯定了原命题成立(命题成立)设a0,b0,且ab.证明:(1)ab2;(2)a2a2与b2b0,b0,得ab1.(1)由基本不等式及ab1,有ab22,即ab2.(2)假设a2a2与b2b2同时成立,则由a2a0,得0a1;同理,0b1,从而ab1,这与ab1矛盾故a2a2与b2b0且b1,b,r均为常数)的图象上(1)求r的值;(2)当b2时,记bn2(log2an1
9、)(nN*),证明:对任意的nN*,不等式成立解(1)由题意得,Snbnr,当n2时,Sn1bn1r.所以anSnSn1bn1(b1)由于b0,且b1,所以n2时,数列an是以b为公比的等比数列又a1S1br,a2b(b1),所以b,即b,解得r1.(2)证明:由(1)及b2知an2n1.因此bn2n(nN*),所证不等式为.当n1时,左式,右式,左式右式,所以结论成立假设nk(k1,kN*)时结论成立,即,则当nk1时,要证当nk1时结论成立,只需证,即证,由基本不等式得成立,故成立,所以当nk1时,结论成立由可知,nN*时,不等式成立已知f(n)1,g(n),nN*.(1)当n1,2,3时,试比较f(n)与g(n)的大小关系;(2)猜想f(n)与g(n)的大小关系,并给出证明解(1)当n1时,f(1)1,g(1)1,所以f(1)g(1);当n2时,f(2),g(2),所以f(2)g(2);当n3时,f(3),g(3),所以f(3)g(3)(2)由(1)猜想,f(n)g(n),用数学归纳法证明当n1,2,3时,不等式显然成立假设当nk(k3,kN*)时不等式成立,即1,则当nk1时,f(k1)f(k).因为0,所以f(k1)g(k1)由可知,对一切nN*,都有f(n)g(n)成立.