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