■階乗の整除性(その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まで,整数であることが確認された.もはやこの式の整除性を疑うことはできまい.

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