Q6 Matemática  (IberoAmerican 2020)

Seja um triângulo escaleno agudo. Seja o ortocentro e o circuncentro do triângulo , e seja um ponto interior ao segmento O círculo de centro e raio intercepta o linhas e novamente em e , respectivamente. Denote por o ponto simétrico de em relação à mediatriz de . Prove que os pontos , , e estão no mesmo círculo.