Si P és un punt de la recta d'Euler, la perpendicular traçada des del seu isogonal P* a la seva polar trilineal tP passa per l'ortocentre H.