このとき,水の入っているビーカーが 個になるまで,次の(a)から(c)までの操作を,順に繰り返し行う.
(a) 入っている水の量が最も少ないビーカーを一つ選ぶ.
(b) さらに,残りのビーカーの中から,入っている水の量が最も少ないものを一つ選ぶ.
(c) 次に,(a)で選んだビーカーの水を\bra{b}で選んだビーカーにすべて移し,空になったビーカーを取り除く.
この操作の過程で,入っている水の量が最も少ないビーカーの選び方が一通りに決まらないときは,そのうちのいずれも選ばれる可能性があるものとする.
(1) のとき,最初に リットルの水の入っていたビーカーは,操作の途中で空になって取り除かれるか,または最後まで残って水の量が増えていることを証明せよ.
(2) のとき,最初に リットルの水の入っていたビーカーは,最後まで リットルの水が入ったままで残ることを証明せよ.
2020.09.04記
(1) は対偶をとると, は最初に リットルの水の入っていたビーカーが最後まで残って いて,かつ水の量が増えていないための必要条件である.そして(2)は十分条件となる。
(1) 対偶である「最初に リットルの水の入っていたビーカーが最後まで残っていて、かつ水の量が増えていないならば である」ことを証明する.
残りのビーカーが3本になった状態において、最後まで残っていて、かつ水の量が増えていないならば、この状態において選ばれてはいけないので、この状態において3本のビーカーのうち、水の量が最大のものが リットル入っているビーカーであることが必要である。3本のビーカーにある水の合計は1リットルであるから、 が必要であるから、対偶が証明され、題意も証明された。
(2) 最初に リットルの水の入っていたビーカーが、最後まで リットルの水が入ったままで残るためには、最後の4本のビーカーにおいて、最初に リットルの水の入っていたビーカー以外の3つのビーカーに入っている水の量の少ないもの2つを合計したときに必ず リットル未満となっていれば十分である。
最初に リットルの水の入っていたビーカー以外の3つのビーカーに入っている水の量は リットルであるから、水の少ないもの2つの合計は必ず 以下となるので
であれば十分である。よって題意は証明された。