Evolton

東京大学 2001年度 前期日程 第2次学力試験文系数学 第4問

白石180個と黒石181個の合わせて361個の碁石が横に一列に並んでいる。
碁石がどのように並んでいても,次の条件を満たす黒の碁石が少なくとも一つあることを示せ。

その黒の碁石とそれより右にある碁石をすべて除くと,残りは白石と黒石が同数となる。
ただし,碁石が一つも残らない場合も同数とみなす。

難易度4/ 10計算量3/ 10目安8

場合の数論証・証明 偶奇性、存在証明、状態分類

方針

左から見た黒石数と白石数の差を記録する。全体では黒が1個多いので、差は0から始まり最後に1で終わる。dj=0 となる最後の位置の直後を見れば、その石が白なら最後の1へ行く途中でもう一度0を通るので矛盾する。したがって直後は黒であり、その黒石以降を取り除くと左側には白黒同数が残る。

解答

左から j 個の碁石を見たとき、黒石の個数から白石の個数を引いた値を dj とおく。ただし、まだ何も見ていない状態を d0=0 とする。碁石を1個右へ進むたびに、黒石なら値は1増え、白石なら値は1減る。

全体では黒石が181個、白石が180個であるから d361=181180=1 である。

ここで、dj=0 となる j のうち最大のものを l とする。少なくとも d0=0 なので、このような l は存在する。また d361=1 だから l361 であり、l+1 番目の碁石が存在する。

もし l+1 番目の碁石が白石であれば、dl+1=dl1=1 となる。しかし最後には d361=1 であり、値は1個の碁石ごとに1ずつしか変わらない。したがって 1 から 1 へ移る途中で必ず0を通る。これは ldj=0 となる最後の位置であることに反する。

よって l+1 番目の碁石は黒石である。この黒石とそれより右にある碁石をすべて除くと、左に残るのは最初の l 個の碁石である。ところが dl=0 なので、そこには黒石と白石が同数ある。したがって条件を満たす黒石が少なくとも一つ存在する。

別解

解法2(初めて差が1になる位置)

方針

左端からの「黒石数−白石数」を考え、
初めて値が1になる位置を選ぶ。
その一歩前は必ず0なので、選んだ黒石より左に白黒が同数残る。

解答

左から j 個までに含まれる黒石数から白石数を引いた値を
dj とし、d0=0 とする。石を1個読むたびに
dj は黒石なら1増え、白石なら1減る。

全体では黒石が1個多いのでd361=1.そこで、左から見て初めて dj=1 となる位置を j とする。
1回の変化は ±1 だからdj1=0であり、j 番目の石は黒石である。

この黒石とそれより右側の石をすべて除くと、
残るのは最初の j1 個である。
dj1=0 より、その中では黒石と白石が同数である。
j=1 の場合は何も残らず、これも問題文の約束により同数とみなされる。
したがって条件を満たす黒石が必ず存在する。

総評

難度4、計算量3。存在証明だが、左からの差 dj を導入すると一本道になる。採点上は、dj が1個進むごとに ±1 だけ変わること、最後が1であること、最後の0の直後が白ではありえないことを明確に書くのが重要である。空列も同数とみなす条件は、l=0 や初めて dj=1 となる位置が1の場合を自然に含めるための条件である。目安は8分程度。 2つの解法は標準的な答案手順と、別の構造から検算できる経路に分けた。必要性と十分性、等号条件、範囲を明示し、積分・総和・極限と主要な分数は読みやすい表示形式に統一した。

冊子PDFで見る東大の場合の数の問題で問題集を作る

出典: 東京大学 2001年度 前期 数学 第4問。問題文はHTML表示のために再入力・数式組版しています。