数学归纳法的教学设计与应用.docVIP

【标题】数学归纳法的教学设计与应用 【作者】隆 雪 竹 【关键词】数学归纳法??理论??教学??应用 【指导老师】陈波涛 / 宋安超 【专业】数学与应用数学 【正文】1前言数学归纳法是证明有关自然数n的命题的一种方法，应用广泛。已知最早的使用数学归纳法的证明出现于 Francesco Maurolico?的 Arithmeticorum libri duo?(1575年)。Maurolico?证明了前 n?个奇数的总和是 n?。用数学归纳法证明一个命题时必须分为两个步骤，第一步验证n取第一个允许值n0时命题成立；第二步从n=k?(k≥n0)时命题成立的假设出发，推证n=k+1时命题也成立。第一步验证命题的起始的正确性，是归纳的基础；第二步推证命题正确性的可传递性，是递推的依据，两个步骤各司其职，相互配合，缺一不可，证明步骤与格式的规范是数学归纳法的一个特点。了解数学归纳法的原理，认识数学归纳法与归纳法这两种推理方法之间的区别和联系，初步形成“观察—归纳—猜想—证明”的思维方法，既能发现结论，又能证明结论的正确性，这是分析问题和解决问题能力的重要内容，也是创造力的反映。在运用数学归纳法解决问题的过程中，把握n=k和n=k+1时，f(k)与f(k+1)之间的关系是数学归纳法证明的关键。2?数学归纳法的理论依据演绎法和归纳法都是重要的数学方法。演绎法和归纳法中的完全归纳法都是逻辑方法；不完全归纳法是非逻辑方法，只适用于数学发现思维，不适用于数学严格证明。数学归纳法既不是归纳法，也不是演绎法，是一种递归推理，其理论依据是下列归纳公理?：(1)存在一个自然数0∈N。(2)每个自然数?有一个后继元素?，如果?是?的后继元素，则?叫做?的生成元素。(3)自然数0无生成元素。(4)如果?=?，则?=?。(5)(归纳公理)自然数集N的每个子集合M，如果M含有0，并且含有M内每个元素的后继元素，则M=N。自然数就是满足上述公理的集合N中的元素，关于自然数的所有性质都是这些公理的直接理论。由以上公理可知，0是自然数关于“后继”的起始元素，如果记0′=1，1′=2，2′=3，…，?=?+1，…，则N={0，1，2，…，n，…}。由以上公理所定义的自然数与前面由集合所定义的自然数在本质上是一致的。20世纪90年代以前的中学数学教材将自然数的起始元素视作1，则自然数集即为正整数集。现在已统一采用上面的证法，即将0作为第1个自然数。定理1　(最小数原理)自然数集N的任意非空子集A都有最小数。定理2　(数学归纳法原理———第一型数学归纳法)??一个与自然数相关的命题T(n)，如果(1)T(?)(?≥0)为真。(2)假设T(n)(ｎ≥?)为真，则可以推出T(n+1)也为真。那么，对所有大于、等于?的自然数n，命题T(n)为真。在具体运用数学归纳法进行数学证明时，有多种不同的形式，如下：定理3　(数学归纳法原理———第二型数学归纳法)?如果命题T(n)满足：(1)对某一个自然数(?≥0)，T(?)为真。(2)假设为?≤k≤n的k，T(k)为真，则可以推出T(n+1)也为真。那么，对所有大于或等于?的自然数，命题T(n)都为真。定理4　一型与二型数学归纳法等价?。证明：假设命题T(n)对(n=?)为真，于是只需证明由“T(n)(n≥?)为真，可以推出T(n+1)也为真”的充要条件为“由T(k)(??≤k≤n)为真，可以推出T(n+1)也为真。”(1)充分性：若“T(n)(n≥?)为真，可以推出T(n+1)也为真”，则对?≤k≤n，T(k)为真，特别是T(n)为真，因此T(n+1)也为真。(2)必要性：(反证法)若“由T(k)(??≤k≤n)为真，可以推出T(n+1)也为真”，但并非对所有大于或等于?的自然数n，由T(n)为真，可以推出T(n+1)也为真，则M={m｜m∈N,m≥?,且由T(n)为真，推不出T(n+1)也为真}非空。由定理1，M中有最小数?，且对于?≤k≤?的k,有T(k)为真,可以推出T(k+1)也为真，特别由T(?)为真，可知T(?+1)为真，由T(?+1)为真，可知T(?+2)为真，……，由T(?-1)为真，可知T(?)为真。现已知T(?)为真，所以T(?)，T(?+1)，……，T(?)都为真。由此可知T(?+1)也为真，所以由T(?)为真，推出了T(?+1)也为真，这与?的选取矛盾。???????????定理得证。3?数学归纳法原理教学的重新构想（1）?传统的数学归纳法教学的弊端。传统的数学归纳法教学，常常是先说明不完全归纳法的可误性，再举些多米诺骨牌游戏之类的例子作引子，然后就直接“抛”出了数学归纳法的证明步骤，接着通过大量的例子操作，使学生掌握数学归纳