How do you prove Sin^2-cos^2=2sin^2-1 ?