Q22 Matemática (IMO Shortlist 2020)

22 | IMO Shortlist | 2020 | Matemática

Seja $A BC$ um triângulo com $A B < A C$ , incentro $I$ e $A$ excentro $I_{A}$ . O círculo encontra $BC$ em $D$ . Defina $E = A D \cap B I_{A}$ , $F = A D \cap C I_{A}$ . Mostre que o círculo circunscrito de $△ A I D$ e $△ I_{A} EF$ são tangentes um ao outro