浅谈数学归纳法的应用.docVIP

浅谈数学归纳法的应用 姓名：孙静静 学号：200740510534 指导教师：崔艳 摘要：数学归纳法是证明与自然数有关命题的一种方法，应用广泛．数学归纳法的应用不仅仅体现在中学数学中，在高等数学命题的证明中也起着极为重要的作用.文中通过对范德蒙德行列式的证明、二次型标准化定理的证明、数学归纳法证明数列的单调性以及用数学归纳法证明整除问题、恒等式问题以及数学归纳法与其他知识点的交汇等问题来谈一谈数学归纳法在数学命题的证明上所突出的重要应用. 关键词：数学归纳法 应用 引言：数学归纳法是一种数学证明方法.典型的用于确定一个表达式在所有自然数范围内是成立的或者用于确定一个其他的形式在一个无穷序列是成立的.有一种用于数理逻辑和计算机科学广义的形式的观点指出能被求出值的表达式是等价表达式，这就是著名的结构归纳法. 已知最早的使用数学归纳法的证明出现于Francesco Maurolico 的Arithmeticorum libri duo (1575年). Maurolico证明了前个奇数的总和是. 最简单和常见的数学归纳法证明方法是证明当属于所有自然数时一个表达式成立，这种方法是由以下两个步骤组成的.（1）、递推的基础：证明当时表达式成立；（2）递推的依据:证明假设当时表达式成立，那么当时表达式也同样成立.（递推的依据中的“假设”为归纳假设，而不要把整个第二步都称为归纳假设）.归纳假设这个方法的原理在于第一步证明起始值在表达式中是成立的，然后证明一个值到下一个值的证明过程是有效的.如果这两步都被证明是成立的，那么任何一个值的证明都是可以被包含在重复不断进行的过程中的.数学归纳法的原理作为自然数公理，通常是已经规定的了.，然而它也可以用一些逻辑方法证明，在此就不予证明了. 用数学归纳法进行证明表达式通常分为三个步骤： （1）归纳基础 验证当取第一个值时命题成立，这时就获得了递推的基础，但是仅仅依靠这一步是不能说明结论的普遍性的.在验证时，考察结论成立的最小正整数就足够了，没有必要再多考虑几个正整数，即使命题对这几个正整数成立，也是不能保证命题对其他正整数也成立. （2）归纳递推 假设当时命题成立，证明当时命题成立.这样便获得了递推的依据，在此必不可少的便是第一步的基础，只有二者结合，才能获得普遍性的结论. （3）下结论 最后得到普遍性的结论，即表达式成立. 然而需要注意的有：用数学归纳法进行证明时，“归纳基础”和“归纳递推”二者缺一不可；在归纳递推中，递推之前，时结论是不确定的，因此必须有假设二字.这一步的实质是证明命题时的正确性可以传递到时的情况，这样再加上递推基础，就能推得命题成立. 1.范德蒙德行列式的证明 行列式 d = 称为级的范德蒙德(Vandermonde)行列式.我们来证明对于任意的（≥2），级范德蒙德行列式等于这个数的所有可能的差的乘积. 证明：对作数学归纳法. 当时，，结果是对的. 设对级的范德蒙德行列式结论成立，那么对级范德蒙德行列式d === （a2-a1）(a3-a1)…(an-a1) 后面的行列式便是级范德蒙德行列式，由假设可知结论成立.因此可得，结论对级范德蒙德行列式成立，根据数学归纳法完成了证明. 即有 = 成立. 2.二次型标准化定理的证明 定理：数域上任意一个二次型都可以经过非退化的线性替换变成平方和的形式. 证明：对变量的个数作数学归纳法 当时，二次型就是结论显然成立. 现假定对元的二次型，均有定理的结论成立.再设 分三种情况讨论： （1）中至少有一个不是，不妨设，此时有+ =， 其中是一个的二次型.令，即，这是一个非线性替换，它使.由归纳法假定，对后者有非退化线性替换能使其变成平方和的形式，于是就有非退化线性替换能使+变成平方和的形式，定理得证. （2）所有但是至少有一不失一般性，不妨设令， 它是非退化线性替换，且使， 这时上式右端是的二次型，且的系数不是，属于第一种情况，定理成立. （3）.由于对称性有，. 这时二次型是元二次型，根据归纳法假定，结论成立.于是定理得证. 3.数学归纳法证明数列的单调性 例：设，求证数列是单调递增数列. 证明：当时，有 假设当时，有不等式，则当时有，，故有数列单调递增.命题得证. 4.整除问题的证明 例1、是否存在正整数，使得对任意自然数都能被整除?若存在，求出最大的值，并证明你的结论;若不存在，请说明理由. 解：当时有， 当时有， 当时有， 由此推想存在正整数，且的最大值为，即对任意的自然数都能被整除. 当时明显有命题成立； 假设当时有命题成立，即能被整除. 那么当时有由于是的倍数，故有是的倍数，即能被整除，由假设得能被整除，即命题成立，故存在最大的正整数，且的