这个式子到底是怎么推导出来的. 郁闷了好久. sin(x2) - sin(x1) = 2cos[(x2+x1)/2]* sin[(x2-x1)/2]