>>150
(1)三角関数の合成 a*sinθ+b*cosθ=√(a^2+b^2) * sin(θ+α)を使う。
(2)yをθで微分して、関数yの増減を調べる。