求证 (1—tan^2X)/(1+tan^2X)=cos^2X—sin^2X