>>47
cos(40°) = cos(60° - 20°) として、右辺の sin x の係数のほうを sin(20°) と
cos(20°) で表してみる一方、左辺を加法定理でバラしてみると？