circle_perp_radius

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