やっぱり和積公式を覚えていない方、結構いますね。
和から積に変換できるっていう事実さえ知っていればいいですよね。

と言いつつ、加法定理も2倍角もまだうる覚えなんですけど。
皆さん、ありがとうございました。