为什么cosx+根号3sinx=2sin(x+3/π)