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