Q3 Matemática  (Nordic 1996)

O círculo cujo diâmetro é a altura baixada do vértice $A$ do triângulo $ABC$ intercepta os lados $AB$ e $AC$ em $D$ e $E$, respectivamente $(A\ne D,A\ne E)$. Mostre que o circuncentro de $ABC$ está na altura lançada do vértice $A$ do triângulo $ADE$, ou em sua extensão.