博客
关于我
【数学】数学归纳法
阅读量:418 次
发布时间:2019-03-06

本文共 716 字,大约阅读时间需要 2 分钟。

第一数学归纳法

第一数学归纳法可以概括为以下三步:

  • (1)归纳奠基:证明n=1时命题成立;
  • (2)归纳假设:假设n=k时命题成立;
  • (3)归纳递推:由归纳假设推出n=k+1时命题也成立。
  • 从而就可断定命题对于从所有正整数都成立。

第二数学归纳法(完整归纳法)

第二数学归纳法原理是设有一个与正整数n有关的命题,如果:

  • (1)归纳奠基:n=1,2时,命题成立;
  • (2)归纳假设:假设当n≤k(k∈N)时,命题成立;
  • (3)归纳递推:由此可推得当n=k+1时,命题也成立。
  • 那么根据①②可得,命题对于一切正整数n来说都成立。

例子

单调有界准则,数列递推,一定要递推关系,不是递推用不了

设a1=1,\(a_{n+1}+√(1-an)=0\),证明{an}收敛,并求\(lim_{n→∞}a_n\).

  • 若存在极限,设为A,则A+√(1-A)=0,A=(-1-√5)/2
    a1=1,a2=0,a3=-1,所以猜想{an}单调递减,有下界
  • 下面用第二数学归纳法证明{an}单调递减:(一般用于单调性
    • n=1,n=2时,a1=1,a2=0,a1>a2
    • 假设n≤k时,\(a_{k-1}>a_{k}\)成立
    • n=k+1时,\(a_{k+1}=-√(1-a_k)<-√(1-a_{k-1})=a_k成立\)
    • 所以{an}单调递减
  • 下面用第一数学归纳法证明{an}有下界:(一般用于上下界
    • n=1,a1=1>(-1-√5)/2成立
    • 假设n=k时,ak>(-1-√5)/2成立
    • n=k+1时,\(a_{k+1}=-√(1-a_k)\)>(-1-√5)/2
      1-ak<(3+√5)/2=(1+2√5+5)/4
      √(1-ak)<(1+√5)/2

转载地址:http://nftkz.baihongyu.com/

你可能感兴趣的文章
Nginx配置TCP代理指南
查看>>
Nginx配置——不记录指定文件类型日志
查看>>
nginx配置一、二级域名、多域名对应(api接口、前端网站、后台管理网站)
查看>>
Nginx配置代理解决本地html进行ajax请求接口跨域问题
查看>>
nginx配置全解
查看>>
Nginx配置参数中文说明
查看>>
Nginx配置后台网关映射路径
查看>>
nginx配置域名和ip同时访问、开放多端口
查看>>
Nginx配置好ssl,但$_SERVER[‘HTTPS‘]取不到值
查看>>
Nginx配置如何一键生成
查看>>
Nginx配置实例-负载均衡实例:平均访问多台服务器
查看>>
Nginx配置文件nginx.conf中文详解(总结)
查看>>
Nginx配置负载均衡到后台网关集群
查看>>
ngrok | 内网穿透,支持 HTTPS、国内访问、静态域名
查看>>
NHibernate学习[1]
查看>>
NHibernate异常:No persister for的解决办法
查看>>
NIFI1.21.0_Mysql到Mysql增量CDC同步中_日期类型_以及null数据同步处理补充---大数据之Nifi工作笔记0057
查看>>
NIFI1.21.0_NIFI和hadoop蹦了_200G集群磁盘又满了_Jps看不到进程了_Unable to write in /tmp. Aborting----大数据之Nifi工作笔记0052
查看>>
NIFI1.21.0通过Postgresql11的CDC逻辑复制槽实现_指定表多表增量同步_增删改数据分发及删除数据实时同步_通过分页解决变更记录过大问题_02----大数据之Nifi工作笔记0054
查看>>
NIFI1.21.0通过Postgresql11的CDC逻辑复制槽实现_指定表或全表增量同步_实现指定整库同步_或指定数据表同步配置_04---大数据之Nifi工作笔记0056
查看>>