CWMO 2012 Problem 5

$O$ is the circumcenter of acute $\Delta ABC$ , $H$ is the Orthocenter. $AD \bot BC$ , $EF$ is the perpendicular bisector of $AO$ , $D,E$ on the $BC$ . Prove that the circumcircle of $\Delta ADE$ through the midpoint of $OH$ .

Attachments: