Problem

Source: Greece JMO 2018, pr 4

Tags: geometry, tangent circles



Let $ABC$ with $AB<AC<BC$ be an acute angled triangle and $c$ its circumcircle. Let $D$ be the point diametrically opposite to $A$. Point $K$ is on $BD$ such that $KB=KC$. The circle $(K, KC)$ intersects $AC$ at point $E$. Prove that the circle $(BKE)$ is tangent to $c$.