一函数推导sin(a+b)-sina如何推导出=2sinb/2*cos(a+b/2)?用那些三角函数公式?