[理工] [離散]數學歸納法-遞迴跟雙重歸納

看板Grad-ProbAsk作者 (哈哈阿喔)時間8年前 (2017/04/17 10:25), 編輯推噓3(307)
留言10則, 3人參與, 最新討論串1/1
http://i.imgur.com/JTDgSx4.jpg
想請問此題為何對m做歸納就可以證明 而不用對n做歸納 因為之前寫數論的題目有遇到需要雙重歸納的證明 是因爲for all的關係嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.217.23.14 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1492395932.A.1FD.html

04/17 15:24, , 1F
雖然我也不太會 但我這邊有另種解 可以參考
04/17 15:24, 1F

04/17 15:25, , 2F

04/17 18:31, , 3F
原來還可以這樣證,謝謝你
04/17 18:31, 3F

06/26 00:24, , 4F
雖然有點久了,不過還是回個
06/26 00:24, 4F

06/26 00:25, , 5F
我想是因為它對m歸納的時候
06/26 00:25, 5F

06/26 00:25, , 6F
裡面用的n就是任意值了
06/26 00:25, 6F

06/26 00:27, , 7F
所以應該是說先把n設成某個常數
06/26 00:27, 7F

06/26 00:28, , 8F
再來說對所有m都成立
06/26 00:28, 8F

06/26 00:29, , 9F
但是這個n其實不需要啥條件限制
06/26 00:29, 9F

06/26 00:30, , 10F
只不過解答沒把assume a constant n寫出來罷了
06/26 00:30, 10F
文章代碼(AID): #1Oz2US7z (Grad-ProbAsk)