How do you prove #cos2x= (1-tan^2(x))/ (1+tan^2(x))#?