How do you prove #tan (2x)/tan x=2#?