The range of
is (0, 1/2]. So the domain of
must be (0,1/2]. With some algebra we find that the inverse function is given by:

We know that y > 0 so with the given domain, only the positive root is valid because 1) x cannot be less than 0; 2) The square root can't be negative; 3) For y to be positive, the numerator and denominator must be either both positive or both negative. If we go with the negative root, we can visualise the equation as:

This clearly can't be positive as the numerator is negative and there is no negative in the denominator to compensate for it.
I don't agree for starters its POSITIVE 1 +- blah blah
Restricting the domain to (0,1]
we have range (0,0.5]
This means on our inverse we have a domain (0,0.5] and a range of (0,1]
If you graph the -ve root you find that it is defined for the range (0,1] but the +ve root only is at the point [0.5,1]
yes the problem is you can restrict the domain so you have a one to one function on either side
i.e either [0, 1] or [1 , infinity]
so if you take the range as (0,0.5] and domain to be (1, infinity] (for the original function)
then positive solution can exist?
but as you just said, restricting domain from (0,1]
the negative solution can exist.