Exercise 37.8 - Circular inversion: line transform
By Andrea Zambotti
To see that the construction works we have to prove that a circle passing by O and centered on a point of the line meets the original circle in two points which are collinear with the center of the line transform. See Exercise 37.8 - Explanation.