2017年四川省成都市高中数学 第9课时 不等式的证法（三）课件 新人教A版选修4-5.pptVIP

你有没有看到过这样壮观的场面:在自行车存放处，整齐的摆放着长长的一排自行车，突然，一阵大风袭来，第一辆自行车倒下了，在第一辆自行车倒下时碰到了第二辆，于是第二辆也倒下了;而第二辆倒下时又碰到了第三辆，第三辆也倒下了……这样连续下去，直到最后一辆自行车也倒下.请分析:在这个“倒自行车”的过程中，有几个主要步骤? 第9课时　不等式的证法（三） 预学1:数学归纳法 上述情境分两步，第一步:第1辆自行车倒下，第二步:前一辆倒下后一辆一定倒下.类似于数学归纳法的两个步骤，什么是数学归纳法?数学归纳法:设{pn}是一个与自然数相关的命题集合，如果(1)证明起始命题p0成立;(2)在假设pk成立的前提下，推出pk＋1也成立，那么可以断定，{pn}对一切正整数(或自然数)成立. 预学2:数学归纳法证题的步骤 (1)(归纳奠基)证明当n＝n0时，命题成立. (2)(假设与递推)假设当n＝k(k≥n0，k∈N*)时，命题成立，证明当n＝k＋1时，命题也成立. 只要完成这两个步骤就可以断定命题对从n0开始的所有正整数n成立. 预习3:贝努利不等式 如果x是实数，且x－1，x≠0，n为大于1的自然数，那么有(1＋x)n1＋nx. 预学4:归纳、猜想和证明 在数学中通过特例或根据一部分对象得出的结论可能是正确的，也可能是错误的，这种不严格的推理方法称为不完全归纳法.不完全归纳法得出的结论，只能是一种猜想，其正确与否，必须进一步检验或证明，经常采用数学归纳法证明.不完全归纳法是发现规律、解决问题极好的方法. 练一练:已知数列{an}的前n项和为Sn，且满足Sn＋an＝2n＋1. (1)写出a1，a2，a3，并猜想an的表达式. (2)用数学归纳法证明所得结论. 1.利用数学归纳法证明等式 例1、是否存在常数a，b，c使等式1·(n2－12)＋2(n2－22)＋…＋n(n2－n2)＝an4＋bn2＋c对一切正整数n都成立?证明你的结论. 【方法指导】按数学归纳法解题时要清楚等式两边的结构，先取n＝1，2，3求出a，b，c的值，再用数学归纳法证明存在a，b，c所确定的等式对一切正整数n都成立. 变式训练1、已知数列{an}与{bn}的通项公式分别是an＝3n－1，bn＝2n，n∈N*，记Tn＝anb1＋an－1b2＋…＋a1bn，n∈N*，用数学归纳法证明:Tn＋12＝－2an＋10bn(n∈N*). 【解析】(1)当n＝1时，T1＋12＝a1b1＋12 ＝16，－2a1＋10b1＝16，等式成立. (2)假设当n＝k时，等式成立， 即Tk＋12＝－2ak＋10bk， 则当n＝k＋1时，有 Tk＋1＝ak＋1b1＋akb2＋ak－1b3＋…＋a1bk＋1 ＝ak＋1b1＋2(akb1＋ak－1b2＋…＋a1bk) ＝ak＋1b1＋2Tk＝ak＋1b1＋2(－2ak＋10bk－12) ＝2ak＋1－4(ak＋1－3)＋10bk＋1－24 ＝－2ak＋1＋10bk＋1－12， 即Tk＋1＋12＝－2ak＋1＋10bk＋1. 因此当n＝k＋1时，等式也成立. 由(1)(2)可知，对任意n∈N*， Tn＋12＝－2an＋10bn成立. 2.利用数学归纳法证明整除问题 例2、是否存在正整数m，使得f(n)＝(2n＋7)·3n＋9对一切正整数n都能被m整除?若存在，求出最大的m值，并证明你的结论;若不存在，请说明理由. 【方法指导】先将n＝1，2，3，4依次代入，计算相应的f(n)的值，猜想满足条件的m值，再根据数学归纳法对结论进行证明. 【解析】由f(n)＝(2n＋7)·3n＋9，得f(1)＝36，f(2)＝3×36，f(3)＝10×36，f(4)＝34×36，由此猜想m＝36. 下面用数学归纳法证明: (1)当n＝1时，显然成立. (2)假设当n＝k时，f(k)能被36整除， 即f(k)＝(2k＋7)·3k＋9能被36整除， 当n＝k＋1时，[2(k＋1)＋7]·3k＋1＋9 ＝3[(2k＋7)·3k＋9]＋18(3k－1－1)， 由于3k－1－1是2的倍数，故18(3k－1－1)能被36整除.这就是说，当n＝k＋1时，f(n)也能被36整除. 由(1)(2)可知，对一切正整数n都有f(n)＝(2n＋7)·3n＋9能被36整除，故m的最大值为36. 变式训练2、用数学归纳法证明: 32n＋2－8n－9(n∈N*)能被64整除. 【解析】(1)当n＝1时，34－8－9＝64显然能被64整除，命题成立. (2)假设当n＝k(k∈N*)时，命题成立， 即32k＋2－8k－9＝64m(m∈Z)， 则当n＝k＋1时，32k＋4－8(k＋1)－9 ＝9×32k＋2－8k－17 ＝9(32k＋2－8k－9)＋64k＋64 ＝64(9m＋k＋1). 又k∈N*，m∈Z，∴9m＋k＋