cos3xcos2xの答えが1/2(cos5x+cosx)になるみたいなんですが、どうやって導いたんですか?2倍角、3倍角の公式を使って計算しても出てこない気がします…