Reply to Zhekai:
I think it is explained by the first reply in that link. |x+yi-i|=Rez is equivalent to x^2 + (y-1)^2=x^2, subtract both sides by x^2 and this equation would be irrelevant to x. So the only restriction is on y and we have to let y=1. Also, if put it in geometry, it does not matter whether Rez has a positive sign or a negative sign since |x+yi-i| means that the distance between (x,y) and (0,1) is fixed and equal to Rez=x, and it has two corresponding points, (x,1) and (-x,1).