(2m)!(2n)! は (m+n)!m!n! で割り切れる

(2m)!(2n)! は (m+n)!m!n! で割り切れる

いくつか実験して確かめたので、正しいことにはほぼ確信があります。
このことの証明をご存知の方は教えてください。
別解などもいただけるとありがたいです。

No.1 ベストアンサー 回答者： zhidao 回答日時： 2007/12/12 18:47

k!の中の素数pの最高冪は、

[k/p]+[k/p^2]+[k/p^3]+…
ですから、
任意の正整数rに対して、
[2m/r]+[2n/r]≧[(m+n)/r]+[m/r]+[n/r]
が成り立つことが示せれば、
「(2m)!(2n)! は (m+n)!m!n! で割り切れる」
ということを示したことになります。
任意の正整数rに対して、
[2m/r]+[2n/r]≧[(m+n)/r]+[m/r]+[n/r]
が成り立つことを示すのは容易です。

この回答へのお礼

ありがとうございました。

お礼日時：2007/12/27 22:44