MathDB
Reflections of AB, AC with respect to BC and angle bisector of A

Source: BMO 2024 Problem 1

April 29, 2024
geometrygeometric transformationreflectionangle bisector

Problem Statement

Let ABCABC be an acute-angled triangle with AC>ABAC > AB and let DD be the foot of the AA-angle bisector on BCBC. The reflections of lines ABAB and ACAC in line BCBC meet ACAC and ABAB at points EE and FF respectively. A line through DD meets ACAC and ABAB at GG and HH respectively such that GG lies strictly between AA and CC while HH lies strictly between BB and FF. Prove that the circumcircles of EDG\triangle EDG and FDH\triangle FDH are tangent to each other.