Q3 Matemática  (Lusophon Mathematical Olympiad 2021)

Seja o triângulo um triângulo agudo com . A bissetriz de intercepta as retas e nos pontos e , respectivamente. A circunferência do triângulo tem centro e intercepta a circunferência do triângulo no ponto com diferente de . Prove que a reta é tangente à circunferência do triângulo .