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