Западно-Китайская олимпиада по математике 2012 года | Казахстанские олимпиады

OO и HH — центр описанной окружности и ортоцентр остроугольного ΔABC\Delta ABC, соответственно. FF — середина AOAO, ADBCAD \bot BC, EFEF — серединный перпендикуляр AOAO (D,ED,E лежат на BCBC). Докажите, что описанная окружность ΔADE\Delta ADE проходит через середину OHOH.