y=log2^(x-1)/√2-x的定义域为