>>478
sin( x ) の値に対して x が2つ存在することもあるので >>481 は間違い
-1 < s < 1 において解を1つもてばよい
取っ掛かりは >>481 で述べた方針で多分大丈夫