>>443
sin(x+(π/2)) に対して加法定理使えばいいだろ