2019版高考数学大一轮复习江苏专版文档：第十三章 推理与证明、算法、复数13.3 .docxVIP

§13.3　数学归纳法 考情考向分析　以了解数学归纳法的原理为主，会用数学归纳法证明与数列、函数有关或与不等式有关的等式或不等式．在高考中的附加题中出现，难度为中等或偏上． 数学归纳法 一般地，对于某些与正整数有关的数学命题，我们有数学归纳法公理： 如果 (1)当n取第一个值n0(例如n0＝1,2等)时结论正确； (2)假设当n＝k(k∈N*，且k≥n0)时结论正确，证明当n＝k＋1时结论也正确． 那么，命题对于从n0开始的所有正整数n都成立． 题组一　思考辨析 1．判断下列结论是否正确(请在括号中打“√”或“×”) (1)用数学归纳法证明问题时，第一步是验证当n＝1时结论成立．(　×　) (2)所有与正整数有关的数学命题都必须用数学归纳法证明．(　×　) (3)用数学归纳法证明问题时，归纳假设可以不用．(　×　) (4)不论是等式还是不等式，用数学归纳法证明时，由n＝k到n＝k＋1时，项数都增加了 一项．(　×　) (5)用数学归纳法证明等式“1＋2＋22＋…＋2n＋2＝2n＋3－1”，验证n＝1时，左边式子应为1＋2＋22＋23.(　√　) (6)用数学归纳法证明凸n边形的内角和公式时，n0＝3.(　√　) 题组二　教材改编 2．[P90练习T2,3]用数学归纳法证明1＋2＋22＋…＋2n－1＝2n－1(n∈N*)的过程如下： (1)当n＝1时，左边＝1，右边＝21－1＝1，等式成立． (2)假设当n＝k(k∈N*)时等式成立，即1＋2＋22＋…＋2k－1＝2k－1，则当n＝k＋1时，1＋2＋22＋…＋2k－1＋2k＝eq \f(1－2k＋1,1－2)＝2k＋1－1，所以当n＝k＋1时等式也成立．由此可知对于任何n∈N*，等式都成立． 上述证明的错误是________． 答案　未用归纳假设 解析　本题在由n＝k成立，证n＝k＋1成立时，应用了等比数列的求和公式，而未用上假设条件，这与数学归纳法的要求不符． 3．[P94习题T8]已知{an}满足an＋1＝aeq \o\al(2,n)－nan＋1，n∈N*，且a1＝2，则a2＝________，a3＝________，a4＝________，猜想an＝________. 答案　3　4　5　n＋1 题组三　易错自纠 4．用数学归纳法证明1＋a＋a2＋…＋an＋1＝eq \f(1－an＋2,1－a)(a≠1，n∈N*)，在验证n＝1时，等式左边的项是________． 答案　1＋a＋a2 解析　当n＝1时，n＋1＝2， ∴左边＝1＋a1＋a2＝1＋a＋a2. 5．用数学归纳法证明不等式1＋eq \f(1,2)＋eq \f(1,3)＋…＋eq \f(1,2n－1)n(n∈N*，且n1)时，不等式在n＝k＋1时的形式是________________________________________． 答案　1＋eq \f(1,2)＋eq \f(1,3)＋…＋eq \f(1,2k－1)＋eq \f(1,2k)＋eq \f(1,2k＋1)＋…＋eq \f(1,2k＋1－2)＋eq \f(1,2k＋1－1)k＋1 解析　当n＝k＋1时，不等式的形式应为1＋eq \f(1,2)＋eq \f(1,3)＋…＋eq \f(1,2k－1)＋eq \f(1,2k)＋eq \f(1,2k＋1)＋…＋eq \f(1,2k＋1－2)＋eq \f(1,2k＋1－1)k＋1. 6．用数学归纳法证明1＋2＋3＋…＋2n＝2n－1＋22n－1(n∈N*)时，假设当n＝k时命题成立，则当n＝k＋1时，左端增加的项数是__________． 答案　2k 解析　运用数学归纳法证明 1＋2＋3＋…＋2n＝2n－1＋22n－1(n∈N*)． 当n＝k时，则有1＋2＋3＋…＋2k＝2k－1＋22k－1(k∈N*)，左边表示的为2k项的和． 当n＝k＋1时， 左边＝1＋2＋3＋…＋2k＋(2k＋1)＋…＋2k＋1，表示的为2k＋1项的和，增加了2k＋1－2k＝2k项. 题型一　用数学归纳法证明等式 1．用数学归纳法证明： eq \f(1,2×4)＋eq \f(1,4×6)＋eq \f(1,6×8)＋…＋eq \f(1,2n?2n＋2?)＝eq \f(n,4?n＋1?)(n∈N*)． 证明　(1)当n＝1时， 左边＝eq \f(1,2×1×?2×1＋2?)＝eq \f(1,8)， 右边＝eq \f(1,4?1＋1?)＝eq \f(1,8)， 左边＝右边，所以等式成立． (2)假设当n＝k(k∈N*，且k≥1)时等式成立，即有 eq \f(1,2×4)＋eq \f(1,4×6)＋eq \f(1,6×8)＋…＋eq \f(1,2k?2k＋2?)＝eq \f(k,4?k＋1?)， 则当n＝k＋1时，eq \f(1,2×4)＋eq \f(