y=loga[根号下(x^2-1)-x],
a^y=根号下(x^2-1)-x
a^y+x=根号下(x^2-1)
(a^y+x)=x^2-1
x=(-1-a^y)/2a^y
反函数为y=(-1-a^x)/2a^x(x∈R)
f(x)的定义域x≤-1