tanα-cotα=tanα-1/tanα=(tanα^2-1)/tanα
上下乘以cosa^2得(sina^2-cosa^2)/sinacosa=-2cos2a/sin2a=-2cot2a
sinαcosα=(1/2)sin2a
两者加得
=(1/2)sin2a-2cot2a
不知道够不够简