函数f(x)=2^x+2^-x,求函数的单调增区间,并证明?