证明sin(x1+x2)-sinx1=2sin(x2/2)cos(x1+x2/2)