求函数y=cos2x-cosx+3的最小值