MathDB
Angle chasing I believe...

Source: Unknown

December 1, 2019
geometryTST

Problem Statement

Let ω\omega be the incircle of ABC\triangle ABC and D,E,FD,E,F be the tangency points on BC,CA,ABBC ,CA, AB. In DEF\triangle DEF let the altitudes from E,FE,F to FD,DEFD,DE intersect AB,ACAB, AC at X,YX ,Y. Prove that the second intersection of (AEX)(AEX) and (AFY)(AFY) lies on ω\omega