How do you prove #(sin2x)/(2sin^2x)=cotx# using the double angle identity?