三角関数の合成

ここで

です。