MathDB
geometry

Source:

January 29, 2016
geometrycircumcircleperpendicular bisector

Problem Statement

Let ABCABC be an acute-angled triangle with HH orthocenter, OO circumcenter. [AH][AH]'s perpendicular bisector intersects with [AB][AB] and [AC][AC] at DD and EE respectively. Prove that ADE=BDO\angle ADE =\angle BDO