>>810
前半
倍角の公式
後半
三角関数の合成