（通用版）高考数学一轮复习 第十二章 推理与证明、算法、复数 课时达标检测（五十九）直接证明与间接证明、数学归纳法 理.doc

课时达标检测（五十九） 直接证明与间接证明、数学归纳法小题对点练点点落实对点练(一)直接证明1已知函数f(x)x，a，b为正实数，af，bf()，cf，则a，b，c的大小关系为()aabcbacbcbcadcba解析：选a因为，又f(x)x在r上是单调减函数，故ff()f，即abc.2已知实数a，b，c满足bc64a3a2，cb44aa2，则a，b，c的大小关系是()acbabacbccbadacb解析：选acb44aa2(2a)20，cb.已知两式作差得2b22a2，即b1a2.1a2a20，1a2a.b1a2a.cba，故选a.3(2018山西大同质检)分析法又称执果索因法，若用分析法证明“设abc，且abc0，求证：0bac0c(ab)(ac)0d(ab)(ac)0解析：选c要证a，只需证b2ac3a2，即证(ac)2ac0，即证(2ac)(ac)0，即证2a(ab)(ac)0，即证(ab)(ac)0，故索的因应是(ab)(ac)0.4已知a，br，m，nb2b，则下列结论正确的是()amnbmn cmndmcb6已知点an(n，an)为函数y图象上的点，bn(n，bn)为函数yx图象上的点，其中nn*，设cnanbn，则cn与cn1的大小关系为_解析：由条件得cnanbnn，cn随n的增大而减小cn1cn1对点练(二)间接证明1用反证法证明命题：“若a，b，c，dr，ab1，cd1，且acbd1，则a，b，c，d中至少有一个负数”的假设为()aa，b，c，d中至少有一个正数ba，b，c，d全都为正数ca，b，c，d全都为非负数da，b，c，d中至多有一个负数解析：选c用反证法证明命题时，应先假设结论的否定成立，而“a，b，c，d中至少有一个负数”的否定是“a，b，c，d全都为非负数”2用反证法证明“若abc的三边a，b，c的倒数成等差数列，则bbbcbdb答案：c3用反证法证明命题“设a，b 为实数，则方程x3axb0至少有一个实根”时，要做的假设是()a方程x3axb0没有实根b方程x3axb0至多有一个实根c方程x3axb0至多有两个实根d方程x3axb0恰好有两个实根解析：选a反证法中否定结论需全否定，“至少有一个”的否定为“一个也没有”对点练(三)数学归纳法1用数学归纳法证明2n2n1，n的第一个取值应是()a1b2c3d4解析：选cn1时，212,2113,2n2n1不成立；n2时，224,2215,2n2n1不成立；n3时，238,2317,2n2n1成立n的第一个取值应是3.2设f(x)是定义在正整数集上的函数，且f(x)满足当f(k)k1成立时，总能推出f(k1)k2成立，那么下列命题总成立的是()a若f(1)2成立，则f(10)11成立b若f(3)4成立，则当k1时，均有f(k)k1成立c若f(2)3成立，则f(1)2成立d若f(4)5成立，则当k4时，均有f(k)k1成立解析：选d当f(k)k1成立时，总能推出f(k1)k2成立，说明如果当kn时，f(n)n1成立，那么当kn1时，f(n1)n2也成立，所以如果当k4时，f(4)5成立，那么当k4时，f(k)k1也成立3用数学归纳法证明123n2，则当nk1时左端应在nk的基础上加上的项为_解析：当nk时左端为123k(k1)(k2)k2，则当nk1时，左端为123k2(k21)(k22)(k1)2，故增加的项为(k21)(k22)(k1)2.答案：(k21)(k22)(k1)2大题综合练迁移贯通1已知数列an的通项公式为an.求证：数列an中不存在三项按原来顺序成等差数列证明：假设存在三项按原来顺序成等差数列，记为ap1，aq1，ar1(pqr，且p，q，rn*)，则2，所以22rq2rp1.又因为pqr，且p，q，rn*，所以rq，rpn*.所以式左边是偶数，右边是奇数，等式不成立所以假设不成立，原命题得证2在数列an与bn中，a11，b14，数列an的前n项和sn满足nsn1(n3)sn0,2an1为bn与bn1的等比中项，nn*.(1)求a2，b2的值；(2)求数列an与bn的通项公式解：(1)由题设有a1a24a10，a11，解得a23.又4ab2b1，b14，解得b29.(2)由题设nsn1(n3)sn0，a11，b14，及a23，b29，进一步可得a36，b316，a410，b425，猜想an，bn(n1)2，nn*.先证an，nn*.当n1时，a11，等式成立当n2时，用数学归纳法证明如下：()当n2时，a23，等式成立()假设当nk时等式成立，即ak，k2.由题设，ksk1(k3)sk，(k1)sk(k2)sk1.的两边分别减去的两边，整理得kak1(k2)ak；从而ak1ak.这就是说，当nk1时等式也成立根据()和()可知，等式an对任何的n2成立综上所述，等式an对任何的nn*都成立再用数学归纳法证明bn(n1)2，nn*.(a)当n1时，b1(11)24，等式成立(b)假设当nk时等式成立，即bk(k1)2，那么bk1(k1)12.这就是说，当nk1时等式也成立根据(a)和(b)可知，等式bn(n1)2对任何的nn*都成立3对于定义域为0,1的函数f(x)，如果同时满足：对任意的x0,1，总有f(x)0；f(1)1；若x10，x20，x1x21，都有f(x1x2)f(x1)f(x2)成立，则称函数f(x)为理想函数(1)若函数f(x)为理想函数，证明：f(0)0；(2)试判断函数f(x)2x(x0,1)，f(x)x2(x0,1)，f(x)(x0,1)是不是理想函数解：(1)证明：取x1x20，则x1x201，f(00)f(0)f(0)，f(0)0.又对任意的x0,1，总有f(x)0，f(0)0，于是f(0)0.(2)对于f(x)2x，x0,1，f(1)2不满足新定义中的条件，f(x)2x，(x0,1)不是理想函数对于f(x)x2，x0,1，显然f(x)0，且f(1)1.任意的x1，x20,1，x1x21，f(x1x2)f(x1)f(x2)(x1x2)2xx2x1x20，即f(x1)f(x2)f(x1x2)f(x)x2(x0,1)是理想函数对于f(x)，x0,1，显然满足条件.对任意的x1，x20,1，x1x21，有f2(x1x2)f(