已知函数f(x)=lg(a^x-k*b^x)(k>0,a>1>b>0)的定义域恰为(0,正无穷),是否存在这样的a,b,