苏教版高中数学选择性必修一第4章4.4第2课时《数学归纳法的综合应用》课件.pptx

1、苏教版高中数学课件苏教版高中数学课件一、用数学归纳法证明不等式一、用数学归纳法证明不等式例1用数学归纳法证明：(2)假设当nk(k2，kN*)时，不等式成立，则当nk1时，所以当nk1时，不等式也成立.综上所述，对任意n2的正整数，不等式都成立.反思感悟用数学归纳法证明不等式的四个关键(1)验证第一个n的值时，要注意n0不一定为1，若nk(k为正整数)，则n0k1.(2)证明不等式的第二步中，从nk到nk1的推导过程中，一定要用归纳假设，不应用归纳假设的证明不是数学归纳法，因为缺少归纳假设.(3)用数学归纳法证明与n有关的不等式一般有两种具体形式：一是直接给出不等式，按要求进行证明；二是给出两

2、个式子，按要求比较它们的大小.对第二类形式往往要先对n取前k个值的情况分别验证比较，以免出现判断失误，最后猜出从某个k值开始都成立的结论，常用数学归纳法证明.(4)用数学归纳法证明不等式的关键是由nk时成立，得nk1时成立，主要方法有比较法、放缩法等.不等式成立.(2)假设当nk(k2，kN*)时，不等式成立.当nk1时，不等式成立.由(1)(2)可知，不等式对一切nN*且n2时成立.二、归纳二、归纳猜想猜想证明证明例2在数列an中，a11，a2 ，且an1 (n2，nN*)，求a3，a4，猜想an的表达式，并加以证明.下面用数学归纳法证明猜想正确：(1)当n1,2时易知猜想正确.(2)假设当

3、nk(k2，kN*)时猜想正确，当nk1时，当nk1时猜想也正确.由(1)(2)可知，猜想对任意nN*都正确.反思感悟(1)利用数学归纳法可以探索与正整数n有关的未知问题、存在性问题，其基本模式是“归纳猜想证明”.(2)“归纳猜想证明”的基本步骤是“试验归纳猜想证明”.高中阶段与数列结合的问题是最常见的问题.这种方法更适用于已知数列的递推公式求通项公式.跟踪训练跟踪训练2已知数列计算S1，S2，S3，S4，根据计算结果，猜想前n项和Sn的表达式，并用数学归纳法进行证明.可以看出，上面表示四个结果的分数中，分子与项数n一致，分母可用项数n表示为3n1.下面我们用数学归纳法证明这个猜想.猜想成立.

4、(2)假设当nk(kN*)时猜想成立，当nk1时，所以当nk1时猜想也成立.根据(1)和(2)，可知猜想对任何nN*都成立.三、整除问题三、整除问题例3证明：当nN*时，f(n)32n28n9能被64整除.证明(1)当n1时，f(1)348964能被64整除.(2)假设当nk(k1，kN*)时，f(k)32k28k9能被64整除，则当nk1时，f(k1)32(k1)28(k1)9932k28k179(32k28k9)64k64.故f(k1)也能被64整除.综合(1)(2)，知当nN*时，f(n)32n28n9能被64整除.反思感悟用数学归纳法证明整除问题的关键是证明当nk1时，代数式可被除数整

5、除，一般利用构造法，构造出含有除数及nk时的代数式，根据归纳假设即可证明.跟踪训练跟踪训练3用数学归纳法证明当n为正奇数时，xnyn能被xy整除.证明(1)当n1时，xnynxy显然能被xy整除.(2)假设当nk(kN*且k为奇数)时命题成立，即xkyk能被xy整除，当nk2时，xk2yk2x2(xkyk)yk2x2ykx2(xkyk)yk(xy)(xy).又根据假设xkyk能被xy整除，x2(xkyk)能被xy整除.又(xy)(xy)yk能被xy整除，x2(xkyk)yk(xy)(xy)能被xy整除，当nk2时命题成立.由(1)(2)知，命题成立.1.知识清单：(1)利用数学归纳法证明不等式

6、.(2)归纳猜想证明.(3)利用数学归纳法证明整除问题.2.方法归纳：数学归纳法.3.常见误区：从nk到nk1时，注意两边项数的变化.课堂小结课堂小结随堂演练随堂演练12341234即5k2k能被3整除，则当nk1时，5k12k155k22k 55k52k52k22k 123412343.已知数列an的前n项和Snn2an(n2)，而a11，通过计算a2，a3，a4，猜想an等于1234课时对点练课时对点练基础巩固12345678910 11 12 13 14 15 161.用数学归纳法证明3nn3(n3，nN)，第一步应验证A.n1 B.n2 C.n3 D.n4解析由题意知，n的最小值为3，

7、所以第一步验证n3是否成立.12345678910 11 12 13 14 15 162.已知87,169,3211，则有A.2n2n1 B.2n12n1C.2n22n5 D.2n32n7解析由87,169,3211可知第一项为87212215，第二项为169222225，第三项为3211232235，以此类推第n项为2n22n5.12345678910 11 12 13 14 15 163.用数学归纳法证明“(3n1)7n1 能被9整除”，在假设nk时命题成立之后，需证明nk1时命题也成立，这时除了用归纳假设外，还需证明的是余项能被9整除.A.37k6 B.37k16C.37k3 D.37k

8、1312345678910 11 12 13 14 15 16解析假设nk时命题成立，即(3k1)7k1能被9整除，(3k1)7k1能被9整除.要证上式能被9整除，还需证明37k16也能被9整除.4.在数列an中，a12，an1 (nN*)，依次计算a2，a3，a4归纳推测出数列an的通项公式为12345678910 11 12 13 14 15 1612345678910 11 12 13 14 15 165.(多选)设f(x)是定义在正整数集上的函数，且f(x)满足：当f(k)k1成立时，总有f(k1)k2成立.则下列命题总成立的是A.若f(5)6成立，则f(6)7成立B.若f(3)4成立

9、，则当k1时，均有f(k)k1成立C.若f(2)3成立，则f(1)2成立D.若f(4)5成立，则当k4时，均有f(k)k1成立12345678910 11 12 13 14 15 16解析若f(5)6成立，由题意知f(6)7成立，故A正确；若f(4)5成立，则f(n01)n02(n04，n0N*)，即f(k)k1(k5)，结合f(4)5，所以当k4时，均有f(k)k1成立，故D正确.所以选AD.12345678910 11 12 13 14 15 1612345678910 11 12 13 14 15 16证明：12345678910 11 12 13 14 15 1612345678910

10、 11 12 13 14 15 16所以当nk1时，不等式也成立，12345678910 11 12 13 14 15 1612345678910 11 12 13 14 15 16(1)求a2，a3，a4的值；12345678910 11 12 13 14 15 16(2)猜想an的表达式，并用数学归纳法证明.12345678910 11 12 13 14 15 1612345678910 11 12 13 14 15 16当n1时，结论成立；当nk1时结论成立.12345678910 11 12 13 14 15 1612345678910 11 12 13 14 15 16证明(1)当n

11、2时，不等式成立.(2)假设当nk(k2，kN*)时不等式成立，则当nk1时，12345678910 11 12 13 14 15 16所以当nk1时不等式也成立.由(1)(2)可知，原不等式对一切n2，nN*都成立.12345678910 11 12 13 14 15 1612345678910 11 12 13 14 15 16综合运用11.在用数学归纳法证明f(n)1(nN*，n3)的过程中：假设当nk(kN*，k3)，不等式f(k)1成立，则需证当nk1时，f(k1)1也成立.若f(k1)f(k)g(k)，则g(k)等于12345678910 11 12 13 14 15 161234

12、5678910 11 12 13 14 15 1612.已知数列an满足a1 ，an1 ，nN*，则下列结论成立的是A.a2 019a2 020a2 018 B.a2 020a2 019a2 018C.a2 019a2 018a2 020 D.a2 018a2 019a2a1，即a1a3a2，所以 ，即a3a4a2，12345678910 11 12 13 14 15 16所以猜想当连续三项的下标最大项为偶数2n时，有a2n1a2na2n2，以下为证明：当n2时，a3a4a2成立，设当nk时，a2k1a2ka2k2成立，当nk1时，因为a2k1a2ka2k2，所以有 ，即a2k1a2k1a2k

13、成立.12345678910 11 12 13 14 15 16所以 ，即a2k1a2k2a2k.所以当nk1时，猜想也成立.故当连续三项的下标最大项为偶数2n时，有a2n1a2na2n2，所以a2 019a2 020n21，当n2时，2226n24，当n3时，23210n29，当n4时，24218n216，由此可以猜想，2n2n2(nN*)成立.下面用数学归纳法证明：(1)当n1时，左边2124，右边1，12345678910 11 12 13 14 15 16所以左边右边，所以原不等式成立.当n2时，左边2226，右边224，所以左边右边；当n3时，左边23210，右边329，所以左边右边.(2)假设当nk时(k3且kN*)时，不等式成立，即2k2k2.那么当nk1时，2k1222k22(2k2)22k22.12345678910 11 12 13 14 15 16又2k22(k1)2k22k3(k3)(k1)0，即2k22(k1)2，故2k12(k1)2成立.根据(1)和(2)，原不等式对于任意nN*都成立.