We can prove the follwing statment by trig identities...
color(red)( cos^4 theta -= 1/8 ( cos4theta + 4cos2theta + 3 ) ,AA theta
AA theta - Meaning "For all theta "
We can color(blue) ( cos^2 theta - sin^2 theta -= cos2theta
=> 2cos^2 theta - 1 -= cos2theta
We can use this identity...
=> cos^2 theta -= 1/2(cos2theta + 1 )
cos^4 theta = (cos^2 theta)^2
=> cos^4 theta = (1/2 ( cos2theta +1 ) ) ^2
=> cos^4 theta = 1/4( cos^2 2theta +2cos2theta +1 )
Again we can use the fact that color(red)(cos^2 theta = 1/2(cos2theta +1)
Adapting this...
=> color(blue)(cos^2 2theta = 1/2 (cos4theta +1 )
"Hence this: " cos^4 theta = 1/4( color(blue)(cos^2 2theta) +2cos2theta +1 )
"Becomes this: " cos^4 theta = 1/4 ( color(blue)(1/2(cos4theta +1)) +2cos2theta +1 )
=> cos^4 theta -= 1/4 ( 1/2cos4theta + 2cos2theta +3/2 )
=> cos^4 theta -= 1/4 * 1/2(cos4theta + 4cos2theta +3 )
color(red)( => cos^4 theta -= 1/8 ( cos4theta + 4cos2theta + 3 )