（1）定义域满足2^x-1不等于0，所以 x 不等于0（2）f(x)在（0，+∞）上是减函数证明：设x1、x2属于（0，+∞），且x1则f(x1)-f(x2)=[1/(2^x1-1)+1/2]-[1/(2^x2-1)+1/2]=1/(2^x1-1)-1/(2^x2-1)通分得f(x1)-f(x2）=（2^x2-2^x1)/[(2^x1-1)(2^x2-1)]因为x1、x2属于（0，+∞），且x10, [(2^x1-1)(2^x2-1)]>0, 所以f(x1)-f(x2）>0 所以f(x)在（0，+∞）上是减函数
2^x-1≠0x≠0用定义证明，略
