How do you use the double angle or half angle formulas to prove #cos(2x) = [cos(x)]^2 - [sin(x)]^2#?