Q17 Matemática  (IMO Shortlist 2020)

Seja um triângulo isósceles com , e seja um ponto dentro do lado tal que . Sejam e dois pontos dentro dos lados e , respectivamente, tais que . Deixe a mediatriz de encontrar o segmento de reta em , e deixe as circunferências dos triângulos e se encontrarem novamente no ponto , diferente de . Suponha que , , sejam colineares. Prove que .