and you end up with the definition of cos 2x = cos^2 x - sin^2 x
You can ask a new question or answer this question.