solve {atan(x0-x, y0-y) = atan(x, y), (x-x0)^2+(y-y0)^2 = r^2} for x, y