三角函数和差化积sina+sinb=sinacosb+cosasinb这一步怎么来的?