Q7 Matemática  (Danube Competition in Mathematics 2018)

Seja um triângulo agudo não isósceles. A bissetriz do ângulo encontra novamente a circunferência do triângulo em . Seja o circuncentro do triângulo . As bissetrizes de e encontram o círculo de diâmetro em e respectivamente. A reta encontra a mediatriz de em . Prove que .