为什么形如acosx+bsinx的形式都能化为sin(A+x)的形式