Problem

Source: Iran MO 3rd round 2019 finals - Geometry P2

Tags: geometry, circumcircle



In acute-angled triangle $ABC$ altitudes $BE,CF$ meet at $H$. A perpendicular line is drawn from $H$ to $EF$ and intersects the arc $BC$ of circumcircle of $ABC$ (that doesn’t contain $A$) at $K$. If $AK,BC$ meet at $P$, prove that $PK=PH$.