求证:cosx+根3sinx=2cos(x-π/3)