How do you prove 1+tan2x1tan2x=sin2x+cos2xcos2xsin2x?