root((x+1)^2+(y-1)^2)=abs(x-y-2)/root(2)