反函数的定义域就是此函数的值域
令2^x=t t≤2^1=2
f(t)=√(t^2-6t+8)=√[(t-3)^2-1]
因为t≤2
那么(t-3)^2-1≥(2-3)^2-1=0
所以f(x)的值域为[0,+∞)
即反函数的定义域为[0,+∞)