方程sinx+根号3cosx=1在区间[0,2派]上所有解的和等于