解不等式√2 cosx≥0