反函数定义域即原函数得值域
x≤-1,x^2+1≥2,三次根号下(x^2+1)≥三次根号,2
反函数定义域为[三次根号,2 ,正无穷]