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