>>450
三角関数の加法定理を用いればよい。