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