【同步测控 优化设计】高二人教A版数学选修2-2练习：2.3数学归纳法 Word版含答案.docVIP

课时演练·促提升 A组 1.用数学归纳法证明1+a+a2+…+an+1=(nN*,a≠1),在验证n=1时,左边所得的项为(　　) 　　　　　　　　　　　　　　　　 A.1 B.1+a+a2 C.1+a D.1+a+a2+a3 答案:B 2.用数学归纳法证明“凸n(n≥3,nN)边形的内角和公式”时,由n=k到n=k+1时增加的是(　　) A. B.π C. D.2π 解析:如图,由n=k到n=k+1时,凸n边形的内角和增加的是:1+∠2+∠3=π,故选B. 答案:B 3.一个与正整数n有关的命题,当n=2时命题成立,且由n=k时命题成立可以推得n=k+2时命题也成立,则(　　) A.该命题对于n2的自然数n都成立 B.该命题对于所有的正偶数都成立 C.该命题何时成立与k取值无关 D.以上答案都不对 解析:因为2与k+2均为偶数,故选B. 答案:B 4.用数学归纳法证明1++…+k+1(nN*),由n=k(kN*)不等式成立,推证n=k+1时,左边应增加的项数是(　　) A.2k B.2k-1 C.2k+1 D.2k-1 解析:当n=k时,左边有2k项,当n=k+1时,左边有2k+1项,故增加的项数为2k+1-2k=2k. 答案:A 5.用数学归纳法证明1++…+n(nN*且n1)时,假设当n=k时不等式成立,则当n=k+1时,应推证的目标不等式是　　　　　　　　　　　　　　　.? 答案:1++…++…+k+1 6.用数学归纳法证明(1+1)(2+2)(3+3)…(n+n)=2n-1(n2+n)时,从n=k到n=k+1左边需要添加的因式是　　　　.? 解析:当n=k时,左边=(1+1)(2+2)(3+3)…(k+k), 当n=k+1时,左边=(1+1)(2+2)(3+3)+…+(k+k)(k+1+k+1), 比较两式可知,由n=k到n=k+1,左边需添加的因式为(2k+2). 答案:2k+2 7.用数学归纳法证明: (nN*). 证明:(1)当n=1时,左边=1-, 右边=,故等式成立. (2)假设n=k(k≥1,kN*)等式成立, 即·…·. 当n=k+1时, ·…· =, 故当n=k+1时等式成立. 由(1)(2)可知对于nN*等式都成立. 8.已知数列{an}的第一项a1=5且Sn-1=an(n≥2,nN*). (1)求a2, a3,a4,并由此猜想an的表达式; (2)用数学归纳法证明{an}的通项公式. (1)解:a2=S1=a1=5,a3=S2=a1+a2=10, a4=S3=a1+a2+a3=5+5+10=20, 猜想an=5×2n-2(n≥2,nN*). (2)证明:当n=2时,a2=5×22-2=5,猜想成立. 假设当n=k时成立, 即ak=5×2k-2(k≥2,kN*), 当n=k+1时,由已知条件和假设有 ak+1=Sk=a1+a2+…+ak=5+5+10+…+5×2k-2 =5+=5×2k-1. 故n=k+1时,猜想也成立. 由可知,对n≥2,nN*,有an=5×2n-2, 所以数列{an}的通项an= B组 1.设f(x)是定义在正整数集上的函数,且f(x)满足:“当f(k)≥k2成立时,总可推出f(k+1)≥(k+1)2成立”,那么,下列命题总成立的是(　　) A.若f(3)≥9成立,则当k≥1时,均有f(k)≥k2成立 B.若f(5)≥25成立,则当k≤5时,均有f(k)≥k2成立 C.若f(7)49成立,则当k≥8时,均有f(k)k2成立 D.若f(4)=25成立,则当k≥4时,均有f(k)≥k2成立 解析:对于A项,f(3)≥9,加上题设可推出当k≥3时,均有f(k)≥k2成立,故A项错误. 对于B项,要求逆推到比5小的正整数,与题设不符,故B项错误. 对于C项,没有奠基部分,即没有f(8)≥82,故C项错误. 对于D项,f(4)=25≥42,由题设的递推关系,可知结论成立,故选D项. 答案:D 2.设f(n)=1++…+(nN*),那么f(n+1)-f(n)等于　　　　　.? 解析:f(n+1)-f(n)=. 答案: 3.用数学归纳法证明“n3+5n(nN*)能被6整除”的过程中,当n=k+1时,式子(k+1)3+5(k+1)应变形为　　　　　.? 解析:证明当n=k+1时n3+5n能被6整除,一定要用到归纳假设“k3+5k能被6整除”,故需将(k+1)3+5(k+1)化成含有(k3+5k)的形式,使用拼凑法. 答案:(k3+5k)+3k(k+1)+6 4.平面内有n(n≥2,nN*)条直线,其中任何两条不平行,任何三条不共点,证明:交点的个数f(n)=. 证明:(1)当n=2时,两条直线有一个交点,f(2)=1,命题成立. (2)假设当n=k(k≥2,kN*)时,命题成立, 即f(k)=