■二項係数の整除性と数学的帰納法(その3)
[Q](5m+3,m)・3/(5m+3)は整数であることを証明せよ.
===================================
[1]m=1のとき、(8,1)・3/8=3となる。
[2]m=kのとき、(5k+3,k)・3/(5k+3)=(4k+4)(4k+5)・・・(5k+3)/k!・3/(5k+3)=3(4k+4)・・・(5k+2)/k!=N
は整数であると仮定する。
[3]n=k+1のとき、
(5k+8,k+1)・3/(5k+8)=3(4k+8)・・・(5k+7)/(k+1)!
=N(4k+5)(4k+6)(4k+7)・・・(5k+3)(5k+4)(5k+5)(5k+6)(5k+7)/(k+1)
=5N(4k+5)(4k+6)(4k+7)・・・(5k+3)(5k+4)(5k+6)(5k+7)・・・整数
===================================
[m,5m+3]の整数を2つのクラスのどのように分割しても、少なくとも1つのクラスにはx+y=z,xyなる解をもつが、[m,5m+2]についてはそうはならない。
===================================