How do you prove the identity #tan^2x/(secx+1)= (1-cosx)/cosx#?