Дан треугольник такой, что . Серединный перпендикуляр к стороне пересекает прямые и в точках и соответственно. Пусть — ортоцентр треугольника , и пусть и являются серединами отрезков и соответственно. Докажите, что прямые и пересекаются на окружности, описанной около треугольника .