sin(a+b)的推导过程sin(a+b)=cos[π/2-(a+b)]=sinacosb+cosasinb 怎么得到的