Les perpendiculars per P als costats d'ABC tallen la circumferència pedal de P en A', B', C' que no estan sobre els costats. Llavors AA', BB', CC' són concurrents a un punt Q de la hipèrbola equilàtera circumscrita que passa per P. Si P és l'incentre, Q és el punt de Nagel.