この画像をクリックしてみて下さい．

三角関数の最大最小に関する問題で置き換えを利用する典型問題です．

誘導にのって変形していくと y は t の2次関数となります．