>>790
三角関数の加法定理より…