Problem

Source: V.A. Yasinsky Geometry Olympiad 2023 IX p1 , Ukraine

Tags: perpendicular, geometry



Let $BD$ and $CE$ be the altitudes of triangle $ABC$ that intersect at point $H$. Let $F$ be a point on side $AC$ such that $FH\perp CE$. The segment $FE$ intersects the circumcircle of triangle $CDE$ at the point $K$. Prove that $HK\perp EF$ . (Matthew Kurskyi)