MathDB
AX=AY wanted, touchpoints of incircle related

Source: Mathcenter Contest / Oly - Thai Forum 2008 R3 p2 https://artofproblemsolving.com/community/c3196914_mathcenter_contest

November 9, 2022
geometryequal segmentsincircle

Problem Statement

In triangle ABCABC (ABACAB\not= AC), the incircle is tangent to the sides of BCBC ,CACA , ABAB at DD ,EE, FF respectively. Let ADAD meet the incircle again at point PP, let EFEF and the line passing through the point PP and perpendicular to ADAD intersect at QQ. Let AQAQ intersect DEDE at XX and DFDF at YY. Prove that AX=AYAX=AY.
(tatari/nightmare)