En un triángulo acutángulo ABC, sea D un punto en BC tal que AD es la bisectriz del ángulo \angle {BAC}. Sea E \neq B el punto de intersección de la circunferencia circunscrita del triángulo ABD con la recta perpendicular a que AD pasa por B. Sea O el circuncentro del triángulo ABC. Demuestre que E, O, y A son colineales.
