How do you prove 1+1/tan^2x = 1/sin^2x?