三角函数,恒等式证明tan2x-tan x = tanx / cos 2x