Problem

Source: 2009 China Western Mathematic Olmpiad

Tags: geometry, circumcircle, geometry proposed



Let $H$ be the orthocenter of acute triangle $ABC$ and $D$ the midpoint of $BC$. A line through $H$ intersects $AB,AC$ at $F,E$ respectively, such that $AE=AF$. The ray $DH$ intersects the circumcircle of $\triangle ABC$ at $P$. Prove that $P,A,E,F$ are concyclic.