2014届高考数学理)一轮复习教案第十四章算法初步、推理与证明、复数第5讲 数学归纳法(苏教版).docVIP

第5讲　数学归纳法 考点梳理 1．对于某些与自然数n有关的命题常常采用下面的方法来证明它的正确性：先证明当n取第一个值n0时命题成立；然后假设当n＝k(kN*，k≥n0)时命题成立，证明当n＝k＋1时命题也成立．这种证明方法就叫做数学归纳法． 2．数学归纳法的基本形式：设P(n)是关于自然数n的命题，若P(n0)成立(奠基)，假设P(k)成立(k≥n0)，可以推出P(k＋1)成立(归纳)，则P(n)对一切大于等于n0的自然数n都成立． 【助学·微博】 　一个命题趋势 预计在2014年高考中，数学归纳法可能会与数列、不等式等内容相结合考查．与数列相结合的题目，一般会采取“归纳——猜想——证明”的命题思路，以解答题的形式出现，难度较大，为中高档题． 考点自测 1．在应用数学归纳法证明凸n边形的对角线为n(n－3)条时，第一步检验第一个值n0 等于________． 解析　边数最少的凸n边形是三角形． 答案　3 2．利用数学归纳法证明不等式1＋＋＋…＋＜f(n)(n≥2，nN*)的过程，由n＝k到n＝k＋1时，左边增加了________项． 解析　1＋＋＋…＋－1＋＋＋…＋＝＋＋…＋，共增加了2k项． 答案　2k 3．用数学归纳法证明：“1＋a＋a2＋…＋an＋1＝(a≠1)”在验证n＝1时，左端计算所得的项为________． 答案　1＋a＋a2 4．某个命题与自然数n有关，若n＝k(kN*)时命题成立，那么可推得当n＝k＋1时该命题也成立，现已知n＝5时，该命题不成立，那么可以推得下列成立的说法是________． n＝6时该命题不成立；n＝6时该命题成立；n＝4时该命题不成立；n＝4时该命题成立． 解析　法一　由n＝k(kN*)成立，可推得当n＝k＋1时该命题也成立．因而若n＝4成立，必有n＝5成立．现知n＝5不成立，所以n＝4一定不成立． 法二　其逆否命题“若当n＝k＋1时该命题不成立，则当n＝k时也不成立”为真，故“n＝5时不成立”“n＝4时不成立”． 答案　 5．用数学归纳法证明不等式＋＋…＋＞的过程中，由n＝k推导n＝k＋1时，不等式的左边增加的式子是________． 解析　不等式的左边增加的式子是＋－＝，故填. 答案　 考向一　数学归纳法的原理 【例1】 (2010·南通高三二模)设数列{an}满足a1＝a，an＋1＝a＋a1，M＝{aR|n∈N*，|an|≤2}． (1)当a(－∞，－2)时，求证：aM； (2)当a时，求证：aM； (3)当a时，判断元素a与集合M的关系，并证明你的结论． 证明　(1)当a－2时，|a1|＝|a|2，所以aM. (2)当0a≤时，|an|≤(n≥1)． 事实上，当n＝1时，|a1|＝|a|≤. 设n＝k－1时成立(k≥2为某整数)， 则对n＝k，|ak|≤|ak－1|2＋a≤2＋＝. 由归纳假设，对任意nN *，|an|≤2， 所以aM. (3)当a时，aM，证明如下： 对于任意n≥1，an≥a，且an＋1＝a＋a. 对于任意n≥1，an＋1－an＝a－an＋a＝2＋a－≥a－，则an＋1－an≥a－. 所以an＋1－a＝an＋1－a1≥n. 当n时，an＋1≥n＋a2－a＋a＝2， 即an＋12，因此aM. [方法总结] 数学归纳法证题的两个步骤缺一不可，证明n＝k＋1成立时，必须用n＝k成立的结论．用数学归纳法证题的过程可以总结为“两个步骤一个结论”．用数学归纳法证明等式时其过程也是“两个步骤一个结论”． 【训练1】 (2011·南通调研)用数学归纳法证明： 1×2×3＋2×3×4＋…＋n×(n＋1)×(n＋2)＝.(nN*) 证明　(1)当n＝1时，左边＝1×2×3＝6，右边＝＝6＝左边，所以等式成立． (2)设当n＝k(kN*)时，等式成立， 即1×2×3＋2×3×4＋…＋k×(k＋1)×(k＋2)＝. 则当n＝k＋1时， 左边＝1×2×3＋2×3×4＋…＋k×(k＋1)×(k＋2)＋(k＋1)(k＋2)(k＋3) ＝＋(k＋1)(k＋2)(k＋3) ＝(k＋1)(k＋2)(k＋3) ＝ ＝ 所以n＝k＋1时，等式成立． 由(1)(2)可知，原等式对于任意的nN*成立．考向二　数学归纳法的应用 【例2】 (2010·江苏卷)已知ABC的三边是有理数． (1)求证：cos A是有理数； (2)求证：对任意正整数n，cos nA是有理数(nN*)． 证明　(1)设ABC角A，B，C的对边为a，b，c，则a，b，cQ，cos A＝为有理数． (2)用数学归纳法证明cos nA与sin A·sin nA是有理数． 当n＝1时，由(1)知cos A是有理数，从而有sin Asin A＝1－cos2A也是有理数． 假设当n＝k(k≥1)时，cos kA和sin A·s