已知函数f(x)=lg(a^x-b^x)(a/b为常数且a>1>b>0) 判断并证明f(x)的单调性