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