>>240
加法定理
sin(π/2-2θ)=(sinπ/2)cos2θ-(cosπ/2)sin2θ
         =cos2θ