Q4 Matemática  (APMO 2012)

Seja um triângulo agudo. Denote por o pé da linha perpendicular traçada do ponto ao lado , por o ponto médio de e por o ortocentro de . Seja o ponto de interseção do círculo circunscrito do triângulo e a meia reta , e o ponto de interseção (diferente de ) da reta e o círculo . Prove que deve valer. (Aqui denotamos o comprimento do segmento de linha .)