Problem

Source: 2022 Brazil Ibero TST P2

Tags: geometry, circumcircle, orthocenter, Simson line



Let $ABC$ be a triangle with orthocenter $H$, $\Gamma$ its circumcircle, and $A' \neq A$, $B' \neq B$, $C' \neq C$ points on $\Gamma$. Define $l_a$ as the line that passes through the projections of $A'$ over $AB$ and $AC$. Define $l_b$ and $l_c$ similarly. Let $O$ be the circumcenter of the triangle determined by $l_a$, $l_b$ and $l_c$ and $H'$ the orthocenter of $A'B'C'$. Show that $O$ is midpoint of $HH'$.