Problem

Source: 2013 Romania JBMO TST4 P3

Tags: Euler Circle, Nine Point Circle, geometry, perpendicular bisector, perpendicular



Let $D$ be the midpoint of the side $[BC]$ of the triangle $ABC$ with $AB \ne AC$ and $E$ the foot of the altitude from $BC$. If $P$ is the intersection point of the perpendicular bisector of the segment line $[DE]$ with the perpendicular from $D$ onto the the angle bisector of $BAC$, prove that $P$ is on the Euler circle of triangle $ABC$.