How do you prove #1+cos2x=2/(1+tan^2x)# using the double angle identity?