已知函数f(x)=a-2/(2^x+1)是R上的奇函数,求函数的定义域和判断并证明函数的单调性,