少なくとも1つ存在する}}ことの証明(\textbf{\textcolor{red}{存在証明}})の1つの手法に,\ \textbf{\textcolor{blue}{部屋割り論法}}がある. \\[.2zh] \textbf{\textcolor{blue}{鳩ノ巣原理,\ ディリクレの原理}}とも呼ばれ,\ 以下のように表現される. \\\\ 「\,\textbf{\textcolor{red}{$\bm{n}$個の部屋に$\bm{n+1}$人が入るとき,\ 2人以上入る部屋が少なくとも1つは存在する}}」 \\[.5zh] 「\,\textbf{\textcolor{red}{$\bm{n}$人が$\bm{n}$個の部屋に入るとき,\ 2人以上入る部屋がなければ,\ 各部屋に1人ずつ入る}}」 \\\\ これらは,\ 言われてみれば当たり前のことである. \\[.2zh] しかし,\ 原理として認識すると,\ ある種の証明問題において極めて強力な武器となる. \\\\ まずは簡単な具体例を1つ示そう. \\[.2zh] 全校生徒733人の高校には,\ 誕生日も性別も同じ2人の生徒が少なくとも1組存在する. \\[.2zh] 誕生日と性別の組合せの総数は$366\times2=732$通りである. \\[.2zh] よって,\ 733人いれば少なくとも2人の誕生日と性別は同じである(部屋割り論法). \\[1zh] この論法の重要性は,\ \textbf{\textcolor{purple}{性質を満たす人が誰かを具体的に特定する必要がない}}ことにある. \\[.2zh] 1人ずつ調べずとも,\ その\textbf{\textcolor{purple}{存在が保証される}}わけである. \\[.2zh] \scalebox{.97}[1]{自分(特定の誕生日と性別)と誕生日も性別も同じ人が存在することを保証するわけではない.} \\[.2zh] 誰かと誰か(自分の可能性もある)の誕生日と性別が同じであることが保証される. \\\\\\ 本項では,\ 部屋割り論法が有効な代表的問題を扱う.\ 大学入試でも時々出題される. \\[.2zh] 原理はほぼ自明だが,\ 実際の問題に応用するには経験が必要になる. \\\\\\\\ $n$を自然数とする. \\[1zh] \hspace{.5zw}(1)\ \ 1から$2n$までの自然数の中から異なる$n+1$個の自然数を選んだとき,\ その中に \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ 和が$2n+1$になるような2数の組合せが存在することを示せ. \\[1zh] \hspace{.5zw}(2)\ \ 1から$2n$までの自然数の中から異なる$n+1$個の自然数を選んだとき,\ その中に \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ 互いに素である2数の組合せが存在することを示せ. \\[1zh] \hspace{.5zw}(3)\ \ 異なる$n+1$個の整数があるとき,\ その中に差が$n$の倍数となるような2個の整数 \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ が存在することを示せ. \\[1zh] \hspace{.5zw}(4)\ \ 整数ではないすべての有理数は有限小数または循環小数であることを示せ. \\ (1)\ \ 1から$2n$までの自然数を和が$2n+1$になる2数ずつに分ける. \\[.5zh] \phantom{ (1)}\ \ $\textcolor{red}{(1,\ 2n),\ (2,\ 2n-1),\ (3,\ 2n-2),\ \cdots\cdots,\ (n-1,\ n+2),\ (n,\ n+1) (n組)}$ \\[.5zh] \phantom{ (1)}\ \ 異なる$n+1$個の自然数を選んだとき,\ \textcolor{cyan}{少なくとも2個は同じ組の数}である. \\[.5zh] \phantom{ (1)}\ \ つまり,\ \textbf{$\bm{n+1}$個の自然数の中に和が$\bm{2n+1}$になるような2数の組合せが存在する.} \\\\ (2)\ \ 1から$2n$までの自然数を互いに素になる2数ずつに分ける. \\[.5zh] \centerline{$\textcolor{red}{(1,\ 2),\ (3,\ 4),\ (5,\ 6),\ \cdots\cdots,\ (2n-3,\ 2n-2),\ (2n-1,\ 2n) (n組)}$} \\[.5zh] \phantom{ (1)}\ \ 異なる$n+1$個の自然数を選んだとき,\ \textcolor{cyan}{少なくとも2個は同じ組の数}である. \\[.5zh] \phantom{ (1)}\ \ つまり,\ \textbf{$\bm{n+1}$個の自然数の中に互いに素である2数の組合せが存在する.} \\\\ $n$で割ったときの余りは\textcolor{red}{$0,\ 1,\ 2,\ \cdots,\ n-1$の$n$種類}である. \\[.2zh] \phantom{ (1)}\ \ 異なる$n+1$個の整数があるとき,\ \textcolor{cyan}{少なくとも2個は$n$で割ったときの余りが等しい.} \\[.2zh] \phantom{ (1)}\ \ つまり,\ \textbf{$\bm{n+1}$個の整数の中に差が$\bm{n}$の倍数となるような2数の組合せが存在する.} \\\\ (4)\ \ 有理数を$\bunsuu mn\ (m,\ n:自然数\,;n\neqq0)$とおく. \\[1zh] \phantom{ (1)}\ \ $m$を$n$で割り算し続けるとする. \\[.2zh] \phantom{ (1)}\ \ このとき,\ 各段階における余りは\textcolor{red}{$0,\ 1,\ 2,\ \cdots,\ n-1$の$n$種類}のいずれかである. \\[1zh] \phantom{ (1)}\ \ \textcolor{cyan}{余りが0になる}とき,\ 有理数$\bunsuu mn$は\textcolor{cyan}{有限小数}である. \\[1zh] \phantom{ (1)}\ \ \textcolor{cyan}{余りが0にならない}とする. \\[.2zh] \phantom{ (1)}\ \ このとき,\ 各段階における余りは\textcolor{red}{$1,\ 2,\ \cdots,\ n-1$の$n-1$種類}のいずれかである. \\[.2zh] \phantom{ (1)}\ \ よって,\ \textcolor{magenta}{$n$回目の計算までには必ず以前と同じ余りが現れ,\ 以降は循環する.} \\\\ \centerline{$\therefore$ \textbf{整数ではないすべての有理数は有限小数または循環小数である.} \bm{整数の選び方に関する存在証明}では,\ 部屋割り論法が有効である. \\[.2zh] 実際の問題を解くときは,\ 部屋と人に対応するものが何かを考えることになる. \\[1zh] (1)\ \ nのままではわかりにくいので,\ n=5として具体的に考えてみる. \\[.2zh] \phantom{(1)}\ \ 1から10までの数から6個を選んだとき,\ 和が11になる2数の組合せの存在証明となる. \\[.2zh] \phantom{(1)}\ \ この6個という個数は,\ おそらくは\bm{存在が保証されるために最低限必要な個数}である. \\[.2zh] \phantom{(1)}\ \ 最低限必要な個数より多く選ぶとする問題も作れるが,\ 普通はそんな意地悪な出題はしない. \\[.2zh] \phantom{(1)}\ \ よって,\ 部屋割り論法を適用するために\bm{作るべき部屋は5個}であるとわかる. \\[.2zh] \phantom{(1)}\ \ この例では,\ 条件(和が11)を満たす5組(1,\ 10),\ (2,\ 9),\ (3,\ 8),\ (4,\ 7),\ (5,\ 6)を作ればよい. \\[.2zh] \phantom{(1)}\ \ この5組には,\ \bm{10個の自然数がもれなく含まれている}という点が重要である. \\[.2zh] \phantom{(1)}\ \ それゆえ,\ 10個から6個の自然数を選ぶとき,\ 同じ組の数が少なくとも2個選ばれる. \\[.2zh] \phantom{(1)}\ \ これを一般化すると解答のようになる. \\[1zh] (2)\ \ (1)と同様に考え,\ \bm{互いに素である2数の組をn個作る.} \\[.2zh] \phantom{(1)}\ \ このとき,\ \bm{連続する2整数は互いに素}を利用することになる.\ この性質は常識としておきたい. \\[.2zh] \phantom{(1)}\ \ ここでは省略したが,\ 自明ではないので記述試験では簡単にでも証明を示しておくとよい. \\[.5zh] \phantom{(1)}\ \ n,\ n+1が共通の素数の約数pをもつとすると,\ n=pk,\ n+1=pl\ (k,\ l:整数)とおける. \\[.2zh] \phantom{(1)}\ \ p(l-k)=1となるが,\ pは素数なので矛盾である. \\[1zh] (3)\ \ 自分の携帯番号11桁を5個の整数に分割してみてほしい.\ 例えば,\ 090\,|\,11\,|\,34\,|\,56\,|\,79\,とする. \\[.2zh] \phantom{(1)}\ \ その5個の整数の中に差が4の倍数となるような2数の組合せが必ず存在するはずである. \\[.2zh] \phantom{(1)}\ \ この例の場合は,\ 90-34=56,\ 79-11=68が存在する.\ \\[.2zh] \phantom{(1)}\ \ 一見不思議に思えるが,\ 部屋割り論法を用いると一般化した命題を容易に証明できる. \\[1zh] \phantom{(1)}\ \ 存在保証に最低n+1個必要と思われるので,\ 条件を満たす部屋をn個作ればよい. \\[.2zh] \phantom{(1)}\ \ ここで,\ 整数分野では,\ 次の言い換えを常識としておく必要がある. \\[.5zh] \phantom{(1)}\ \ \bm{nで割ったときの余りが一致\ \Longleftrightarrow\ 差がnの倍数(nで割り切れる)} \\[.5zh] \phantom{(1)}\ \ a_1=q_1n+r_1,\ a_2=q_2n+r_1\ \Longleftrightarrow\ a_1-a_2=n(q_1-q_2)\ ということである. \\[.2zh] \phantom{(1)}\ \ 結局,\ \bm{nで割ったときの余りが一致する2数の存在証明}に帰着する. \\[1zh] \phantom{(1)}\ \ \bm{nで割ったときの余りはn種類である}点が重要で,\ 余りのもれがないn個の部屋を作成できる. \\[.2zh] \phantom{(1)}\ \ n+1個あれば,\ 少なくとも2個は同じ余りの部屋に入ることになるわけである. \\[1zh] (4)\ \ 例えば,\ \bunsuu17\,を筆算で割り算してみるとよい. \\[.8zh] \phantom{(1)}\ \ 7で割ったときの余りは,\ 割り切れないのならば1,\ 2,\ \cdots,\ 6の6種類しかない. \\[.2zh] \phantom{(1)}\ \ よって,\ 遅くとも7回目までには必ず以前と同じ余りが現れ,\ 以降は循環する. 座標がすべて整数である点を格子点という. \\[1zh] \hspace{.5zw}(1)\ \ 座標平面上の格子点から異なる5個を選んだとき,\ その中に中点が格子点となる \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ ような2個の組合せが含まれていることを示せ. \\[.8zh] \hspace{.5zw}(2)\ \ 座標空間上の格子点から異なる9個を選んだとき,\ その中に中点が格子点となる \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ ような2個の組合せが含まれていることを示せ. \\ (1)\ \ すべての格子点の偶奇パターンは,\ 次の4通りのいずれかである. \\[.5zh] \centerline{$\textcolor{red}{(偶数,\ 偶数),\ (偶数,\ 奇数),\ (奇数,\ 偶数),\ (奇数,\ 奇数)}$} \\[1zh] \phantom{ (1)}\ \ よって,\ 5個の格子点を選んだとき,\ \textcolor{cyan}{少なくとも2個は同じパターンの格子点}となる. \\[.2zh] \phantom{ (1)}\ \ 同じパターンの2個の格子点の中点もまた格子点である. \\[1zh] \centerline{$\therefore$ \textbf{5個の格子点の中に中点も格子点となる組合せが存在する.}} \\\\ (2)\ \ すべての格子点の偶奇パターンは,\ 次の8通りのいずれかである. \\[.5zh] $\textcolor{red}{(偶数,\ 偶数,\ 偶数),\ (偶数,\ 偶数,\ 奇数),\ (偶数,\ 奇数,\ 偶数),\ (奇数,\ 偶数,\ 偶数),}$ \\[.2zh] $\textcolor{red}{(偶数,\ 奇数,\ 奇数),\ (奇数,\ 偶数,\ 奇数),\ (奇数,\ 奇数,\ 偶数),\ (奇数,\ 奇数,\ 奇数)}$ \\[1zh] \phantom{ (1)}\ \ よって,\ 9個の格子点を選んだとき,\ \textcolor{cyan}{少なくとも2個は同じパターンの格子点}となる. \\[.2zh] \phantom{ (1)}\ \ 同じパターンの2個の格子点の中点もまた格子点である. \\[1zh] \centerline{$\therefore$ \textbf{9個の格子点の中に中点も格子点となる組合せが存在する.} \bm{格子点の中点に関する存在証明}では,\ 部屋割り論法が有効である. \\[.2zh] 一般に,\ 2点の座標を足して2で割ると中点が求まる. \\[.2zh] 例えば,\ 2点(a_1,\ a_2),\ (b_1,\ b_2)の中点の座標は\ \left(\bunsuu{a_1+b_1}{2},\ \bunsuu{a_2+b_2}{2}\right)\ である. \\[.8zh] よって,\ \bm{中点が格子点になるか否かは,\ a_1+b_1\,とa_2+b_2\,が2の倍数になるか否かで決まる.} \\[.2zh] 和が2の倍数となるのは,\ (偶数)+(偶数)=(偶数),\ (奇数)+(奇数)=(偶数)の場合に限られる. \\[.2zh] 結局,\ \bm{a_1\,とb_1,\ a_2\,とb_2\,の偶奇がいずれも一致する場合に中点が格子点}となる. \\[.2zh] つまりは,\ \bm{偶奇パターンが一致する2個の点の存在証明に帰着}する. \\[.2zh] 格子点の偶奇パターンで4個の部屋を作成できるから,\ 5個あれば少なくとも2個は同じ部屋に入る. \\[.2zh] 空間の場合も同様である. 1辺2の正方形の周または内部に異なる5点をとるとき,\ 距離が$\ruizyoukon2$以下となる \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ ような2点の組合せが存在することを示せ. \\[1zh] \hspace{.5zw}(2)\ \ 1辺2の正三角形の周または内部に異なる5点をとるとき,\ 距離が1以下となる \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ ような2点の組合せが存在することを示せ. \\[1zh] \hspace{.5zw}(3)\ \ 1辺2の正方形の周または内部に異なる9点をとるとき,\ 三角形の面積が$\bunsuu12$以下 \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ となるような3点の組合せが存在することを示せ. \\ 1辺2の正方形を\textcolor{red}{1辺1の4個の正方形}に分割する. \\[.2zh] \phantom{ (1)}\ \ 5個の点をとるとき,\ \textcolor{cyan}{少なくとも2個は同じ正方形の周または内部の点}となる. \\[.2zh] \phantom{ (1)}\ \ 1辺1の正方形の周または内部にある2点の最大距離は対角線の$\ruizyoukon2$である. \\[1zh] \centerline{$\therefore$ \textbf{5点の中に距離が$\bm{\ruizyoukon2}$以下となるような2点の組合せが存在する.} (2)\ \ 1辺2の正三角形を\textcolor{red}{1辺1の4個の正三角形}に分割する. \\[.2zh] \phantom{ (1)}\ \ 5個の点をとるとき,\ \textcolor{cyan}{少なくとも2個は同じ正三角形の周または内部の点}となる. \\[.2zh] \phantom{ (1)}\ \ 1辺1の正三角形の周または内部にある2点の最大距離は1である. \\[1zh] \centerline{$\therefore$ \textbf{5点の中に距離が1以下となるような2点の組合せが存在する.}} \\\\ (3)\ \ 1辺2の正方形を\textcolor{red}{1辺1の4つの正方形}に分割する. \\[.2zh] \phantom{ (1)}\ \ 9個の点をとるとき,\ \textcolor{cyan}{少なくとも3個は同じ正方形の周または内部の点}となる. \\[.2zh] \phantom{ (1)}\ \ \scalebox{.97}[1]{1辺1の正方形の周または内部にある3点で作られる三角形の面積の最大値は$\bunsuu12$である.} \\[1zh] \centerline{$\therefore$ \textbf{9点の中に三角形の面積が$\bm{\bunsuu12}$以下となるような3点の組合せが存在する \bm{座標平面上の最大距離や最大面積に関する存在証明}では,\ 部屋割り論法が有効である. \\[1zh] (1),\ (2)\ \ 存在保証に最低5点必要と思われるので,\ 条件を満たす部屋を4個作ればよい. \\[1zh] (3)\ \ 右図において,\ 三角形の面積Sは\ S=\bunsuu12s_1t+\bunsuu12s_2t=\bunsuu12(s_1+s_2)t\ である. \\[.8zh] \phantom{(1)}\ \ 3点が1辺1の正方形の周または内部にあるときs_1+s_2\leqq1,\ t\leqq1より,\ S\leqq\bunsuu12\,である.
