MathDB
Easy incircle geo

Source: MEMO 2023 I3

August 24, 2023
geometryMEMO2023

Problem Statement

Let ABCABC be a triangle with incenter II, and the incircle touches BCBC at DD. The points E,FE, F are such that BEAICFBE \parallel AI \parallel CF and BEI=CFI=90\angle BEI=\angle CFI=90^{\circ}. If DE,DFDE, DF meet the incircle at E,FE', F', show that EFAIE'F' \perp AI.