函数y=2cos(2x+π/4)≥1的解集