Problem

Source: Brazilian Mathematical Olympiad 2023, Level 2, Problem 2

Tags: geometry, orthocenter, Circumcenter, isogonal lines, cyclic quadrilateral, midpoint, similar triangles



Consider a triangle $ABC$ with $AB < AC$ and let $H$ and $O$ be its orthocenter and circumcenter, respectively. A line starting from $B$ cuts the lines $AO$ and $AH$ at $M$ and $M'$ so that $M'$ is the midpoint of $BM$. Another line starting from $C$ cuts the lines $AH$ and $AO$ at $N$ and $N'$ so that $N'$ is the midpoint of $CN$. Prove that $M, M', N, N'$ are on the same circle.