反函数定义域就是y的值域
y=(x+1)^2-1
x>=0
x=0时,y最小=0
所以反函数定义域是[0,正无穷)