函数f(x)=1/1+a*2^bx的定义域为R,求证a>0