(完整版)浅谈数学归纳法在高考中的应用.docxVIP

赣南师范学院 2015 届本科生毕业论文 1、数学归纳法的理论基础 数学归纳法，人类天才的思维、巧妙的方法、精致的工具，解决无限的问题。它体现的是利用有限解决无限问题的思想， 这一思想凝结了数学家们无限的想象力和创造力，这无疑形成了数学证明中一道绚丽多彩的风景线。 它的巧妙让人回味无穷，这一思想的发现为后来数学的发展开辟了道路， 如用有限维空间代替无限维空间（多项式逼近连续函数） 用有限过程代替无限过程 （积分和无穷级数用有限项和答题，导数用差分代替） 。 1.1 数学归纳法的发展历史 自古以来，人们就会想到问题的推广，由特殊到一般、由有限到无限，可人 类对无限的把握不顺利。 在对无穷思考的过程中， 古希腊出现了许多悖论， 如芝 诺悖论，在数列中为了确保结论的正确， 则必须考虑无限。还有生活中一些现象， 如烽火的传递，鞭炮的燃放等，触动了人类的思想。 安提丰用圆周内接正多边形无穷地逼近圆的方法解决化圆为方； 刘徽、祖冲之用圆内接正多边形去无穷地逼迫圆， 无穷的问题层出不穷， 后来古希腊欧几里得对命题“素数的个数是无穷的”的证明，通过了有限去实现无限，体现了数学 归纳法递推思想。 但要形成数学归纳法中明确的递推， 清晰的步骤确是一件不容易的事，作为自觉运用进行数学证明却是近代的事。 伊本海塞姆（ 10 世纪末）、凯拉吉（ 11 世纪上叶）、伊本穆思依姆（ 12 世纪末）、伊本班纳（ 13 世纪末）等都使用了归纳推理，这表明数学归纳法使用较普遍，尤其是凯拉吉利用数学归纳法证明 13 23 n3 n2 (n 1)2 4 这是数学家对数学归纳法的最早证明。 接着 , 法国数学家莱维 . 本. 热尔松 (13 世纪末 ) 用 逐步的无限递进 ，即归纳推理证明有关整数命题和排列组合命题。 他比伊斯兰数学家更清楚地体现数学归纳法证明的基础，递进归纳两个步骤。 到 16 世纪中叶，意大利数学家毛罗利科对与全体和全体自然数有关的命题 的证明作了深入的考察在 1575 年，毛罗利科证明了 an 1an n2 其中 ak1 2 3 k 1,2 他利用了逐步推理铸就了“递归推理”的思路，成为了较早找到数学归纳中“递归推理”的数学家，为无限的把握提供了思维。 世纪法国数学家帕斯卡为数学归纳法的发明作了巨大贡献，他首先明确 而清晰地阐述数学归纳法的运用程序， 并完整地使用数学归纳法， 证明了他所发 1 赣南师范学院 2015 届本科生毕业论文 现的帕斯卡三角形。 数学家皮亚诺提出了算术公理系统， 用其中的归纳公理奠定数学归纳法的逻辑基础。 帕斯卡、毛罗利科、伊本穆思依姆等都很自觉地使用归纳推理， 传承运用数 学归纳法，但一直没有明确的名称， 而是英国数学家德摩根在其命名上迈出了重 要的一步，他曾在 1838 年伦敦出版的《小百科全书》中，建议将“归纳法（数 学）”改为“逐次归纳法”，有意思的是在后来的一次无意中他无意中使用了“数 学归纳法” 这便成为了最早的名称。 之后，英国数学家托德亨特的 《代数》（1866 年出版）中也采用了“数学归纳法”这一名称，从此这一名称在英国传播开了。 1.2 数学归纳法的逻辑基础 数学家皮亚诺提出了算术公理系统， 用其中的归纳公理奠定数学归纳法的逻辑基础。 归纳公理：由自然数组成的集合为 N ， 1 N , 若 N 中任意自然数的后继也 属于 N ，则 N 包含了全部自然数。 2、数学归纳法的步骤及其类型 2.1 第一数学归纳法 设 p(n) 是关于自然数 n 的命题 , 如果 p(n) 满足 : p(1) 成立； 假设当 n k 时, 命题 p(k ) 成立； 可以推出 p( k 1) 也成立，则命题 p(n) 对一切自然数 n 都成立。 证明 : 设 M 是由满足命题 p(n) 的自然数组成的集合 即 M 是自然数集 N 的子集 , 由于 p(1) 成立 1 M , 又由 (2) 知 k M k 1 M 即 k 的后继 k M ，由皮亚诺公理的归纳公理 5 得 M N 因此对于一切自然数 n ， p(n) 都成立。 第一数学归纳法的应用 例 1 用数学归纳法证明 13 23 n3n2 (n 1)2 n N 4 证明 : （ 1）当 n 1 时，左边 =1=右边命题成立 2 赣南师范学院 2015 届本科生毕业论文 （ 2）假设 n k 时命题成立，即 13 23 k 3 k 2 (k 1)2 4 那么当 n k 1 时， 13 23 (k1)3 k 2 (k 1)2 (k 1)3 4 (k 1)2 (k 2) 2 4 即当 n k 1时命题也成立，所以原命题成立。 2.2 第二数学归纳法 假设 p( n) 是关于自然数 n 的命题 , 如果 p( n) 满足 :