1/(3(cos x)^2+1)^2 の0〜pi/2 の積分はどう置換すればできますか。