MathDB
2021 Team #2

Source:

June 27, 2021
geometryright triangle

Problem Statement

Let ABCABC be a right triangle with A=90\angle A= 90^{\circ}. A circle ω\omega centered on BCBC is tangent to ABAB at DD and ACAC at EE. Let FF and GG be the intersections of ω\omega and BCBC so that FF lies between BB and GG. If lines DGDG and EFEF intersect at XX, show that AX=AD.AX=AD.