I'm assuming that there's a typo and you mean

We must use two key facts: the square root is defined only for non-negative inputs, so we must require

So, we will only accept values in the range

Secondly, where defined, the square root is an injective function. This means that you can only have two equal outputs if you start from two equal inputs:

So, in your case, we have

Adding n to both sides gives
