cos^2 (x) * [ 4*sin^2 (x) - cos^2 (x)] = 1/8 - 9/8 * cos (2x)


この等式って成り立ってますか？

すみません、一部変なところがあったので書き直しました