[学科竞赛]数学归纳法讲解.docVIP

【数学方法论十讲】 归纳法讲解（陶平生） 基本内容与方法 优化假设，选择起点与跨度，一般化与特殊化，加强命题，转化形式； 、设为正整数，从的棋盘上任意删去一个小方格，证明：棋盘上剩下的部分可以用由三个小方格组成的形完全覆盖． 证：对归纳，时，将棋盘任意删去一个小方格，剩下的部分恰为一个形，此时结论成立； 设当时结论成立，即从棋盘中任意删去一个小方格，剩下的部分可以用若干个形完全覆盖，当时，由于，即棋盘可以看成由个棋盘组成，将其放置于坐标平面中，使其中心重合于原点，边线与坐标轴平行，则个棋盘分别位于四个象限，不妨设，被删去的小方格位于第一象限的正方形块中； 今在原点附近于二、三、四象限中各删去一个小方格， 则由归纳假设，这四个各残缺一格的棋盘皆可分别用形完全覆盖，又因被主动删去的三个小方格恰好是一个形，即它也可用一个形完全覆盖，因此，删去一格后的 棋盘可形完全覆盖；归纳完成． 、数列满足：，（其中表示的整数部分，），试求的值. 解：观察数列开初的一些项： 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 1 1 1 1 2 2 2 3 3 4 4 4 5 5 6 6 7 7 8 8 8 1 2 3 4 6 8 10 13 16 20 24 28 33 38 44 50 57 64 72 80 88 我们注意到，数列严格单增，每个正整数，顺次在数列中出现，并且除了首项之外，每个形如的数连续出现三次，其它数各连续出现两次. 一般地，我们可证明数列的以下性质： 若记，则, 若记则当时，有 ， 对归纳.据上面所列出的项可知，当时结论成立.设性质对于成立， 即在时，，则 ， 再对满足的归纳： 当时，由于，则， 因为，则， 设当时，均有，则当时，因为 … ① 则，， 即有，所以， 由于 所以， 故由归纳法，当时，， 特别是，当时，上式成为 … ②， 又由，当，有 ， 所以 … ③ 由②③可知，对于当时，亦有 ，从而性质成立. 因为，取，则，， 因此. 、正整数数列满足：； 、求； 、求最小的正整数，使． 解：易得数列的下列初值： 我们关注使的下标：，…，它们满足如下递推关系： …… ， 对归纳：时已成立，设已有，则由条件，，，，，…， 归纳易得，，（，…，）， ， …… 于是，当时，． 因此，即成立. 据，，记，则 ，，所以， 因此 ，，…，而，则 ，因，故由得，． 又由得，当时， ， 因此，当时，， 而当，要么有，要么有，即的值取不到， 进而考虑情况，由，得，由得， ，故满足的最小的为． 、一位慈善家采用如下方式为其会所招募会员：每个会员可以忽悠其他两个人前来入会，其中，这两个人是未曾被其他人所忽悠过的；而每个的新的会员又可以忽悠其他两个人前来入会，等等．对于某个会员，被其忽悠过的会员，以及被其忽悠过的会员所忽悠的会员，等等，统称为的“下线”．如果某会员所忽悠的两个会员中的每一个人都至少有名“下线”，则会员在年终可获得慈善家的一张餐宴卷作为奖励． 试确定：若总共有个人成了会员，则在年终时最多有几人能享受慈善家的餐宴？ 解：采用“倒行逆施”法，为此，改记，将恰有个人获得了餐劵时，会员人数的最小值记为；我们称未被忽悠而主动入会（或没有上级）的会员为“帮主”，因被忽悠而入会的下线会员为“随从”，每一“帮主”连同其所有下线随从称为一个“帮派”；每个帮派都构成一个树形图． 为使会员数达最少，在任一帮派中，不能得奖的“帮主”实际上可以去掉；于是其所统属的帮派中，有的随从就有可能成为帮主，连同所管辖的子树构成新的帮派； 时，会员人数的最小值是（此时，获奖的只有；且都是会员，并且各至少有个下线），即； 时，获奖者有以及中的一人（设为），且据上述讨论，所在的一支（含），至少有人；而因是获奖者，则至少也有个下线，因此会员人数至少是，即； 时，获奖者有两种情况：、；、及的一个下线（设为），对于，且据上述讨论，所在的一支（含），至少有人；所在的一支（含），也至少有人，于是连同,共有至少个会员； 对于，的一支有两个是获奖者，该支至少人，而因是获奖者，则至少也有个下线，因此会员人数至少是； 于是，这两种情况都得到； 由，，我们猜测，对每个正整数，都有 ．由此， …… ① 我们只要对只有一个“帮派”的情形证明①式便已足够，实际上，如果有个帮派，各帮派分别有人，获奖人数分别是，那么会员总人数是， 获奖总人数为，于是 ． 下面用归纳法证明①，时已成立，设①对获奖者人数少于时皆成立，当有个获奖者且这一帮派会员人数已达到最小值时，帮主必是获奖者；设帮主的两个直接随从为，若的子派系（含及其所有随从）人数为，这