How do you verify cos ^2 u - sin ^2 u = 2 cos^2 u -1?