三角函数中sin(A+B)的公式是用什么思路得来的?