(n!)!は(n!)^(n-1)!で割り切れる

(n!)!は(n!)^(n-1)!で割り切れる

このことを数学的帰納法で示そうと思ったのですが、うまくいきません。
どのように示せばよいでしょうか？

No.2 ベストアンサー 回答者： Tacosan 回答日時： 2007/11/29 18:17

おまけ:

「帰納法を使う」理由はなんでしょうか?
帰納法を忘れてしまえばいろいろと方針はありますけど....
#1 で書いたことを使ってもいいですし, もっと直接的に
(Σ(i: 1→(n-1)!) x[i])^(n!) における Π(i: 1→(n-1)!) x[i]^n の係数が (n!)! / (n!)^((n-1)!) で, これは (展開式を考えればほぼ明らかに) 整数でなきゃならないとかやってもいいし.

No.4 回答者： Tacosan 回答日時： 2007/11/29 22:19

あ～, 気兼ね不要です＞#3.

どうしても帰納法を使うなら, 「連続する n個の整数の積は n! の倍数」を帰納法で証明してみます? なんか変ですが.

No.3 回答者： kumipapa 回答日時： 2007/11/29 19:47

おまけのおまけ?

帰納法、確かにかえってややこしくないですか？
#1さんのお話が分かりやすいです。

連続する n 個の整数の積は n! の倍数
∵
k≧1,
k・(k+1)・(k+2)...(k+n-1) = (k+n-1)!/(k-1)! = (k+n-1)Ｃ(k-1) × n!

ということで、連続する 2n 個, 3n個 ...の整数の積は (n!)^2, (n!)^3,... の倍数。

(n!)! は、1 から n! までの連続する n! （= (n-1)!×n ）個の整数の積なので・・・

で、宜しいでしょうか。
(#1さん、勝手におまけしちゃってごめんなさい）

No.1 回答者： Tacosan 回答日時： 2007/11/28 15:38

えっと, 帰納法は必要ですか?

「連続する n個の整数の積が n! の倍数である」ことで十分だと思うんですが....