已知函数f(x)(定义域为D,值域为A)有反函数ygf-1(x),则方程f(x)=0,有解x=a,且f(x)>x(x属于D)的充要条件是y=f-1(x)满足