(重庆)【重庆地区】2018届新课标数学（新课标）一轮复习讲义 第六章 第6讲 数学归纳法.docVIP

第6讲　数学归纳法 数学归纳法 一般地证明一个与正整数n有关的命题可按下列步骤进行： (1)(归纳奠基)证明当n取第一个值n(n0∈N＋)时命题成立； (2)(归纳递推)假设n＝k(k≥nN＋)时命题成立证明当n＝k＋1时命题也成立． [做一做] 在应用数学归纳法证明凸n边形的对角线为(n－3)条时第一步检验n等于(　　) C．3 D．0 答案： 1．辨明两个易误点 (1)数学归纳法证题时误把第一个值n认为是1如证明多边形内角和定理(n－2)时初始值n＝3. (2)数学归纳法证题的关键是第二步证题时应注意： 必须利用归纳假设作基础；②证明中可利用综合法、分析法、反证法等方法；③解题时要搞清从nk到n＝k＋1增加了哪些项或减少了哪些项． 明确数学归纳法的两步证明 数学归纳法是一种只适用于与正整数有关的命题的证明方法它们的表述严格而且规范两个步骤缺一不可．第一步是递推的基础第二步是递推的依据第二步中归纳假设起着“已知条件”的作用在n＝k＋1时一定要运用它否则就不是数学归纳法．第二步的关键是“一凑假设二凑结论”． [做一做] 用数学归纳法证明1＋2＋3＋…＋(2n＋1)＝(n＋1)·(2n＋1)时从n＝k到n＝k＋1左边需增添的代数式是(　　) ＋2 ＋3 ＋1 (2k＋2)＋(2k＋3) 答案： ,[学生用书～]) __用数学归______________ 　用数学归纳法证明： ＋＋＋…＋＝(n∈N)． [证明]　(1)当n＝1时左边＝＝ 右边＝＝ 左边＝右边所以等式成立． (2)假设n＝k(k∈N且k≥1)时等式成立即有 ＋＋＋…＋＝ 则当n＝k＋1时 ＋＋＋…＋＋ ＝＋＝ ＝＝＝ 所以当n＝k＋1时等式也成立 由(1)、(2)可知对于一切n∈N等式都成立． [规律方法]　用数学归纳法证明恒等式应注意：(1)明确初始值n的取值并验证n＝n时命题的真假(必不可少)．(2)“假设n＝k(k∈N且k≥n)时命题成立”并写出命题形式分析“n＝k＋1”时命题是什么然后找出与“n＝k”时命题形式的差别．(3)弄清左端应增加或减少的项明确等式左端变形目标掌握恒等式变形常用的方法：简言之：两个步骤、一个结论；递推基础不可少归纳假设要用到结论Mc写明莫忘掉． 　　　1.设f(n)＝1＋＋＋…＋(n∈N)．求证：f(1)＋f(2)＋…＋f(n－1)＝n[f(n)－1](n≥2N*)． 证明：1)当n＝2时左边＝f(1)＝1 右边＝2＝1 左边＝右边等式成立． (2)假设n＝k(k≥2N*)时结论成立 即f(1)＋f(2)＋…＋f(k－1)＝k[f(k)－1] 那么当n＝k＋1时 f(1)＋f(2)＋…＋f(k－1)＋f(k) ＝k[f(k)－1]＋f(k)＝(k＋1)f(k)－k ＝(k＋1)－k ＝(k＋1)f(k＋1)－(k＋1) ＝(k＋1)[f(k＋1)－1] ∴当n＝k＋1时结论仍然成立． 由(1)(2)可知：f(1)＋f(2)＋…＋f(n－1)＝n[f(n)－1](n≥2N*)． __用数学归纳法证明不等式____________ 　设数列{a满足a＝2＋1＝a＋(n＝1)．证明：a＞对一切正整数n都成立． [证明]　当n＝1时＝2＞不等式成立． 假设当n＝k(k≥1N*)时＞成立． 那么当n＝k＋1时 a＝a＋＋2＞2k＋3＋＞2(k＋1)＋1. 当n＝k＋1时＋1＞成立． 综上＞对一切正整数n都成立． [规律方法]　数学归纳法证明不等式应注意： (1)当遇到与正整数n有关的不等式证明时应用其他办法不容易证则可考虑应用数学归纳法； (2)用数学归纳法证明不等式的关键是由n＝k成立推n＝k＋1时也成立证明时用上归纳假设后可采用分析法、综合法、作差(作商)比较法、放缩法等证明． 　　　2.已知数列{a＝0＋a＋1－1＝a 求证：当n∈N时＋1 证明：(1)当n＝1时因为a是方程a＋a－1＝0的正根所以a1 (2)假设当n＝k(k∈N)时＋1 则由a－a＝(a＋a＋2－1)－(a＋a＋1－1) ＝(a＋2－a＋1)(a＋2＋a＋1＋1)0 得a＋1＋2即当n＝k＋1时＋1也成立． 根据(1)和(2)可知a＋1n∈N*都成立． __归纳—猜想—证明____________________ 　已知数列{x满足x＝＋1＝N*.猜想数列{x的单调性并证明你的结论 [解]　由x＝及x＋1＝得x＝＝＝ 由x猜想：数列{x是递减数列． 下面用数学归纳法证明： 当n＝1时已证命题成立． 假设当n＝k(k≥1N*)时命题成立即x＋2 易知x那么 ＋2－x＋4＝－ ＝ ＝ ＝ 即x(k＋1)(k＋1)＋2 也就是说当n＝k＋1时命题也成立． 结合①和②知命题成立． [规律方法]　“归纳——猜想——证明”的模式是不完全归纳法与数学归纳法综合应用的解题模