Problem

Source: 2019 Philippine IMO TST3 Problem 3

Tags: geometry, angle bisector, tangent, perpendicular



Given $\triangle ABC$ with $AB < AC$, let $\omega$ be the circle centered at the midpoint $M$ of $BC$ with diameter $AC - AB$. The internal bisector of $\angle BAC$ intersects $\omega$ at distinct points $X$ and $Y$. Let $T$ be the point on the plane such that $TX$ and $TY$ are tangent to $\omega$. Prove that $AT$ is perpendicular to $BC$.