How do you use the double angle formula to verify tan^2x=(1-cos2x)/(1+cos2x)?