Si r és una recta que passa pel circumcentre O i P és un punt de r, la circumferència pedal de P passa per X, que és l'ortopol de r i el centre de la hipèrbola isogonal de r.