原函数可拆成y=log2(t)
t=1/2-cos(2x+π/4)
命题要求原函数单调增,而函数y(t)单调增,所以t(x)单调增,
cos（2x+π/4) 单调减
2kπ≤2x+π/4≤π+2kπ
kπ-π/8≤x≤3π/8+kπ
因为0