AtCoder Grand Contest 014 A - Cookie Exchanges

agc014.contest.atcoder.jp

python的にはどうでもいいんだけど、普通にこの問題の証明が思いつかない…

どうせあんまり出力が大きくないだろうから、適当にシミュレーションして無限ループに陥ってそうならばしきい値で切る、みたいなことをした。整数ではなく実数前提で、何回も繰り返すと急速にa=b=cに収束しそう、みたいな観点から簡単に証明出来たりするのかな？