f(x)=lg(a的x次方减b的x次方)(a>1>b>0),则不等式f(x)>0的解集为(1,正无穷)的充要条件是