Problem

Source: Iran MO 3rd Round 2024 Geometry Exam P3

Tags: geometry



Let $ABC$ be a triangle with altitudes $AD, BE, CF$ and orthocenter $H$. The perpendicular bisector of $HD$ meets $EF$ at $P$ and $N$ is the center of the nine-point circle. Let $L$ be a point on the circumcircle of $ABC$ such that $\angle PLN=90^{\circ}$ and $A, L$ are in distinct sides of the line $PN$. Show that $ANDL$ is cyclic.