Question

桜

白石 180 個と黒石 181 個の合わせて361 個の碁石が横一列に並んでいる. 碁石がどのように並んでいても, 次の条件を満たす黒の碁石が少なくとも一つあることを示せ. その黒の碁石とそれより右にある碁石をすべて除くと,残りは白石と黒石が同数となる.ただし, 碁石が一つも残らない場合も同数とみなす.

この問題で、回答が以下です。

(1)左端が●の場合はそれが条件を満たす。
(2)左端が〇の場合。
・左端からそこまでの〇と●の差は1
・その右隣に石を置く時、
●を置けばそこまでの〇と●の差は1減り
〇を置けば、そこまでの◯と●との差は１増える。
・順次、石を置いていく時に、
この差が0になった時に●を置くと、
それが条件を満たすので
条件を満たさないように石を置いていく為には
差が0になった時には◯を置かねばねらない。
・それを続けると、〇の方が個数が少ないので、最後には
〇はつき、●だけが１個以上残る。残りを全部置けば
一番右の●が条件を満たす。
(3)以上(1)(2)から、どのような置き方をしても
条件を満たす●は存在する。

この問題で、私は背理法か鳩ノ巣原理かなと初め見た時思ったのですが、回答では条件を満たさないように並べていったときに最終的に条件が満たすようになるという、背理法とも言えないような回答でしたが、こういう発想はどうやって出てくるのでしょうか？経験則でしょうか？長文になりましたが、返信くださると幸いです