How do you prove cos2x=1tan2x1+tan2x?