- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
ch02 数学归纳法
第二章 数学归纳法 * 基本原理 1)如果对于带有参数n的命题P,当n=1时P成立; 2)对每一个n,n1,若n-1时P成立可推出n时P也成立; 结论:那么对任意自然数,P都成立。 条件1容易得证 条件2关注如何通过减小n的值对命题进行归约 例:对任意的自然数x(x?1)和n,xn-1能被x-1除尽。 * 数学归纳法的一种简单变形(1) 强归纳法: 1)如果对于带有参数n的命题P,当n=1时P成立; 2)对每一个n,n1,若对任意小于n的自然数P成立能推出对n命题P也成立; 结论:对任意自然数,P都成立。 * 数学归纳法的一种简单变形(2) 1)如果对于带有参数n的命题P,当n=1和n=2时P都成立; 2)对每一个n,n2,若n-2时P成立能推出n时P也成立; 结论:对任意自然数,P都成立。 * 数学归纳法的一种简单变形(3) 1)如果对于带有参数n的命题P,当n=1时P成立; 2)对每一个n(n大于1且是2的整数幂),若n/2时命题P成立能推出对n命题P也成立; 结论:对任意一个2的整数幂的自然数,P都成立。 * 对什么进行归纳 在大多数情况下,可对衡量问题规模的n进行归纳,但有时归纳的量度并不是显而易见的。 例:对任意的自然数x(x?1)和n,xn-1能被x-1除尽。 如果对x而不是对n进行归纳,那么证明就会复杂得多。 在没有现成的可以用来衡量问题规模的参数时,为了使用归纳法,必须构造出一个,而常用的思路就是考虑如何把命题从小的结构拓展到大的结构。 * 三个简单的例子 例1:前n个自然数之和为n(n+1)/2。 例2:级数8+13+18+23+…+(3+5n)之和是2.5n2+5.5n 例3:若n是自然数,且1+x0,则(1+x)n≥1+nx。 * 平面内区域的计数 例:平面上n条居一般位置的直线能把平面分割成多少块区域? 评述:1)归纳假设处理的是所求函数的增长率,而不是直接对函数本身进行处理;2)同样的归纳假设用在两个不同的情况下;3)先猜测再证明 * 简单的着色问题 例:证明平面上任意条直线构成的区域可以仅使用两种颜色有效着色,使得相邻的两个区域不同色。 评述:这个例子告诉我们的基本方法就是如何寻求灵活性,即更大的自由度。解题的思想就是要尽可能地拓展并充分利用归纳假设。对这道题而言,关键的想法就是已知有效着色的前提下,反转所有区域的颜色得到的仍是有效着色,从而解决添加直线后产生新的区域的着色问题的。 算法设计与正确性证明 * 一道复杂一点的加法题 考察下面的三角形。 1 = 1 3 + 5 = 8 7+ 9 +11 = 27 13+15+17+19 = 64 21+23+25+27+29 = 125 证明:上述三角形中第i行的和是i3。 评述:这段证明同样告诉我们,整个证明过程不必在一步内完成。只要能取得进展,分步递进就不失为一个好办法。这段证明还体现了“逆向而行”的方法,我们可以从最后的问题开始,通过归约逐步简化问题,而不是从一开始的简单问题开始向最后问题进军。 * 一个简单的不等式 例:证明1/2+1/4+...+1/2n1 评述:在归纳法证明中不必把最后一项看作第n+1项。有时候考察第一项来得更容易。有些情况下可以把最后一项认为是满足特殊性质的特殊项。如果遇到这样的问题,要灵活一些,考察尽可能多的方案。 * 欧拉公式 例:证明任意一张连通平面图的节点数(V)、边数(E)和面数(F)的关系可由公式V+F=E+2表示。 评述:本定理有三个参数。证明过程中我们对其中一个参数(面数)进行归纳,而归纳基础的成立则需要对另一个参数(结点数)进行归纳。这段证明说明选择归纳顺序的时候要小心谨慎。有时归纳过程从一个参数转到另一个参数,有时归纳与几个参数同时都有关,有时需要同时对两个不同的参数进行归纳。选择不同的顺序进行归纳,证明的难度也大相径庭。 * 图论中的一个问题 例:令G=(V,E)是一个有向图。证明G中存在一个独立集S(G)使得G中的每一个结点都可以从S(G)的某一个结点通过一条长度不超过2的路可达。 评述:证明中“归约”的量并不是固定的。也就是说,我们可以根据实际问题把问题的规模从n缩减到比n小的数目,而且这个规模小一些的问题并不是任意一个问题,它与原来那个特定的问题关系非常密切。为了让证明容易一些,我们拿掉了足够多的结点。在此,我们取得了一个很好的平衡:既没有拿掉太多的结点使假设太弱,也没有拿掉太少的结点使假设太强。在许多情况下,找到这个平衡点是证明的关键。请注意:这里用了强归纳法,因为我们需要假设对小于某个数的所有数定理都成立。 * 在图
文档评论(0)