>>192
自分で想定していたのと違ったけどそれでも置換ででできないことは無い
平方完成したのちxの一次式部分を適当な三角関数に置換、この場合cosがよい

・・・ところでに二次式を二次方程式と見た時の判別式が負になるような場合、何で置換すると良いか？
本当はこっちを使うツモリで、本問題では使えないことに気づいたのだ