为什么cosx+√3sinx=2sin(x+π/6)