- 21
- 0
- 约4.73千字
- 约 7页
- 2021-10-07 发布于天津
- 举报
数学归纳法证题步骤与技巧实战篇
数学归纳法证题步骤与技巧
在数学问题中,有一类问题是与自然数有关的命题。自然数有无限多个,不可能就所有自然数—一加以验证,所以用完全归纳法是不可能的。但就部分自然数进行验证即用不完全归纳法得到的结论,又是不可靠的。这就需要寻求证明这一类命题的一种切实可行而又满足逻辑严谨性要求的新方法——数学归纳法。
数学归纳法的范围
数学归纳法是以自然数的归纳公理做为它的理论基础的。因此,数学归纳法的适用范
围仅限于与自然数有关的命题。它能帮助我们判断种种与自然数 n 有关的猜想的正确性。
数学归纳法两个步骤的关系
第一步是递推的基础,第二步是递推的根据,两个步骤缺一不可,有第一步无第二表,属于不完全归纳法,论断的普遍性是不可靠的;有第二步无第一步中,则第二步中的假设就失去了基础。只有把第一步结论与第二步结论联系在一起,才可以断定命题对所有的自然数 n 都成立。
第二数学归纳法
第二数学归纳法的证明步骤是:
证明当 n=1 时命题是正确的;
②k 为任意自然数,假设 n < k 时命题都是正确的,如果我们能推出 n=时命题也正
确,就可以肯定该命题对一切自然数都正确。数学归纳法和第二归纳法是两个等价的归纳法,我们把数学归纳法也叫做第一归纳法。有些命题用第一归纳法证明不大方便,可以用第二归纳法证明。
4. 数学归纳法的原理
数学归纳法证明的是与自然数有关的命题,它的依据是皮亚诺提出的自理论,就是通常所说的自然数的皮亚诺公理,内容是:
然数的序数
(1) l
是自然数。
(2)每个自然数 a 有一个确定的“直接后继”数 a ’, a 也是自然数。
2)a ’≠ 1,即 1 不是任何自然数的“直接后继”数。
4)由 a ’=b’,推得 a=b ,即每个自然数只能是另外的唯一自然的“直接后继”
数。
(5)任一自然数的集合,如果包含 1 ,并且假设包含 a ,也一定包含 a 的“直接
后继”数 a ’,则这个集合包含所有的自然数。皮亚诺公理中的( 5)是数学归纳法的依
据,又叫归纳公理数学归纳法的应用及举例。
2k+1k+2
因为由假设知 4 +3 能被 13 整除, 13·42k+1 也能被 13 整除,这就是说,当 n=k+1
时, f ( k + l )能被 13 整除。根据( 1)、( 2),可知命题对任何 n ∈N 都成立。 下
面按归纳步中归纳假设的形式向读者介绍数学归纳法的几种不同形式以及它们的应用。
l )简单归纳法。即在归纳步中,归纳假设为“ n=k 时待证命题成立”。这是最常用的一种归纳法,称为简单归纳法,大家都比较熟悉,这里不再赘述。
(2)强归纳法。这种数学归纳法,在归纳步中,其归纳假设为“ n ≥k 时待证命题
成立”。我们称之为强归纳法,又叫串值归纳法。通常,如果在证明 p ( n + l )成立
时,不仅依赖于 p (n )成立,而且还可能依赖于以前各步时,一般应选用强归纳法,下面举例说明其应用。
例 有数目相等的两堆棋子,两人轮流从任一堆里取几项棋子,但不能不取也不能同时从两堆里取,规定凡取得最后一项者胜。求证后者必胜。
证:归纳元 n 为每堆棋子的数目。设甲为先取者,乙为后取者。
奠基 n=l ,易证乙必胜。
归纳 设 N n≤k 时 , 乙必胜。现证 n=k + l 时也是乙必胜。
设甲在某堆中先取 r 颗, O <r ≤k 。乙的对策是在另一堆中也取 r 颗。有 二种可
能:
(1)若 r < k ,经过两人各取一次之后,两堆都只有 k-r 颗, k-r < k , 现在又
轮到甲先取,依归纳假设,乙必胜。
(2)若 r=k ,显然是乙胜,证毕。
上述形式的归纳法虽然比较简单,但如使用不当,往往会发生错误,有两点应注意:第一,在使用归纳假设时防止无形中引入不相干的假设。第二,在证明过程中应注意数学规律的正确性。下面我们引入一个反例,在这个反例中,由于错误的证明导致证得了错误的待证命题。
反倒:证明任意 n 条直线均能重合成一条直线。
下面给出错误的证明:
证:奠基 n=1 时该命题成立。
归纳 利用强归纳法,可以有如下的归纳假设:任意 1 条, 2 条, 3 条, , , k 条直线
均重合成一条直线,要证 k+1 条直线也重合成一条直线,设这 k+1 条直线为 l 、 l 、, ,
l,l 由强归纳假设得 l ,, ,l , 重合为一条直线, 1 2 k k+1 1 k 记为 l 。又由强归纳
假设得 l 和 lk+1 重合为一条直线,于是任意 n 条直线便重合一条直线了。细心的读者也
许已经发现这里的错误了,这是由于错误地使用了强归纳假设而造成的。具体地说,这是在“ l 和 lk+1 这两条直线重合为一条直线”这一点把强归纳假设使用错了。强归纳假
原创力文档

文档评论(0)