设为首页
收藏本站
开启辅助访问
切换到窄版
登录
立即注册
中问网首页
我的收藏
站长博客
搜索
搜索
本版
帖子
用户
第一问答网
»
论坛
›
中问网
›
问答
›
什么是数学归纳法
返回列表
发新帖
什么是数学归纳法
[复制链接]
11
|
2
|
2019-9-14 11:26:58
|
显示全部楼层
|
阅读模式
数学归纳法数学归纳法是一种数学证明方法,典型地用于确定一个表达式在所有自然数范围内是成立的或者用于确定一个其他的形式在一个无穷序列是成立的。有一种用于数理逻辑和计算机科学广义的形式的观点指出能被求出值的表达式是等价表达式;这就是著名的结构归纳法。已知最早的使用数学归纳法的证明出现于 Francesco Maurolico 的 Arithmeticorum libri duo (1575年)。Maurolico 证明了前 n 个奇数的总和是 n^2。最简单和常见的数学归纳法证明方法是证明当n属于所有自然数时一个表达式成,这种方法是由下面两步组成:递推的基础: 证明当n = 1时表达式成立。 递推的依据: 证明如果当n = m时成立,那么当n = m + 1时同样成立。(递推的依据中的“如果”被定义为归纳假设。 不要把整个第二步称为归纳假设。) 这个方法的原理在于第一步证明起始值在表达式中是成立的,然后证明一个值到下一个值的证明过程是有效的。如果这两步都被证明了,那么任何一个值的证明都可以被包含在重复不断进行的过程中。或许想成多米诺效应更容易理解一些;如果你有一排很长的直立着的多米诺骨牌那么如果你可以确定:第一张骨牌将要倒下。只要某一个骨牌倒了,与他相临的下一个骨牌也要倒。那么你就可以推断所有的的骨牌都将要倒。数学归纳法的原理作为自然数公理,通常是被规定了的(参见皮亚诺公理第五条)。但是它可以用一些逻辑方法证明;比如,如果下面的公理:自然数集是有序的 被使用。注意到有些其他的公理确实的是数学归纳法原理中的二者择一的公式化。更确切地说,两个都是等价的。
回复
使用道具
举报
千问
|
2019-9-14 11:26:58
|
显示全部楼层
对于某个与自然数有关的命题P(n), (1)验证n=n0时P(n)成立; (2)假设n0≤n=1)时命题也成立,为什么可以做出这步假设呢?因为我们在前面已经证明了n=1时命题成立。在进一步,如果能证明n=k+1时命题也成立的话(这一步通常使用第二步的假设证明的),由n=1命题成立,可推知n=2命题成立,继而又可推出n=3命题成立……这样就形成了一个无穷的递推,从而命题对于n>=1的自然数都成立。一般书写的格式为:1:n=1时,……,命题成立。2:假设n=k(k>=1)时命题成立,即:……3:n=k+1时,……,所以n=k+1时命题成立。由1,2,3知n>=1时命题成立。证毕
回复
使用道具
举报
千问
|
2019-9-14 11:26:58
|
显示全部楼层
散—>合
回复
使用道具
举报
返回列表
发新帖
高级模式
B
Color
Image
Link
Quote
Code
Smilies
您需要登录后才可以回帖
登录
|
立即注册
本版积分规则
发表回复
回帖后跳转到最后一页
千问
主题
0
回帖
4882万
积分
论坛元老
论坛元老, 积分 48824836, 距离下一级还需 -38824837 积分
论坛元老, 积分 48824836, 距离下一级还需 -38824837 积分
积分
48824836
加好友
发消息
回复楼主
返回列表
问答
热门排行