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