求函数y=2^x-1/2^x+1的定义域判断此函数单调性并用定义证明