■二項係数の整除性と数学的帰納法(その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)で割り切れる

===================================