※ 引述《hiei81 (寶貝。永遠)》之銘言：
: ※ 引述《hiei81 (寶貝。永遠)》之銘言：
: : 回darkseer，沒有interestingly，請愛用it is interesting that...:)
: 呃...我錯了，有interestingly這種用法:p
: 通常是講：..., more interestingly, ....
: 然後double induction應該是指設f(k)和f(k+1)成立，則f(k+2)成立，
: 且初始條件f(1),f(2)成立
: strong induction是指f(1)成立且f(1),f(2),...,f(k)均成立時，則f(k+1)成立
: (數學歸納法第二形式)
: 而我們使用的證明方法既不是double induction也不是strong induction,
: 只是單純的數學歸納法第一形式
: 關於數學歸納法可參閱：
: http://www.soe.ucsc.edu/classes/cmpe177/Fall02/induction.pdf
Oops 英文爆了
我以為Double Induction 就是指 induction 用兩次