Question 682652
Prove that (1-tan^2 x) / (1+tan^2 x) = cos 2 x 
------------

(1-tan^2 x) /sec^2 = cos(2x)
(1-tan^2 x)*cos^2(x) = cos(2x)
cos^2 - sin^2 = cos(2x)  Double angle formula