Q9 Matemática (Middle European Mathematical Olympiad 2017)
Seja um triângulo de ângulo agudo com e circuncírculo . Seja o ponto médio do arco mais curto de , e seja a intersecção dos raios e . Seja a intersecção da bissetriz interna do ângulo e a circunferência do triângulo . Suponhamos que esteja dentro do triângulo e haja uma interseção da reta e do círculo tal que seja o ponto médio do segmento . Mostre que é o ponto médio do segmento , onde e são as extremidades de opostas a e , respectivamente.