Q3 Matemática  (IMO Shortlist 2001)

Considere um triângulo de ângulo agudo . Seja o pé da altura do triângulo que sai do vértice , e seja o circuncentro do triângulo . Suponha que . Prove que .