Problem #511
Metadata not filled yet
511
Prove the identity \(\frac{1 - \tan^2 x}{1 + \tan^2 x} \equiv 1 - 2 \sin^2 x\).