How do you prove cos2x=1tan2(x)1+tan2(x)?