Q5 Matemática  (Czech-Polish-Slovak Match 2015)

Seja um triângulo agudo, que não é equilátero. Denote por e seu circuncentro e ortocentro, respectivamente. O círculo passa por e toca a linha em . O círculo com centro na semi-reta toca a reta em . Os círculos e se encontram em (). Mostre que . Proposto por Josef Tkadlec