Q12 Matemática  (IMO Shortlist 1996)

Seja o circuncentro e o ortocentro de um triângulo de ângulo agudo tal que . Seja o pé da altura do triângulo . A perpendicular à reta no ponto intercepta a reta em . Prove que .