In this truly amazing answer to a question I had asked this morning, a following construction is done:
Consider the a vector from origin to a point on the $(x,y) $ plane, also a circle $C$ having center $(a,b)$. The vector from the circle $C$ center to this point is $(x-a,y-b)$ , now it seems that the set of points for which these two vectors are perpendicular are another circle:
$$ (x,y) \cdot (x-a,y-b) = 0$$
$$ x^2 - ax + y^2 - by = 0$$
But I just can't understand why this set of points satisfying above two criteria must be a circle, could someone shed some intuition on why we should expect this? You can find an example of the above discussion here