Problem

Source: 2014 Saudi Arabia GMO TST day I p4

Tags: geometry, angle bisector, Concyclic



Let $ABC$ be a triangle, $D$ the midpoint of side $BC$ and $E$ the intersection point of the bisector of angle $\angle BAC$ with side $BC$. The perpendicular bisector of $AE$ intersects the bisectors of angles $\angle CBA$ and $\angle CDA$ at $M$ and $N$, respectively. The bisectors of angles $\angle CBA$ and $\angle CDA$ intersect at $P$ . Prove that points $A, M, N, P$ are concyclic.