既に2日程経ってしまいましたが2chで2017にまつわる数学の問題があったので自分なりにもうちょっと分かりやすく解説したいな…と思います.
問題
が 個並んだ数 のうち, で割り切れるものが存在することを示せ.
(但し は正整数)
解説
スレッドでは「鳩の巣原理」を利用した証明が与えられています.
[鳩の巣原理]
個の箱の中に 個の物を入れるとき, であるならば 個の箱の少なくとも1つは 個以上の物が入っている.
具体的な数字で考えてみれば分かることだと思います.
これを使ってみましょう.
が 個並んだ数を とします, このとき
であることは直ぐに分かると思います.
また除法の定理から, 任意の整数 に対して
となるような整数の組 がただ一組存在します.
上記の通り がどのような組あっても余り は の, 互いに異なる 種類であることは明らかです.
今回は に相当するわけですね.
すると例えば の2018個の数を考えると, 鳩の巣原理からこの2018個のうち少なくとも2つは2017で割った余りが同じであるということになります.
その2数を とでもすると, この2数は余りが同じですから
となるような整数の組 がただ一組ずつ取れます.
この2式を辺々引くと
, これは が2017で割り切れることを意味します.
更に を見てみると
となります.
つまり は で割り切れ, かつ と の積で表すことができるということです※1.
は素数ですから, か のいづれかで割り切れることになります.
しかし後者は と のみを約数とする数ですから で割り切れません.
よって が で割り切れることになります.
とは の定義から が 個並ぶ自然数のことですから, これが望む数ということになります.
〆
因みにですが, は連続した数ではありませんから, 例えば と のそれぞれを で割った余りが同じである保証はありません.
あくまでもこの2018個のどれか少なくとも2つ…ということが分かるに留まります.
またこの証明から分かることは, このような数 は の範囲に少なくとも1つある…ということでもありますね.
こういう証明をすぐ思いつくって羨ましいですよね…
僕は時間かけないといけないくらい退化してしまいました.
訂正
※1
×:つまり は
○:つまり は