数学归纳法


什么是数学归纳法

对于某些使用迭代法或者递归的代码,验证的时候可以避免一步步的计算,直接从理论上证明某个结论,节约大量的计算资源和时间,这就是数学归纳法。

数学归纳法的步骤

  1. 证明基本情况(通常是 n = 1 的时候)是否成立
  2. 假设n = k - 1 成立,再证明 n = k 也是成立的(k 为任意大于1的自然数)

数学归纳和递归的关系

递归调用的代码和数学归纳法的逻辑是一致的,只要证明数学归纳法的逻辑是对的,递归调用的逻辑就是对的,没必要纠结递归函数是如何嵌套调用和返回的

数学归纳法最大的特点就是在于归纳。它已经总结出了规律。只要能证明这个规律是正确的,就没必要进行逐步的推算,节省了很多时间还和资源

练习


  1. 背景

    古印度国王舍罕酷爱下棋,他打算重赏国际象棋的发明人宰相西萨·班·达依尔。这位聪明的大臣指着象棋盘对国王说:“陛下,我不要别的赏赐,请您在这张棋盘的第一个小格内放入一粒麦子,在第二个小格内放入两粒,第三小格内放入给四粒,以此类推,每一小格内都比前一小格加一倍的麦子,直至放满 64 个格子,然后将棋盘上所有的麦粒都赏给您的仆人我吧!”
    结果:从第一格到第8格的麦子分别是:1、2、4、8、16、24、32、64、128 、…

  2. 分析

    得出来的命题

    • 第n格的麦粒数是2n−12^{n-1}2n−1
    • 前n个棋格订单麦粒总数和为2n2^n2n -1

证明

命题1证明
  • 当n = 1 的时候,麦粒数:1,因此命题在n-1成立
  • 当n = k - 1 时, k - 1格的麦粒数为2k−22^{k-2}2k−2, 那么第k格的麦粒数为第k-1格的2倍,也就是2k−22^{k-2}2k−2*2 = 2k−12^{k-1}2k−1 因此命题在n=k-1成立,也就是n=k的时候也成立
命题2证明
  • 当n = 1 的时候,所有格子的麦粒总数为1,因此命题在n = 1的时候成立
  • 当n = k - 1 的时候,前k - 1 格的麦粒总数为2k-1-1,基于前一个命题的结论,第k格的麦粒数为2k-1。那么前k格的麦粒总数为(2k-1 -1)+(2k-1) = 2*2k-1-1=2k2^k2k-1 = 2k2^k2k -1

图片引用于 极客时间–>黄申

数学思想:4、数学归纳法相关推荐

  1. 【算法思想】数学归纳法在算法题中的应用(含例题举例)

    [算法思想]数学归纳法在算法题中的应用(含例题举例) 前言 数学归纳法 应用举例 1. 前n项和 2. 区域计数 3. 着色问题 4. 金字塔求和 5. 简单不等式 6. 欧拉公式 7. 有路可达 8 ...

  2. 中外数学教学名著与数学思想

    中外数学教学名著与数学思想 (2011-08-01 13:30:56) 标签: 校园 分类: 工作篇 中外数学教学名著 一.数学纵横 1.1华罗庚,华罗庚科普著作选集,沪教,84[必读] 1.2张奠宙 ...

  3. 对数学语言、简单的数学思想与数学方法的一点简单的理解

    文章结构 1. 数学语言 1.1 ==数学语言的理解方法:互译== 1.2 数学语言的阅读方法 2. 常见数学思想 2.1 函数思想 2.2 方程思想(数学建模) 2.3 分类讨论思想 2.3.1 引 ...

  4. 没有数学何来计算机:论计算机起源的数学思想

    人类的历史可以看做一部关于解放的历史.也有这样的说法,懒惰是人类进步的动力.为了偷懒,人类不断的做着各种努力,发明了各种机器工具,将自己从繁重的劳动解放出来,另一方面,每一次大的进步,都需要解放思想, ...

  5. 比如“古今数学思想”,BBC的“数学的故事”视频,一起看效果会更好

    偶然看见了浙大蔡天新教授的公开课.老师以几位数学大师作为重点和切入点介绍了数学在不同时期,不同国家的发展,非常新颖有趣.当然没有什么是完美无缺的.如果能更突出重点.应该认真听,如果能结合其它材料,比如 ...

  6. 透彻理解高斯核函数背后的哲学思想与数学思想

    https://www.toutiao.com/a6653427986718523917/ 数据点转换到高维空间后,原始特征无关紧要.仅仅计算测试数据与支持向量的点积,支持向量由SVM优化算法选择的特 ...

  7. 数学知识与计算机科学中的应用,浅谈计算机科学技术在数学思想中的应用

    浅谈计算机科学技术在数学思想中的应用 随着科学技术水平的不断提升和科学技术不断地影响着人们生活和工作的方方面面,计算机在我们生活中的普及度越来越高,对 (本文共1页) 阅读全文>> 随着互 ...

  8. 浅谈数学在计算机科学中的应用,浅谈计算机科学技术在数学思想中的应用(原稿)...

    <浅谈计算机科学技术在数学思想中的应用(原稿).doc>由会员分享,可免费在线阅读全文,更多与<浅谈计算机科学技术在数学思想中的应用(原稿)>相关文档资源请在帮帮文库(www. ...

  9. 数学四大思想八大方法_四大数学思想

    原标题:四大数学思想 微信朋友圈有童鞋问到数学思想的问题,今天详细谈一谈. 主流的说法,数学思想有四大:函数与方程思想.分类讨论思想.数形结合思想.化归与转化思想. 咦,好像什么行业都有四大? 四大名 ...

  10. 【组合数学】组合数学简介 ( 组合思想 2 : 数学归纳法 | 数学归纳法推广 | 多重归纳思想 )

    文章目录 一.组合思想 2 : 数学归纳法 二.数学归纳法推广 三.多重归纳思想 一.组合思想 2 : 数学归纳法 数学归纳法 描述 一个与自然数相关的命题 P(n)P(n)P(n) , 根据不同的问 ...

最新文章

  1. 参加web前端培训要学哪些知识
  2. 判断一个list集合是否为空,用isEmpty 还是 null?
  3. 【OpenCV学习笔记4】OpenCV GUI 之VCWin32+OpenCV 实现细胞计数
  4. python爬音乐评论生成词云图_python爬虫+词云图,爬取网易云音乐评论
  5. Java学习笔记5-2——多线程
  6. 在线社交媒体信息冗余现象建模与实证研究
  7. tomcat重启时保持会话关闭
  8. javacv 视频增加水印
  9. android多个声音输出,Android新增一个音频类型及双音频输出的实现
  10. BZOJ 2434 阿狸的打字机(fail树)
  11. 【生活小捣鼓】登录PC端某网站,需要他人(不在身边)手机扫二维码,这时候该怎么办?
  12. 7的整除特征 三位一截_小学数学竞赛七、数的整除特征(一)
  13. 递归展示树状图/树状表格
  14. 键入传真服务器位置是什么意思,2014传真服务器主要功能与技术参数说明.doc
  15. ural 2032 Conspiracy Theory and Rebranding 整点三角形
  16. hdu4082 Hou Yi's secret(相似三角形)
  17. 不要随意使用批量加QQ好友软件,不然你一定会后悔的!
  18. Vector CAN Log报文收发分析工具VN1640/VN1630替代款工具--CANBOX
  19. 「数商云案例」打造工业紧固件行业SRM采购业务协同平台,实现高效协同采购
  20. 神经网络处理器设计原理,神经网络控制系统设计

热门文章

  1. python面向对象练习——飞机大战
  2. OpenMAX编程-音视频等组件介绍
  3. python异常处理机制例题_16.python异常处理
  4. dockerexec 的使用-it操作
  5. x264参数设置详解(x264 settings)
  6. 今日头条信息流 - 人群包dmp
  7. 用MATLAB画nyquist图时,怎样只花出一半的图?
  8. Android下的特殊文件夹
  9. 对于大学工作规划和面试前准备
  10. Apache Flink_JZZ166_MBY