Let $ABC$ be an acute-angled triangle with $H$ orthocenter, $O$ circumcenter. $[AH]$'s perpendicular bisector intersects with $[AB]$ and $[AC]$ at $D$ and $E$ respectively. Prove that $$\angle ADE =\angle BDO$$
Source:
Tags: geometry, circumcircle, perpendicular bisector
Let $ABC$ be an acute-angled triangle with $H$ orthocenter, $O$ circumcenter. $[AH]$'s perpendicular bisector intersects with $[AB]$ and $[AC]$ at $D$ and $E$ respectively. Prove that $$\angle ADE =\angle BDO$$