函数f(x)=√log1/2(x-1)的定义域