已知tan(x/2)得值求tanx用到的公式是哪个,