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