>>62
ありがとうございます
ちなみに

cos^2 (x) * [ 4*sin^2 (x) - cos^2 (x)] = 3/4 - cos(2x) - 5/4 cos^2 (2x)

これなら正しいでしょうか・・？