Prove that (tanx-cotx)/(tanx+cotx)=1-2cos^2x?