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