Verify the following identity:
cos(4 x) = 1 - 8 sin(x)^2 cos(x)^2
cos(4 x) = cos(4 x) = 2 cos(2 x)^2 - 1:
2 cos(2 x)^2 - 1 = ^?1 - 8 cos(x)^2 sin(x)^2
cos(2 x) = 2 cos(x)^2 - 1:
2 (2 cos(x)^2 - 1)^2 - 1 = ^?1 - 8 cos(x)^2 sin(x)^2
(2 cos(x)^2 - 1)^2 = 1 - 4 cos(x)^2 + 4 cos(x)^4:
2 1 - 4 cos(x)^2 + 4 cos(x)^4 - 1 = ^?1 - 8 cos(x)^2 sin(x)^2
2 (1 - 4 cos(x)^2 + 4 cos(x)^4) - 1 = 1 - 8 cos(x)^2 + 8 cos(x)^4:
1 - 8 cos(x)^2 + 8 cos(x)^4 = ^?1 - 8 cos(x)^2 sin(x)^2
sin(x)^2 = 1 - cos(x)^2:
1 - 8 cos(x)^2 + 8 cos(x)^4 = ^?1 - 8 cos(x)^2 1 - cos(x)^2
-8 cos(x)^2 (1 - cos(x)^2) = 8 cos(x)^4 - 8 cos(x)^2:
1 - 8 cos(x)^2 + 8 cos(x)^4 = ^?8 cos(x)^4 - 8 cos(x)^2 + 1
The left-hand side and right-hand side are identical: (identity has been verified)