>>883
両辺に1/2をかけて左辺を三角関数に直せば、左辺が加法定理の逆になってることがわかるからそれで一発だよ。