MathDB
tangent circumcircles wanted, symmedian related

Source: Ukrainian Geometry Olympiad 2017 XI p4

December 12, 2018
geometrysymmedianangle bisectortangent circlescircumcircle

Problem Statement

Let ADAD be the inner angle bisector of the triangle ABCABC. The perpendicular on the side BCBC at the point DD intersects the outer bisector of CAB\angle CAB at point II. The circle with center II and radius IDID intersects the sides ABAB and ACAC at points FF and EE respectively. AA-symmedian of ΔAFE\Delta AFE intersects the circumcircle of ΔAFE\Delta AFE again at point XX. Prove that the circumcircles of ΔAFE\Delta AFE and ΔBXC\Delta BXC are tangent.