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