1. PTT
  2. Grad-ProbAsk

[理工] [离散]数学归纳法-递回跟双重归纳

楼主: shownlin (哈哈阿喔)   2017-04-17 10:25:29
http://i.imgur.com/JTDgSx4.jpg
想请问此题为何对m做归纳就可以证明
而不用对n做归纳
因为之前写数论的题目有遇到需要双重归纳的证明
是因为for all的关系吗？
作者: jerry900287 (卤蛋)   2017-04-17 15:24:00
虽然我也不太会 但我这边有另种解 可以参考http://i.imgur.com/Upj0Mqi.png
楼主: shownlin (哈哈阿喔)   2017-04-17 18:31:00
原来还可以这样证，谢谢你
作者: alan23273850   2017-06-26 00:24:00
虽然有点久了，不过还是回个我想是因为它对m归纳的时候里面用的n就是任意值了所以应该是说先把n设成某个常数再来说对所有m都成立但是这个n其实不需要啥条件限制只不过解答没把assume a constant n写出来罢了
继续阅读
[理工] OS: CPU utilization和response time冲突clonsey1314[理工] 线代-联集之生成空间Dora5566Re: [理工] 一题工数Honor1984[理工] 一题工数r833123Re: [理工] 91台科 工数-d'AlembertHonor1984Re: [理工] 电磁 向量分析Honor1984离散 数学归纳法 （小问题）nO25948[理工] 电磁 向量分析DianLuTu[理工] 资结 拓朴排序zelkova[理工] 离散 排列组合jerry900287

Links booklink

Contact Us: admin [ a t ] ucptt.com