加法定理から三角関数の合成についてまとめました。