数学归纳法原理及其应用举例 毕业论文.doc

目 录 中文摘要 英文摘要 1 引言 ……………………………………………………………………1 2 数学归纳法原理 ………………………………………………………1 2.1 良序原理 …………………………………………………………1 2.2 数学归纳法 ………………………………………………………2 2.3 第二数学归纳法 …………………………………………………3 2.4 数学归纳法的有效性 ……………………………………………4 3 数学归纳法应用举例 …………………………………………………4 3.1 数学归纳法在解题和证明中的一些应用 ………………………4 3.2 数学归纳法在递归定义上的应用 ………………………………10 3.3 数学归纳法在递归算法上的应用………………………………13 参考文献 ………………………………………………………………17  数学归纳法原理及其应用举例 摘要：数学归纳法原理是一种有效的证明方法.本文将介绍数学归纳法及其等价形式，并证明为什么它们是有效的.特别地，我们将用大量各种不同类型的例子来说明其应用。这些例子有的来自于集合论，数论，有的来自于计算机科学等. 关键词：良序原理，数学归纳法，第二数学归纳法，递归算法. Abstract: The principles of mathematical induction provide effective ways for valid arguments in mathematical proofs. This thesis will present these principles and their other equivalent forms, and will show why they work and particularly will show how they work by examples from diversified settings or areas of mathematics, e.g. set theory, number theory, computer algorithm, and so on. Key words: The well-ordering principle, the first principle of mathematical induction, the second principle of mathematical induction, recursive algorithm. 1 引言 首先使用数学归纳法的是意大利数学家和工程师马奥罗修勒斯（Francesco Maurocyulus，1494-1575），他在1575年的著作《算术》（Arithmetica）中，用数学归纳法证明了前n个正奇数之和是.帕斯卡（Blaise Pascal,1623-1662）在他关于算术三角形（现在称为帕斯卡三角形）的著作中使用了归纳法.在他1653年的著作《论算术三角形》（Traite du triangle arithmetique）中，在证明用来定义他的三角形的基本性质时，帕斯卡清晰地解释了归纳法.德摩根在1838年的一篇关于证明方法的论文中，把这个原理命名为“数学归纳法”. 前个正奇数之和的公式是什么？对，2，3，4，5来说前个正奇数之和是 ，，， ， 根据这些值，有理由猜测前个正奇数之和是.假如事实上这个猜测是正确的，我们就需要一种方法来证明这个猜测是正确的.数学归纳法是证明这种类型的断言的极为重要的证明技术. 2 数学归纳法原理 2.1 良序原理 所有数学都始于计数，计数就是把要计数的对象集合与几个起始自然数（或计算值）：一一对应的过程.我们用表示自然数这个无限集合，这里值得注意的是关于的定义并未达成共识，有些数学家把0也归入.但这两种不同定义并不会引起太大的冲突，哪一种使用方便即可选择哪一种. 自然数的一个基本性质是良序性，下面将对自然数的良序性进行形式化的论述，并且把它作为一个关于的公理.对于任何系统，公理是无需证明即为真的命题.为了对一个系统（这里指自然数）进行推理，首先需要对该系统做一些假设.尽管这些基本的假设常常不容易一眼就看出，但它应该是“合理的”和“显而易见为真的”. 良序原理：自然数集的每个非空子集都有一个最小元素. 显而易见，自然数的任何子集都可以通过列出实际元素的方式给定，即使对于不易直接定义的集合，该定理依然有效.例如，当和可取任意整数时，考虑所表示的所有自然数集合.从定义看该集合的范围并不明显，但是根据良序原理，由于该集合非空（注意这很重要），集合中必有一个通过该方式表示的最小自然数.（当然，求具体的最小自然数的值是另外一回事.注意良序原理保证有一个最小数存