Si P és un punt de la circumferència dels 9 punts, els punts de la hipèrbola circumscrita de centre P i els de la seva recta isogonal tenen la circumferència pedal que passa per P.