已知定义域为R的函数fx=-2^x+b/2^x+1+a是奇函数,求a和b的值,证明函数fx在定义域R上是减函数