■階乗の整除性(その8)
以下は練習問題
[Q]カタランの定数の整除性
cn=2nCn/(n+1)=(2n)!/(n+1)(n!)^2は整数であることを証明せよ.
===================================
[Q]ck=((k+1)^2)!/(k^2)!・(k+1)^2・・・(2k)^2・(2k+1)
は整数であることを証明せよ.
===================================
[Q]gk=(k^2)!/1・2^2・・・k^k・(k+1)^k-1・・・(2k−1)は整数であることを証明せよ
この式において,gkが整数であることは決して自明ではないが,
g1=1,g2=2,g3=42,g4=24024
g5=701149020
g6=1671643033734960
g7=475073684264389879228560
g8=22081374992701950398847674830857600
以降g100まで,整数であることが確認された.もはやこの式の整除性を疑うことはできまい.
===================================