ラグランジュの独楽(地面について回っているような普通の独楽)をやさしく説明しなきゃいけないのだが相当無理。剛体の力学を仮定できないの?

たらいまわし関数は if x になるらしい。 その停止性は? http://www.kmonos.net/wlog/60.html#_1445060501 あたりから少し考えて、 max(x,y,z), x-y, 何かわかんないもの(z-y)あたりで示せるかと思ったが考え込まなくってよかった。相当難しかったようだ。