[理工] 离散 强数学归纳法

楼主: NTUmaki (西木野真姬)   2020-03-17 01:16:21
先上图
https://i.imgur.com/F2XLtcF.jpg
图论那边的强数归还看得懂
但有些题目的强数归有点不懂他的逻辑 像上面那题
1.归纳过程 跟 有没有找n=14,15,16成立 相关吗?
感觉找到这三例就证完了 好像用不到数归
2.假设n<k成立 k-3<k 可以补3元使k成立
这里的逻辑有点太跳我不太懂
照上面这条论述 其实有没有找n=14,15,16成立感觉还是会对啊? 因为都已经’假设‘n<k对了 那我只要找k-3 补3元上去就对了
(那我能不能说k-8<k 只要补8元上去k就成立了)
结论:
不太懂找n=14,15,16成不成立 跟强数归有什么关联,按照那个强数归的论述走下去 好像根本用不到?
作者: jls16457 (只是路过)   2020-03-17 01:42:00
证14 15 16就跟你用数学归纳法时先证n=1是一样道理;1415 16成立不代表之后的数成立;是因为你先证了14 15 16成立才可以假设n<k去证;要证k-8也是可以,但变成你的初始就要证14 15 16 17 18 19 20 21成立如果你有在补习或上网络课程的话,建议再去把数学归纳法和强数学归纳法听一次
楼主: NTUmaki (西木野真姬)   2020-03-17 02:07:00
好像懂了 所以其实n<k这个假设不能乱说 要先确定至少有一些会成立(根据题目) 如这题找了三例 那我就可以从n<17开始迭代上去推得17对 然后又可以找到n<18对 以此类推 这样没错吧
作者: zuchang (chang)   2020-03-17 09:13:00
对 没错
作者: APM99 (血统纯正台北人)   2020-03-17 17:18:00
考试照图片那样写能拿到任何一点分数我是不信啦好的照强数归的形式来写才行 就高中教过的形式八卦版逛多了 重新说一下 照笔记的写法没有问题因为大家都这样写 没什么错 只是想说图片中划红线的地方"设n<k成立 考虑n=k" 这偏向(原本/弱)数学归纳法的形式小妹是觉得强弱的形式就是在这点上不同 当然本质上是一样的
作者: mi981027 (呱呱竹)   2020-03-17 18:51:00
小弟理解中的强数学归纳法就是像笔记那样写的欸 当然可能是因为我就是学那套笔记的东西理解的就是了... 不过我稍微查了一下 其他说法顶多是把n < k改成 n <= k ??想请问更正确的写法应该怎么写??
作者: DLHZ ( )   2020-03-17 19:55:00
改成 <= 就没问题了总之 说明14块会成立(根据题目) 由于有三块钱的邮票 只要解释14~16块都会成立 就可以说明当邮资为14~n块钱都成立 之后by second principle of mathematical induction(or strong)对所有 n >=14 皆成立*邮资可由3&8组成这件事 对所有大于等于14块的情况皆成立*extended second principle
作者: APM99 (血统纯正台北人)   2020-03-18 07:55:00
看英文就想起来 这叫第二型态数学归纳法红线要改成 设14<=n,n+1,n+2<k成立 ,考虑n=k(大概吧 哪天回去找高中课本才能确定..

Links booklink

Contact Us: admin [ a t ] ucptt.com