How do you prove #(2tanx)/ (1+tan^2 x) = sin 2x#?