Sea el circuncentro del triángulo $ABC$ como $O$ . $H_A$ es la proyección de $A$ sobre $BC$ . La extensión de $AO$ intersecta la circunferencia circunscrita de $BOC$ en $A'$ . Las proyecciones de $A'$ sobre $AB, AC$ son $D,E$ , y $O_A$ es el circuncentro del triángulo $DH_AE$ . Defina $H_B, O_B, H_C, O_C$ de manera similar. Pruebe: $H_AO_A, H_BO_B, H_CO_C$ son concurrentes