今日は１日研究に費やしました。
３次方程式の解をひたすら調べていました。
アークコサインの値をうねうね計算して，
なんとかパラメータ付きで求められる異なる３つの実数解の大小関係が
パラメータに依存せずに求めることができました。
なんか変な値のアークコサインの値がわかったので中間テストに出してもいいかもしれません。
ネックレスでは２次方程式だった部分がダンベルでは３次方程式になりました。
となるとおだんごは４次方程式になってしまいます。
たぶん複２次式のような気もします。そして予想ではちゃんと異なる４つの実数解を持つはずです。
だから大丈夫だと思いますが，おだんごの次は５次方程式になってしまうので困りますね。
しかし，求めた解は，アークコサインの中にコサインがあってその中にさらにアークコサインがあります。
笑えますね。
ちゃんと well-defined で心配もありません。
とにかくこれでようやくルーシェの定理が使えます。
