>>827
＞和→積の公式を使うのだとは思う
の理由はヒントを貰ったかなんかなんだろうが、その方針に従って変形すりゃ
結局はcos((x-y)/2)の挙動を調べろってことになるべ。ただし
＞0≦y≦xのとき
って言ってっから、定義域に制限つくな。文字が二個あるからキモイって思うなら
変形後にt=x-yと置き換えるのも効果あるかもしれん。