x=π 3是方程2cos(x a)=根号3的解