09/05/05 21:30:39
>>485
nCm=nPm*m!
よって、連続するm個の自然数がm!で割り切れることを示す。a_k=kとすると、a_kにおいて、
1の倍数は周期1、2の倍数は周期2、3の倍数は周期3、…、mの倍数は周期mで現れる。
よって、連続するm個の自然数には、1-mの倍数全てが少なくとも1つ含まれることになるから、
連続するm個の自然数はm!で割り切れる。
こんな証明をこの前思いついたんだけど、間違ってないかな？
09/05/05 21:30:39
>>485
nCm=nPm*m!
よって、連続するm個の自然数がm!で割り切れることを示す。a_k=kとすると、a_kにおいて、
1の倍数は周期1、2の倍数は周期2、3の倍数は周期3、…、mの倍数は周期mで現れる。
よって、連続するm個の自然数には、1-mの倍数全てが少なくとも1つ含まれることになるから、
連続するm個の自然数はm!で割り切れる。
こんな証明をこの前思いついたんだけど、間違ってないかな？