>>449
加法定理により
sin(x+(π/2)) = cos(x)