Q21 Matemática  (IMO Shortlist 2018)

Seja o circuncentro e o circuncírculo de um triângulo de ângulo agudo . Seja um ponto arbitrário em , distinto de , , e seus antípodas em . Denote os circuncentros dos triângulos , e por , e , respectivamente. As linhas , , perpendiculares a , e passam por , e , respectivamente. Prove que a circunferência do triângulo formado por , e é tangente à reta .