How do you prove 1+cos2x=21+tan2x using the double angle identity?