積和の公式
→
三角関数の加法定理