Problem

Source: Brazilian Mathematical Olympiad 2024, Level 2, Problem 2

Tags: geometry, Triangle, midpoints, congruent triangles, circumcircle, parallel



Let \( ABC \) be a scalene triangle. Let \( E \) and \( F \) be the midpoints of sides \( AC \) and \( AB \), respectively, and let \( D \) be any point on segment \( BC \). The circumcircles of triangles \( BDF \) and \( CDE \) intersect line \( EF \) at points \( K \neq F \), and \( L \neq E \), respectively, and intersect at points \( X \neq D \). The point \( Y \) is on line \( DX \) such that \( AY \) is parallel to \( BC \). Prove that points \( K \), \( L \), \( X \), and \( Y \) lie on the same circle.