求函数y=-1+1/2cos x的最大值及取得最大值时自变量x的集合