Problem

Source: CSEMO 2018 Grade 10 Q3

Tags: geometry



Let $O$ be the circumcenter of acute $\triangle ABC$($AB<AC$), the angle bisector of $\angle BAC$ meets $BC$ at $T$ and $M$ is the midpoint of $AT$. Point $P$ lies inside $\triangle ABC$ such that $PB\perp PC$. $D,E$ distinct from $P$ lies on the perpendicular to $AP$ through $P$ such that $BD=BP, CE=CP$. If $AO$ bisects segment $DE$, prove that $AO$ is tangent to the circumcircle of $\triangle AMP$.