How do you prove #tan(x) = sin(2x)/[1+cos(2x)]#?