Si r es una recta que pasa por el circuncentro O y P es un punto de r, la circunferencia pedal de P pasa por X, que es el ortopolo de r y el centro de la hipérbola isogonal de r.