連続n整数の積は何の倍数？

上野竜生です。連続n整数の積が○の倍数であることはよく使います。実際に確認してみましょう。なお，基本的には結果だけ覚えればいいでしょう。

連続2整数の積

[証明]nが偶数ならnが2の倍数なのでn(n+1)は2の倍数。

nが奇数ならばn+1が2の倍数なのでn(n+1)は2の倍数。

よってn(n+1)は2の倍数。

以下では単純に「n, n+1の中に2の倍数のものがあるからn(n+1)が2の倍数」という風に証明していきます。

連続3整数の積

n(n+1)(n+2)は必ず3の倍数になる

[証明]　n,n+1,n+2の中に3の倍数のものがあるから。

ですが，n(n+1)が2の倍数ですからn(n+1)(n+2)は2の倍数かつ3の倍数，つまり6の倍数になります。

まとめると

といえます。

連続4整数の積

n(n+1)(n+2)(n+3)は○の倍数になると思いますか？

2の倍数かつ3の倍数かつ4の倍数だから24の倍数？それとも最小公倍数の12の倍数？

いろいろ思うかもしれませんが正解は24の倍数です。

3の倍数の説明はもういらないと思いますが8の倍数の方を説明します。

n,n+1,n+2,n+3の中に2で少なくとも1回割り切れるものが2つあります。

さらに2で少なくとも2回割り切れるものが1つあります。だから8の倍数です。

連続k整数の積

これだけ覚えておきましょう。証明は今までのを一般化してもいいですが細かい点が少しややこしくなりそうなので違う角度から攻めてみます。

[証明]

\( {}_{n+k-1}C_{n-1} \)は整数だからk!の倍数。

これで証明終わりですが納得する人と「そもそも\( {}_{n+k-1}C_{n-1} \)が整数」は認めていいの？とかいろいろあると思うので\( {}_{n+k-1}C_{n-1} \)が整数であることも示します。

[証明]数学的帰納法で示す。n=0,1のときは₀C₀=1, ₁C₀=1, ₁C₁=1より自明。

n=mで成立すると仮定する。つまり，

0≦k≦mを満たすすべてのkに対し_mC_kが整数　ならば　0≦k≦m+1を満たすすべてのkに対し_m+1C_kが整数　であることを示せば良い。

k=0,m+1のとき_m+1C₀=_m+1C_m+1=1より整数。

1≦k≦mのときは_m+1C_k=_mC_k-1+_mC_kより（→パスカルの三角形の性質より）帰納法の仮定から整数。

よってn=m+1のときも成立。

以上よりすべてのn,kに対し_nC_kは整数である。

練習

では典型的な具体例を2つ見て終わりましょう。

n=6kのとき，n=6k+1のとき・・・と調べてもできますし数学的帰納法でもできます。ですが連続3整数の積が6の倍数になることを利用します。

「n(n+1)」が見えていることと「連続3整数」にしたいことから「n(n+1)(n+2)なら6の倍数だし(n-1)n(n+1)でも6の倍数だなぁ。」と考えられますね。あとは2つ足したものと考えればＯＫです。

n(n+1)は2の倍数。n(n+1)(n+2)は6の倍数。その程度しか現実的に使うことはありません。一般の証明は興味がある人だけにして↑の2つを使えるようにしましょう。