【三维设计】（新课标）2016届高考数学5年真题备考题库 第六章 第7节 数学归纳法 理（含解析）.docVIP

第6章 不等式、推理与证明 第7节 数学归纳法 1．用反证法证明命题“设a，b为实数，则方程x3＋ax＋b＝0至少有一个实根”时，要做的假设是(　　) A．方程x3＋ax＋b＝0没有实根 B．方程x3＋ax＋b＝0至多有一个实根 C．方程x3＋ax＋b＝0至多有两个实根 D．方程x3＋ax＋b＝0恰好有两个实根 解析：选A　至少有一个实根的否定是没有实根，故要做的假设是“方程x3＋ax＋b＝0没有实根”．．已知函数f0(x)＝(x0)，设fn(x)为fn－1(x)的导数，nN*. (1)求2f1＋f2的值； (2)证明：对任意的nN*，等式nfn－1＋fn＝都成立． 解：由已知，得f1(x)＝f′0(x)＝′＝－， 于是f2(x)＝f′1(x)＝′－′＝－－＋， 所以f1＝－，f2＝－＋. 故2f1＋f2＝－1. (2)证明：由已知，得xf0(x)＝sin x，等式两边分别对x求导，得f0(x)＋xf′0(x)＝cos x， 即f0(x)＋xf1(x)＝cos x＝sin， 类似可得 2f1(x)＋xf2(x)＝－sin x＝sin(x＋π)， 3f2(x)＋xf3(x)＝－cos x＝sin， 4f3(x)＋xf4(x)＝sin x＝sin(x＋2π)． 下面用数学归纳法证明等式nfn－1(x)＋xfn(x)＝sin对所有的nN*都成立． 当n＝1时，由上可知等式成立． 假设当n＝k时等式成立，即kfk－1(x)＋xfk(x)＝sin. 因为[kfk－1(x)＋xfk(x)]′＝kf′k－1(x)＋fk(x)＋xf′k(x)＝(k＋1)fk(x)＋xfk＋1(x)，′＝cos·′＝sin， 所以(k＋1)fk(x)＋xfk＋1(x)＝sin. 因此当n＝k＋1时，等式也成立． 综合可知等式nfn－1(x)＋xfn(x)＝sin对所有的nN*都成立． 令x＝，可得nfn－1＋fn＝ sin(nN*)． 所以＝(nN*)． 3．设实数c0，整数p1，nN*. (1)证明：当x－1且x≠0时，(1＋x)p1＋px； (2)数列{an}满足a1c，an＋1＝an＋a. 证明：anan＋1c. 证明：(1)用数学归纳法证明： 当p＝2时，(1＋x)2＝1＋2x＋x21＋2x，原不等式成立． 假设p＝k(k≥2，kN*)时，不等式(1＋x)k1＋kx成立． 当p＝k＋1时，(1＋x)k＋1＝(1＋x)(1＋x)k(1＋x)·(1＋kx)＝1＋(k＋1)x＋kx21＋(k＋1)x. 所以p＝k＋1时，原不等式也成立． 综合可得，当x－1，x≠0时，对一切整数p1，不等式(1＋x)p1＋px均成立． (2)法一：先用数学归纳法证明anc. 当n＝1时，由题设知a1c成立． 假设n＝k(k≥1，kN*)时，不等式akc成立． 由an＋1＝an＋a易知an0，nN*. 当n＝k＋1时，＝＋a＝1＋. 由akc0得－1－0. 由(1)中的结论得p＝p1＋p·＝. 因此ac，即ak＋1c. 所以n＝k＋1时，不等式anc也成立． 综合可得，对一切正整数n，不等式anc均成立． 再由＝1＋可得1，即an＋1an. 综上所述，anan＋1c，nN*. 法二：设f(x)＝x＋x1－p，x≥c，则xp≥c，并且f′(x)＝＋(1－p)x－p＝0，xc. 由此可得，f(x)在上单调递增，因而，当xc时，f(x)f(c)＝c. 当n＝1时，由a1c0，即ac可知 a2＝a1＋a＝a1a1，并且a2＝f(a1)c， 从而a1a2c. 故当n＝1时，不等式anan＋1c成立． 假设n＝k(k≥1，kN*)时，不等式akak＋1c成立，则 当n＝k＋1时，f(ak)f(ak＋1)f(c)，即有ak＋1ak＋2c. 所以n＝k＋1时，原不等式也成立． 综合可得，对一切正整数n，不等式anan＋1c均成立．设a1＝1，an＋1＝＋b(nN*)． (1)若b＝1，求a2，a3及数列{an}的通项公式； (2)若b＝－1，问：是否存在实数c使得a2nca2n＋1对所有nN*成立？证明你的结论． 解：法一：(1)a2＝2，a3＝＋1， 再由题设条件知(an＋1－1)2＝(an－1)2＋1. 从而{(an－1)2}是首项为0公差为1的等差数列， 故(an－1)2＝n－1，即an＝＋1(nN*)． (2)设f(x)＝－1，则an＋1＝f(an)． 令c＝f(c)，即c＝－1，解得c＝. 下面用数学归纳法证明加强命题a2nca2n＋11. 当n＝1时，a2＝f(1)＝0，a3＝f(0)＝－1，所以a2a31，结论成立． 假设n＝k时结论成立，即a2kca2k＋11. 易知f(x)在(－∞，1]上为减函数， 从而c＝f(c)f(a2k＋1)f(1)＝a2， 即1ca2k＋2a2.