sin(x0+△x)-sinx0=2sin(△x/2)cos(x0+△x/2)怎么得到的 用一般的和差化积推导过程好像得