数学归纳法:为什么假设可以作为证明的条件?
以下是我对于数学归纳法的理解
用数学归纳法证明数列的单调性,题目略。
先求出x1,x2
然后假设:xn>xn-1
…
最后推导出:xn+1>xn
有人可能就会说了,那我给的条件要是xn<xn-1 结果不就是xn+1<xn了吗 这时候你可能会认为数学归纳法错了。这也是觉得数学归纳法有问题的原因。但我说没错 为什么?因为数学归纳法其实不是为了证明假设的内容正确与否(只是把它当做一种条件 它甚至可以是错误的)而是为了证明一种关系的存在。
什么“关系”呢?xn>xn-1→xn+1>xn 其中这个“→”就是“关系”,因为如果能证明这种“关系”存在,借助已知的x1大于x2 就能像多米诺骨牌一样,推导出数列xn递增!也就是说如果能证明这个“推导过程”客观存在,我们就可以借助已知的正确的条件去得到正确的结论,当然如果你给的条件是错误的,结论也一定是错误的。
我们发现,即使条件是错误的,但“关系”也能被证明存在。那是不是可以认为:这种“关系”的存在与条件的对错无关,它是客观存在的,不随条件的对错而改变。
这也就是可以把假设的内容当做证明的条件来使用的原因,因为这个条件本身不是我们要证明的东西,它是对是错无所谓,因为我们的最终目的是为了推导出“关系”的存在!
所以我们在用数学归纳法解题的时候,要先算几项找找规律,然后猜测是递增还是递减,保证我们假设的内容是正确的。然后推导出“关系”,进而题目就解决了。
数学归纳法:为什么假设可以作为证明的条件?相关推荐
- 【英语语法入门】第42讲 假设(01)只单纯表示条件的假设
- 反向数学归纳法的提出与周氏猜测的证明
中国学者周海中根据已知的梅森素数及其排列,巧妙地运用联系观察法和不完全归纳法,于1992年2月正式提出了一个关于梅森素数分布的猜想,并首次给出其分布的精确表达式. 后来这一重要猜想被国际数学界命名为 ...
- 2个用到数学归纳法的有意思的证明
数学归纳法是一种很有效的证明方法,同时,在很多时候它也能证明一些很有意思的问题,下面我们来看两个有趣的例子: 问题1:我们如何证明一个由2n × 2n个小方格组成的正方形,在放上一个小方块后,剩下的格 ...
- 双色汉诺塔算法的证明——数学归纳法
数学归纳法 我们先来了解一下数学归纳法(这个我高中的时候数学有选修的,可惜老师没讲,但是我自己还是自学了的) 数学归纳法(Mathematical Induction, MI)是一种数学证明方法,通常 ...
- Slater条件理解和证明
考虑凸优化问题: minf0(x)s.t.fi(x)≤0,i=1,...,kgi(x)≤0,i=1,...,m\begin{aligned} &\quad \min f_0(x) & ...
- Dijkstra算法的思想和数学归纳法
ospf协议很多人都知道,很多人也会配置而且很熟练,但是很少有人懂得其背后的思想是什么,Dijkstra算法是求解单源最短路径的绝妙算法之一,我打心眼里头喜欢这个算法,真想把之一去掉.Dijkstra ...
- 数学归纳法及例题分析
前言 学算法,不得不提的就是数学归纳法.许多算法都会用到归纳假设的思想,其追溯回去便是数学归纳法. 数学归纳法 最简单和常见的数学归纳法是证明当n等于任意一个自然数时某命题成立.证明分下面两步: 证明 ...
- 【算法思想】数学归纳法在算法题中的应用(含例题举例)
[算法思想]数学归纳法在算法题中的应用(含例题举例) 前言 数学归纳法 应用举例 1. 前n项和 2. 区域计数 3. 着色问题 4. 金字塔求和 5. 简单不等式 6. 欧拉公式 7. 有路可达 8 ...
- 数学归纳法产生的历史背景
数学上证明与自然数N有关的命题的一种特殊方法,它主要用来研究与正整数有关的数学问题,在高中数学中常用来证明等式成立和数列通项公式成立. [编辑本段]基本步骤(一)第一数学归纳法:一般地,证明一个与正整 ...
最新文章
- SpringBoot 之 MVC
- JSP导入XML不成功的一个原因
- C#多线程、并发与并行概念
- synchronized()_JMM(四):浅谈synchronized锁
- Echarts2 grid属性
- 流量卡之家:5G手机价格没那么“邪性” 门槛降低一半
- 【零基础学Python】Day8 Python基本数据类型之Dictionary
- 神经网络与深度学习第三周-Planar data classification with one hidden layer
- yolov4中的mosaic数据增强
- Emacs 安装配置使用教程
- ROS从入门到精通0-2:ROS简介、安装与常见问题
- 【无标题】软件企业认定条件(双软企业认定条件2022)
- 用net user新建用户并设置管理员
- js 实现 输入 年月日 算出 是当年的第几天?
- js 页面高度 页面宽度
- 毕业设计 Android人脸门禁系统
- Oracle Dataguard(主库为 Oracle rac 集群)配置教程(01)—— dataguard 服务器安装 Oracle 软件
- 深入学习Java序列化
- 15.关于stm32f407xx.h stm32f4xx.h文件的介绍
- 29岁vivo员工吐槽:mysqlexists和in的区别