2001年東大 数学 第5問 小問2の解法
以下、 b_k,k=0,1,2,\cdots は、ビーカー及びその水量を表すものとします。また、 b_0 を最初に x リットルの水が入っていたビーカーであるとします。
オペレーションの性質から、 x が十分大きい、たとえば x > \frac{1}{2} ならば、 b_0 = x は最後まで最強なので、水量は増減しません。小問2は、 b_0 が最後まで水量が変化しない x の十分条件を求める問題です。
小問2もまた、背理法で攻めます。
ビーカーが途中で空にならないことの証明
b_0 には最初からそこそこの水量が入っていますので、途中で比較水量が最小になって空になる、などと言うことはありそうにありません。
そこでまずこれを証明します。
もしあるタイミングで b_0 = 0 になったとすると、その1回前のオペレーションで、 b_0 以外に少なくとも2つのビーカー b_1,b_2 が存在して、ビーカーの水量に
b_0 \leqq b_1 \leqq b_2
の関係が成り立つはずです。ところが、 b_0 > \frac{2}{5} なので、 b_1,b_2 > \frac{2}{5} であり、これは b_0 + b_1 + b_2 \leqq 1 であることに矛盾します。
したがって、 b_0 は最後まで空になることはありません。
ビーカーの水量が増えないことの証明
つぎに、 b_0 の水量が途中で増えないことの証明です。
もしあるタイミングで b_0 > x になったとすると、その1回前のオペレーションで、 b_0 は水量の昇順に並べた時の2番であり、 b_0 より水量の多いビーカーが少なくとも1つ存在しています。すなわち、このタイミングでビーカーは3個以上存在しています。
そこで、 b_0 より水量の多いビーカーが初めて生成された時の状況を考えます。このタイミングは、 b_0 の水量が増える直前の状態（ビーカー3個以上）よりさらに前なので、ビーカーの総数は4個以上です。
このとき、 b_0 が最も大きく、かつ、小さいほうから2つのビーカーの水量の合計が b_0 以上になります。
すなわち、3つのビーカー b_1,b_2,b_3 (b_1 \leqq b_2 \leqq b_3) が存在して、ビーカーの水量に
b_1 \leqq b_2 \leqq b_3 \leqq b_0 \\
\text{かつ} \\
b_1 + b_2 \geqq b_0の関係が成り立つはずです。ここで b_1 は最少ビーカーであり、 ビーカーを水量の昇順に並べた時、 b_1 と b_2 の間にはビーカーはありません。また、 b_2 と b_0 の間には、 b_3 以外のビーカーが存在している場合もあります。
b_1 + b_2 \geqq b_0
かつ
b_2 \geqq b_1
なので、
2b_2 \geqq b_1 + b_2\geqq b_0
すなわち
b_2 \geqq \frac{1}{2}b_0です。したがって、
b_3 \geqq b_2 \geqq \frac{1}{2}b_0です。ところが、
b_1+b_2 +b_3 +b_0 \leqq 1
なので、
\begin{aligned}
b_0 & \leqq 1 - b_1-b_2 -b_3 \\
& \leqq 1-b_0 -\frac{1}{2}b_0 \\
&= 1 -\frac{3}{2}b_0
\end{aligned}です。これから
b_0 \leqq \frac{2}{5}が導かれますが、これは b_0 = x > \frac{2}{5} であることに矛盾しています。ゆえに、 b_0 は最後まで水量が増えないことが証明できました。
解法のポイント
本問は問題文が長い上に、類似の問題もあまり見ないため、攻略方針が立てにくいところがありますが、問題文をよく読むとそんなに複雑なことはやっていないので、パズルとかが好きな人にはチャンスである可能性があります。
実際、小問1は比較的容易に解けるので、題意が理解できたなら必ずチェックしておきたいところです。
本問を背理法で証明することは、誰でも思いつけると思いますので、あとは論理的思考力の勝負です。この手の推論に慣れておくには、整数や剰余類の問題を多くやっておくと効果がありますが、いったん勉強を離れて、パズルや頭の体操的なものに多く触れておくことも、発想が柔軟になって論理思考の瞬発力が付けられると思います。