直線的反演是過O點的圓

To manipulate this construction, download Cabri II Plus plug-in.