两边除以√2：sinx* 1/ √2-1/ √2* cosx>=0
即：sin(x-π/4)>=0
故解为：2kπ=