Пусть точки H и O — ортоцентр и центр описанной окружности ост- роугольного треугольника ABC, соответственно.Точка D — середина BC, а точка E лежит на биссектрисе угла ∠BAC таким образом, что AE перпендикулярна HE. Пусть точка F такая, что AEHF образуют прямоугольник. Докажите тогда, что точки D, E и F лежат на одной прямой.