Q9 Matemática  (JBMO ShortLists 2015)

Seja um triângulo agudo. As retas e são perpendiculares a nos pontos e , respectivamente. As retas perpendiculares do ponto médio de às linhas e interceptam e nos pontos e , respectivamente. Se for o ponto de interseção das linhas e , prove que