■二項係数の整除性と数学的帰納法(その1)
[Q](2n)!/n!n!(n+1)は整数であることを証明せよ.(カタラン数)
===================================
[1]n=1のとき、=1となる。
[2]n=kのとき、(2k)!/k!k!(k+1)=(k+2)・・・(2k)/k!=Nは整数Nであると仮定する。
[3]n=k+1のとき、
(2k+2)!/(k+1)!(k+1)!(k+2)=(k+3)・・・(2k)(2k+1)(2k+2)/(k+1)!=N(2k+1)(2k+2)/(k+2)(k+1)=2N(2k+1)/(k+2)
Nが(k+2)で割り切れることが言えればよい
k!N=(k+2)・・・(2k)
k!N/(k+2)=(k+3)・・・(2k)
1,2,・・・kは(k+2)で割り切れない→Nは(k+2)で割り切れる
===================================