Problem

Source: Turkey National Mathematical Olympiad 2022 P1

Tags: geometry, geometry proposed, circumcircle



In triangle $ABC$, $M$ is the midpoint of side $BC$, the bisector of angle $BAC$ intersects $BC$ and $(ABC)$ at $K$ and $L$, respectively. If the circle with diameter $[BC]$ is tangent to the external angle bisector of angle $BAC$, prove that this circle is tangent to $(KLM)$ as well.