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