How do you prove the identity sec^2(x)-tan^2(x)=1?