函数fx=x+x/a a>0在[1,+无穷)上存在反函数的充要条件是