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 ) #